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
Sven Ver
d
oola
e
ge
add
s
o
me
t
est sets fr
o
m cases 2004 a
n
d cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvinok_
m
ax
i
mi
z
e to b
a
rvinok_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add a test for t
e
st_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
evalue_rang
e
_propagation: remove redun
d
ant
p
o
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
est_bou
n
d: reco
r
d number of polynomials
as
"
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
t
est
_
bound: conve
r
t
quasi
p
olynomials to polyn
o
m
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_
b
ou
n
d: compare
poly
n
omial bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
v
eri
f
y
.
c
: optimum: handle input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
ol
a
e
g
e
verif
y
.
c:
e
xtract evalue_optimum
from m
a
x
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
veri
f
y
.
c: extract common code
for verify
i
ng operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_range_pr
o
pagation: add monotonicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvi
n
ok
_
m
aximize: optionally use
(
basic)
range prop
a
gation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
Add some suppo
r
t
f
or dealing with evalues
t
h
at re
p
re
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
barvinok_enumer
a
te: support
u
se of Eul
e
r-
M
ac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
impl
e
m
ent Berno
u
lli_s
u
m
a
s conversio
n
from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bern
o
ulli_sum_eval
u
e: exploit i
n
teger bounds to re
d
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of n
u
mber of
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
b
ernoulli
.
c: protect shared evalue from mod
i
ficat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
t
est
B
ernoulli sum
s
b
ased exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
o
l
a
ege
barvinok
_
c
ount_wi
t
h_options: compute (exa
c
t) Be
r
n
oull
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_sum_evalue:
op
t
i
o
nally handle fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
la
t
tice_point
.
h: expo
r
t f
r
actional_part
with C
linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
vinok_enumerate_w
i
th_
o
ptions: compute (exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
Be
r
noulli_sum_eva
l
ue: h
a
ndle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalu
e
: cut off some redu
n
da
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernoull
i
_
sum_evalue: make
s
ure no
empty parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoul
l
i
_
sum_evalu
e
: remove redunda
n
t constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoulli
.
c:
mino
r
refac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
nou
l
l
i
_sum:
h
andle cont
e
xt c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
Bernoulli_sum
_
ev
a
lue: make sure enough memory is allocate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
a
e
g
e
for_eac
h
_lower_upp
e
r_bou
n
d:
ad
d
another ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
l
aege
verify
.
c: adjust def
a
u
l
t range to c
o
ntext i
f
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
euler
.
cc: su
m
m
a
te_
o
ve
r
_domain: o
n
ly consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c: export Param_V
e
rtex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
d
o
olaege
P
aram_Polyhedron_F
a
cet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
genfun
.
c
c: p
a
ra
l
lel_
p
olytopes: don't bother
h
andling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_split_domains_into_
o
rthants:
d
on'
t
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
ev
a
l
ue_
r
ead: only
allo
w
terms to c
r
oss
newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
evalue_read
:
only accept implicit
m
ultiplicat
i
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
e
value_read
:
accept co
n
s
tr
a
ints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
e
v
alue_bernstei
n
_coefficient
s
: ensure result part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolaege
bernstei
n
: piecewise_lst: corr
e
ctly pr
i
nt and e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
r
emove_
a
ll_equali
t
ies: keep remov
i
ng pa
r
ameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
V
er
d
oolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: co
n
sistent use of K
e
vin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc
:
update no
w
pu
b
lished p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
for_e
a
ch_
l
ower_upper
_
bound: all
o
w
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
Revert "eadd_partition
s
:
t
ry to combine multiple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue
_
read_partition: put
partitions back in
the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue:
reduce_eva
l
ue
:
a
d
d note on some missed opportuni
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernst
e
in
.
cc
:
handle
inp
u
t with unions + r
e
lation v
i
olated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdo
o
l
aege
maxim
i
z
e
.
cc: deal
with unions in input during verific
a
tio
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value_substitut
e
: properly han
d
le rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ver
d
oolaege
evalue
.
c:
c
l
e
a
n up
emul
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
ev
a
lue_read: corre
c
tly read varia
b
le names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
evalue_
r
ea
d
:
acce
p
t
top level "r
e
lation
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdo
o
laege
e
v
alue
_
backsubstitute: add requi
r
e
d
modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
S
v
e
n
Ver
d
ool
a
e
g
e
eva
l
ue
.
c: *_part
i
tions: simplify const
r
aints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en Verdoolaeg
e
doc: mo
r
e spec
i
fic information on
bug
g
y cd
d
li
b
v
e
r
sio
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoolaege
co
n
f
i
gure
.
in:
require cddli
b
0
.
94e by test
i
ng
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rd
o
o
l
aege
config
u
r
e
.
in: only compile occ if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoolaege
barvin
o
k 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
add
some tests for implementatio
n
o
f projection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: do
c
ument new opt
i
on
s
and
n
ew application
s
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolae
g
e
AUTHORS: update support i
n
format
i
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: short_rat::prin
t
: correctly print polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Expor
t
series
a
s
barvi
n
ok
_
enumerate_serie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
o
ola
e
g
e
remove_pa
r
a
m
e
ter_e
q
ua
l
iti
e
s: stop "removin
g
"
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n Verdoolaege
series: leave freeing of P arg
u
ment t
o
c
alling funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
do
c
: docume
n
t implement
a
tion of the pr
o
jection
t
heorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ver
d
oolaege
add barvinok_enumerate_e
_
series
i
m
p
lementing
the projec
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
genfun
.
cc: fix and doc
u
ment pa
r
alle
l
p
o
lytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
ge
Only co
m
p
ile zsolve if
g
cc
3
.
4 or later is avail
a
ble
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
Move GiNaC-independe
n
t part of li
b
rary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
doc: how to c
o
unt the number of elements in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoo
l
a
ege
doc/impleme
n
tation
.
tex: avoid multiply d
e
fined label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
lattice_width
.
c
: try
v
e
r
t
ic
e
s o
f
pr
e
vious integ
e
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aeg
e
d
o
c: document
intege
r
hull
c
ompu
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
hull
.
c: add al
l
points found by sam
p
l
i
n
g direct
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
Possible opt
i
mi
z
ations
for generalized
basis reductio
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en
V
erd
o
olaeg
e
Support
u
se of gen
e
r
a
lized basis reduction to
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolae
g
e
add Polyhedron_Integ
e
r
_Minimum for
computing the int
e
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
o
o
l
aege
d
o
c
:
document generali
z
ed
b
asis reduc
t
i
on b
a
sed i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c/
b
arvinok
.
bib: add missing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
ad
d
mo
r
e missing asser
t
.
h
#
includes
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoolae
g
e
conf
i
g
ure
.
i
n
: only compile libbarv
i
nok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erdoola
e
ge
Poly
h
edron_Reduced_
B
asis:
don't s
t
op too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Verdool
a
ege
compute_width
_
directions: only keep list
of
distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Ve
r
doolaege
zs
o
lve: don't ins
t
a
ll
l
ibrary
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdool
a
e
ge
versi
o
n
.
c:
s
how us
e
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdo
o
laege
c
o
nfigure
.
in: don't set with_{poly,pip}l
i
b_prefix
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verd
o
ol
a
ege
Polyhed
r
on
_
Sampl
e
: be satisfie
d
with a reasonable
c
h
oice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doolaege
cone_i
n
teger_hu
l
l: optiona
l
ly print s
t
ats
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verdoolaeg
e
basis_r
e
duc
t
ion: keep track of number of LPs solve
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdo
o
l
a
eg
e
options: move --pr
i
nt-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaege
bernstein: r
e
wo
r
k t
e
sting framework to not depen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernst
e
in: add p
i
ecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdoola
e
ge
s
u
ppor
t
newer v
e
rsions of GiNa
C
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
next