repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
move omega subdir to omega_interface
2008-03-31
Sven
V
erdoolaege
euler
.
cc: ev
a
l
ue_derive: handle c
o
nstant pol
y
nomi
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test sets from ca
s
es 2004 and
c
c 20
0
5 papers
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
doolaege
rename barvin
o
k_maximize to
b
arvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
ge
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
o
o
laege
e
v
alue
_
range_
p
ropagation: remove redu
n
dant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test
_
bound: r
e
cord number of polyno
m
ial
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doola
e
ge
test
_
b
o
u
n
d:
c
onvert
q
uasip
o
lyno
m
ials to pol
y
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
test_bou
n
d: compare polynomial bound algor
i
thms
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rd
o
olaege
v
e
r
i
fy
.
c: optimum: ha
n
d
l
e
i
nput evaluating t
o
negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
v
erify
.
c:
e
xtract evalue_o
p
timum fr
o
m maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
e
xtrac
t
comm
o
n code fo
r
verifying operat
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
ev
a
lue_range_propagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
la
e
ge
barvinok_maximize: optionally use
(
basic) rang
e
propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
Ad
d
some supp
o
rt for
dealing with
e
values that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
b
a
rvinok_enumerate: support use
o
f Euler-Ma
c
laur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
i
mplement Bernoulli_sum a
s
c
o
nvers
i
on from unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
Bernoull
i
_su
m
_ev
a
lue: exploit integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
kee
p
tra
c
k
o
f number
o
f Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
oulli
.
c: pro
t
ect shared evalue fr
o
m
modi
f
ic
a
t
ions
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
test Bernoulli sums b
a
sed exact enumerat
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
barvin
o
k_count
_
wit
h
_options
:
compute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
Bernoulli_sum_evalue: opti
o
n
ally h
a
n
d
le
fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
la
t
tice_point
.
h: ex
p
ort f
r
actional_pa
r
t with C
linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate_with_optio
n
s: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
Bernoulli_sum_ev
a
lue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_evalue: c
u
t o
f
f some r
e
dundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
Bernoulli_su
m
_
e
val
u
e: make s
u
re
n
o
empty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bern
o
u
l
li_sum_evalue: remove
redundant constrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoull
i
.
c
:
m
i
nor refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
doolaege
Ber
n
o
u
l
l
i_sum: handle
c
o
ntex
t
c
ons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
e
r
noul
l
i
_s
u
m
_
e
v
al
u
e
: make sure enough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
for_eac
h
_l
o
w
e
r
_upper_bo
u
nd: add another callb
a
ck
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c:
a
djust
d
e
f
ault range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc: su
m
ma
t
e_over_
d
omain: only conside
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
p
a
ram_util
.
c
: expo
r
t Param_
V
ertex_Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Param_Polyh
e
d
ron_Face
t
: pa
s
s fa
c
et defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
ge
n
fun
.
cc: parallel_polytop
e
s: don'
t
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_s
p
lit_d
o
m
a
ins_into_orthants: do
n
't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
la
e
ge
ev
a
l
u
e_read: only allow terms to cross newlines i
n
sid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
evalue_read:
o
n
l
y
acc
e
pt im
p
l
i
cit
m
u
l
tip
l
ica
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_read: accept constra
i
nts contai
n
in
g
"'-'
spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bern
s
tein_coeffic
i
e
n
ts: ensure result
part
i
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en V
e
rd
o
o
la
e
ge
bernstein: piecewise_lst: correctly print and e
v
alua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdo
o
laege
remove_all_equalities: ke
e
p removing parameter equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
u
p
d
a
t
e pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolae
g
e
do
c
: consisten
t
us
e
of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laeg
e
doc: update now pub
l
ished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
for_each_lower_u
p
per_b
o
und:
a
llow absenc
e
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ola
e
g
e
R
evert "ead
d
_partitions: try
t
o combine multiple doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoola
e
ge
evalu
e
_re
a
d_partition: put pa
r
titions b
a
ck in th
e
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value: re
d
uce_evalue: add note
on
s
ome misse
d
op
p
o
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
bernst
e
i
n
.
c
c
:
handle
input with unio
n
s +
r
elation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ma
x
imize
.
c
c: de
a
l
w
ith union
s
in input
durin
g
verification
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
e
va
l
ue_subs
t
itute: pr
o
perl
y
han
d
le relations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdool
a
ege
eva
l
u
e
.
c: cle
a
n
u
p
e
mul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue
_
re
a
d:
co
r
rectly r
e
ad variable nam
e
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eva
l
u
e_
r
e
a
d: ac
c
ep
t
top level
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
u
p
d
a
t
e polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven V
e
rdool
a
ege
eva
l
u
e
_backsubstitute
:
a
dd
r
equi
r
ed
m
odulo constraint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolae
g
e
evalue
.
c: *
_
pa
r
ti
t
ions:
simpl
i
fy constraint
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
ven
V
erd
o
olaege
doc:
mo
r
e s
p
ecific information on buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdool
a
ege
configu
r
e
.
in: require cddlib
0
.
94e by t
e
sting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolae
g
e
conf
i
g
u
re
.
in: only
c
ompile occ
i
f code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
barvi
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
add some
tes
t
s for imple
m
e
n
tation
o
f pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
doc: document
new op
t
ions an
d
n
e
w applications
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oolaege
AUTHORS: u
p
dat
e
s
upport information
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdo
o
laege
genfun
.
c
c
: short_rat::print: correctly p
r
i
n
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
a
ege
Ex
p
ort series as b
a
rv
i
nok_enumerat
e
_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_pa
r
ameter_equ
a
lities:
s
top "r
e
movin
g
" eq
u
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
series: leave freeing
o
f P arg
u
m
en
t
to callin
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
document implementation o
f
the proje
c
ti
o
n theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
oolaege
add barvinok_enumerate_e_series implementing t
h
e projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix
a
n
d document
p
aral
l
el polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
Only co
m
p
ile zsol
v
e if gcc 3
.
4 or later is available
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
Move GiNaC-indep
e
n
d
ent pa
r
t of librar
y
to
b
a
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Ve
r
doolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
S
v
e
n Verdoolaege
doc
:
how to coun
t
the number of
ele
m
e
nts in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc/implem
e
ntati
o
n
.
tex:
avo
i
d
multiply defined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
lattice
_
width
.
c
:
try
v
ertices of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
a
e
ge
doc: document integer h
u
ll computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hu
l
l
.
c: add all points
f
o
und b
y
sampling dire
c
tly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
V
er
d
o
ola
e
g
e
Possible
optimizations for generalized basis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verd
o
o
l
aege
Suppo
r
t use of
g
e
nera
l
ized basis
reduction to co
m
pute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
Verdool
a
ege
a
d
d Polyhedron
_
In
t
eger_Minimu
m
for c
o
m
puting
t
he integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doo
l
aege
doc: document gen
e
raliz
e
d basis reduction b
a
s
e
d integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
e
rdool
a
ege
doc/barvi
n
ok
.
bib: ad
d
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
a
dd
mor
e
miss
i
ng assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
S
ven Verdoolae
g
e
eva
l
ue
.
c
: add
mi
s
sing inclu
d
e
o
f alloc
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoolaege
configu
r
e
.
in:
p
ass pa
t
h of G
M
P installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoolaege
c
o
n
f
igu
r
e
.
in:
o
nly compile libbarvinok as a
static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaeg
e
Polyhedron_Reduced_B
a
sis: don
'
t stop too early wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
co
m
p
u
te_width_directi
o
ns: on
l
y keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaeg
e
zsolve
:
don't instal
l
library
commit
|
commitdiff
|
tree
2007-11-08
S
ve
n
Ve
r
doolaege
ver
s
ion
.
c: show use of
TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoo
l
aege
c
onfigure
.
in: d
o
n't
s
et with_{poly,pip
}
lib_pref
i
x f
r
om
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolae
g
e
Polyhedron_
S
am
p
le: be s
a
tisfied
w
i
th a
reasonable ch
o
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
laege
con
e
_int
e
g
er_hull: optionall
y
print stats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
basis_reduction: keep
track of number of
LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdoolaege
options: move --p
r
int-stats to
li
b
rary
commit
|
commitdiff
|
tree
next