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
add some test sets from cases 2004 and cc 2005 papers
2008-03-31
Sve
n
Verdoolaege
a
dd s
o
me
te
s
t sets from cases 2004 and
cc 2005
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
rename barvinok_ma
x
imize to ba
r
vinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
add a t
e
s
t
for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
e
va
l
ue_range_propagation: remo
v
e redundant pol
y
nomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
t
e
st_b
o
und: reco
r
d
number of polynomials as "
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: convert
q
u
a
sipolynomia
l
s
to pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_
b
ound: compare polynomial boun
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: opti
m
u
m: han
d
le
inpu
t
evaluating to n
e
gati
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
veri
f
y
.
c:
ex
t
ract ev
a
lue_opt
i
mu
m
from
m
axim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaeg
e
verify
.
c: extract
comm
o
n code for
verifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
evalue_
r
ange_p
r
opagation
:
add
m
o
noto
n
ic
i
ty t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
barvin
o
k_maximize:
option
a
l
ly use (
b
asic
)
range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Ad
d
some
s
upport for dealing with evalue
s
t
hat
r
epresent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ba
r
vinok_enumerate: supp
o
rt
u
s
e of E
u
l
er-Ma
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
im
p
lement Bernoulli_sum as conversion
from
u
nw
e
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
Bernoulli_sum_e
v
alu
e
:
exploit inte
g
er
b
ound
s
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
keep track of number of Bern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: protec
t
shared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
test Bernoulli s
u
ms b
a
se
d
exact enume
r
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvi
n
ok_c
o
u
n
t_with_options
:
compute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: optionally handl
e
fr
a
c
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ver
d
oolaege
lattice_poi
n
t
.
h: expo
r
t
f
r
actio
n
al_part with C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumer
a
te_with_
o
p
t
i
on
s
:
c
omput
e
(
e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernoull
i
_su
m
_ev
a
l
ue: handle equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdo
o
la
e
g
e
Ber
n
oulli
_
s
um_evalue: cut off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
B
ernoulli_sum_evalue: make s
u
re no
e
mpty pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
Bernoulli_sum_evalue: rem
o
ve
r
edun
d
an
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
e
g
e
b
e
rnoulli
.
c: minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
e
rnoul
l
i_sum: han
d
l
e cont
e
xt constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoull
i
_s
u
m_evalu
e
:
make sure enough memory
is
a
lloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
f
o
r_each_lower_
u
pp
e
r_bou
n
d: add anothe
r
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doola
e
ge
veri
f
y
.
c: adjust default range to cont
e
xt
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdo
o
l
a
e
ge
euler
.
cc: summate_over_d
o
main:
only
con
s
ider act
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
param_
u
t
i
l
.
c
: export Pa
r
am_Ve
r
tex
_
S
e
t
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaeg
e
Pa
r
am_Polyhed
r
on_Fa
c
et: pass fa
c
et
d
efining c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
d
oo
l
aege
gen
f
un
.
cc: p
a
rall
e
l_polyto
p
es:
d
on't bothe
r
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
l
u
e
_
split_domains_into_ort
h
ant
s
:
d
on't
r
educe e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
evalu
e
_r
e
a
d: on
l
y allow ter
m
s t
o
cros
s
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only accept implicit m
u
ltiplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
eval
u
e_read
:
accept co
n
st
r
a
i
nts
containing "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
eva
l
ue_bernstein_coefficients: ensur
e
result partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
berns
t
e
i
n: piec
e
wise_lst
:
correctly p
r
i
nt and
evalua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
remo
v
e_all_equa
l
i
ties
:
keep removing
p
a
r
a
m
eter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoo
l
aeg
e
doc:
c
onsistent use of
K
e
v
in'
s
initi
a
ls
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
do
c
: update now
p
u
blished papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
for_each_lower_upp
e
r_bound:
a
llow
a
bsence of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
R
e
ve
r
t "eadd_partitions: try to
c
om
b
ine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verd
o
olaege
evalue_
r
e
a
d_partition: put partitions b
a
ck in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ve
r
doolaege
eval
u
e
:
reduce_eva
l
ue: a
d
d
n
o
t
e on so
m
e mi
s
sed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
o
o
l
ae
g
e
b
e
rns
t
ein
.
cc:
h
andle inpu
t
with unions +
r
el
a
tion violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaeg
e
maximize
.
cc: deal with unions in input during
ve
r
i
f
i
c
a
tio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_substitute: pro
p
erly handle relat
i
ons
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdo
o
laege
evalue
.
c: c
l
ean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erd
o
olaege
e
v
alue
_
read
:
correctly
r
ead v
a
riable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdo
o
laege
e
v
alue_read: a
c
c
ept top le
v
e
l
"relatio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verd
o
olaeg
e
evalue_backsubstitute: add required mo
d
ulo
constraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Ver
d
oolaege
evalu
e
.
c:
*
_partitions: simplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdool
a
ege
doc: more spec
i
fi
c
information on b
u
g
g
y
c
ddlib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erdoolaeg
e
configure
.
in: re
q
uir
e
cdd
l
ib 0
.
94e by testin
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
in
:
onl
y
c
o
mp
i
le occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
ola
e
ge
bar
v
inok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
dd so
m
e tests for im
p
l
e
mentation of projecti
o
n th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdo
o
laege
doc:
d
ocument new options and ne
w
a
pplications
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Ve
r
doolae
g
e
AU
T
HORS: update support information
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoo
l
a
ege
genfun
.
cc: s
h
ort_r
a
t
:
:print: corr
e
c
t
l
y
p
r
in
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
eg
e
E
x
p
ort series
a
s barvin
o
k_enumera
t
e_series
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
lae
g
e
remo
v
e_parameter_equ
a
lities: stop "removin
g
" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
series: leave freein
g
of
P
argument to calling f
u
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
doc
:
docum
e
nt implementati
o
n
of the
p
rojection th
e
or
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add barvino
k
_enu
m
e
r
ate_e_series imple
m
enting the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
genfun
.
cc: fix and d
o
cument parallel
p
o
lyto
p
es clas
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
Only
c
o
m
pil
e
zsolve if gcc 3
.
4
or later is ava
i
l
a
b
le
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoo
l
aege
Move GiN
a
C
-inde
p
endent part
o
f library to
b
arvin
o
k
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
p
o
l
ylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc:
h
o
w
to cou
n
t the numbe
r
of ele
m
ents in po
s
sibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdool
a
ege
doc/im
p
lementation
.
t
e
x:
a
vo
i
d mult
i
ply de
f
in
e
d label
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
latti
c
e_
w
idth
.
c
:
t
r
y vertices of prev
i
ous integer hull
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolae
g
e
doc:
d
ocument integ
e
r hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n
Verdoolaege
hul
l
.
c: add
a
l
l points found by samp
l
ing directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
P
os
s
ible
opti
m
i
z
ations
f
or generalized bas
i
s
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
Support use of g
e
ne
r
a
l
i
z
e
d basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
r
d
oo
l
aege
add Polyhedron_Integer_Minimum f
o
r computing the
i
nte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaeg
e
doc: doc
u
ment gene
r
al
i
zed basis reduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvinok
.
bib:
a
dd missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolae
g
e
add
more m
i
ssing ass
e
rt
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
evalue
.
c
:
ad
d
missing inc
l
ude of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
c
o
nfig
u
re
.
in: pass path
of GMP install
a
tion to P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n
Verdoolaege
c
o
n
f
igure
.
in
:
o
nly compil
e
l
i
bbarvin
o
k as
a
stati
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolae
g
e
Pol
y
hedron_
R
e
d
u
ced_Basis: don't
stop t
o
o
ea
r
ly wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdoola
e
ge
compute_wi
d
t
h_directions: only keep l
i
st of
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Ve
r
d
o
olae
g
e
zsolve: don't
i
ns
t
a
l
l library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
e
g
e
v
ersion
.
c
:
show use
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven
Ver
d
o
olaege
configu
r
e
.
in
:
don't set with_{poly
,
p
i
p}lib_pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaege
Polyhedron_Sample: be satisf
i
ed wi
t
h a re
a
sonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Ver
d
o
o
l
aeg
e
co
n
e_integer_hull: op
t
ion
a
lly print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoolaege
basis_reduction: keep
t
rack of number of
L
Ps solved
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
options: m
o
ve --print-stats
to lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdool
a
ege
ber
n
s
t
ein: re
w
o
rk
te
s
ting fra
m
e
wo
r
k t
o
n
o
t
d
epend on
.
.
.
commit
|
commitdiff
|
tree
next