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
Verdoolaege
ad
d
som
e
test sets fr
o
m cases 2004 and cc 2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
rename barvinok
_
m
aximize
to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
add a test for
t
est_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
a
l
ue_range_propa
g
ation:
r
emo
v
e redundant p
o
l
yn
o
mi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: record number of
polynomials as
"siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
test_boun
d
: co
n
vert q
u
as
i
p
olynomials t
o
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compar
e
p
olynomial bound alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verif
y
.
c: optimum: handle input evaluat
i
ng to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract evalue_opt
i
mum
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
verify
.
c: extrac
t
common code
for ver
i
f
ying
operatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoo
l
aege
eval
u
e_range_propagation: add monotonicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
barvinok_maxim
i
ze: optionally use (
b
asic) range pro
p
aga
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Ad
d
some
s
upport for dealing wi
t
h
e
v
alues that re
p
rese
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
b
arvinok
_
en
u
mer
a
te:
supp
o
rt use
of Eule
r
-M
a
c
laurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Bernoulli_sum as conversion from un
w
e
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
evalue: expl
o
it integer
b
ounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolae
g
e
keep tra
c
k
of n
u
mber of Bernoulli
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bernoulli
.
c:
protect shared
evalue from modifi
c
ation
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli sums ba
s
ed
e
x
act enumera
t
ion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
count_wit
h
_option
s
: comp
u
te (e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
doolaege
Bern
o
u
lli_sum_evalue
:
optionall
y
handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
lattice_
p
oint
.
h:
e
xport fractional_
p
art with C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
eg
e
b
a
rvinok_enumerate_with
_
opti
o
ns:
c
ompute (
e
xact)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoulli_sum_evalue
:
handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_evalue: cut off some
red
u
nd
a
nt
p
a
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoul
l
i
_
sum_eva
l
ue
:
make sure no emp
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoul
l
i_sum_evalue: remov
e
r
e
dundant
constrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
b
e
rnoulli
.
c: mi
n
o
r
refact
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
Bernoulli_sum: handle cont
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
Bernoulli_su
m
_evalue:
m
ake s
u
re enough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each_lower_
u
pper_bo
u
nd: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
veri
f
y
.
c:
adj
u
st de
f
ault
range to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
eg
e
euler
.
cc
:
summate_o
v
er_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
par
a
m_util
.
c:
e
xport
P
aram_Vertex_
S
et_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
Param_Pol
y
hedro
n
_Facet: pass f
a
c
e
t defining constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
ge
n
f
u
n
.
cc: parallel_p
o
lytopes: d
o
n't b
o
ther
h
a
ndlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
evalue_s
p
lit_domains_
i
nto
_
ort
h
ants
:
don't
r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
evalue_read: only
a
l
low
terms
to cross newl
i
nes inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lue_read: on
l
y accept
i
m
p
l
i
cit mult
i
plicatio
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
e
v
alue_re
a
d:
a
ccept constraints conta
i
n
i
ng "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolae
g
e
evalu
e
_be
r
n
s
tei
n
_coeffi
c
ients
:
e
n
sure
result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
V
erd
o
olaege
bernstein: piecewise_lst: corre
c
t
ly pr
i
nt and ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all
_
equalit
i
es: keep
r
emoving parameter eq
u
al
i
tie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdool
a
e
ge
upd
a
t
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
do
c
: consistent use of K
e
v
in's in
i
t
ial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
d
oc: updat
e
now pu
b
lished p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdool
a
e
ge
for
_
each_lower_up
p
e
r
_bo
u
nd:
a
llow absence
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolae
g
e
Revert "ead
d
_
p
artit
i
o
ns: try to combine
m
ultip
l
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
Ve
r
doolaege
evalu
e
_r
e
ad_partition: put par
t
itions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduc
e
_evalue: a
d
d
n
ote on some m
i
ssed opportunit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
a
ege
bernstein
.
cc:
handle input with unions + relat
i
on
v
i
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
maximiz
e
.
cc: deal w
i
th un
i
ons in
input
during
verificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
a
lue_substitute: p
r
operly h
a
ndle relations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
er
d
oolae
g
e
evalue
.
c
:
cl
e
an up em
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doola
e
ge
eva
l
ue
_
read: correct
l
y
read variable
n
a
me
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
e
v
alue_read: a
c
cept top leve
l
"re
l
ation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ve
r
doolaege
evalue_backsubstitut
e
: ad
d
required modul
o
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven
Verdoolaege
ev
a
lue
.
c: *_partitions: simpl
i
fy cons
t
raints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoo
l
aeg
e
do
c
:
m
ore
sp
e
cific information on bugg
y
cddlib
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
er
d
oola
e
ge
config
u
re
.
in: require cddlib 0
.
94e by
t
e
sting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
v
en Verdoolaege
c
o
nfigure
.
in:
only
c
ompile occ
if
c
o
de_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Ver
d
oolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
add som
e
tests for
i
mplementation of projec
t
io
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc: document new opt
i
o
n
s a
n
d new ap
p
licat
i
ons
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
A
UTHORS: up
d
a
te sup
p
ort in
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
S
ven V
e
rd
o
olaege
g
enfun
.
cc: s
h
ort_rat:
:
pri
n
t: correctly print polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verd
o
olaeg
e
Export serie
s
a
s
barvinok_enumerate_s
e
ries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
remove_paramet
e
r_e
q
ualities: sto
p
"rem
o
vi
n
g" equ
a
li
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en V
e
r
doolaege
series: leave free
i
ng
of P argument to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
do
c
:
d
o
cument implementation
o
f the p
r
oj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
add ba
r
vin
o
k_enumerate_e_series implementi
n
g the proj
e
ction
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfun
.
cc: fix
a
nd docume
n
t p
a
rallel polytopes c
l
ass
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
e
ge
Only
compile
z
solve if gcc 3
.
4
o
r la
t
er is
availab
l
e
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Move GiNaC-independent part
o
f
library
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolaege
doc: how to coun
t
the numb
e
r o
f
e
l
ements i
n
possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
S
ven Verdoolae
g
e
doc/
i
mpleme
n
ta
t
io
n
.
tex
:
avoid mu
l
tiply de
f
ined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
lattice_w
i
dth
.
c:
t
r
y vertices of previo
u
s
integer
h
ulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
d
o
c: do
c
ument
i
nteger hull computa
t
ion
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
er
d
oolaege
hull
.
c
:
add
a
l
l points f
o
und
by s
a
mpling di
r
e
ctly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
Possible optimizatio
n
s for
g
e
neralized
b
asis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
S
upport
u
se of
g
e
ner
a
liz
e
d basis reduction t
o
compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven
V
erdoolaege
add
P
olyhedron_Integer
_
Minimum for co
m
p
u
t
i
ng th
e
i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaege
do
c
: document
g
ener
a
lized
basis
reduction based
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verdoolaege
do
c
/ba
r
v
i
nok
.
bib: add m
i
ss
i
ng string
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missing
assert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
aege
ev
a
lue
.
c: add m
i
ssin
g
incl
u
d
e
of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdo
o
l
a
ege
co
n
f
i
g
ure
.
in: pass path of GMP installation to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
c
onfigure
.
in: onl
y
compile l
i
bba
r
vinok as a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
V
erd
o
olaege
Polyhedron_
R
edu
c
ed_Bas
i
s: don't
stop too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
compute_width_directions: only keep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven V
e
rdoolaeg
e
zsolve:
do
n
't ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
version
.
c: show
use of TOP
C
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoola
e
ge
config
u
re
.
i
n
:
don't set with_
{
poly,pip
}
l
ib_pre
f
ix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
Ver
d
o
o
laeg
e
Polyhedron_Sample: b
e
satisfied wit
h
a
reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
erdool
a
ege
cone_int
e
ger_hull: optionally prin
t
sta
t
s
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n
Verdool
a
eg
e
b
a
sis_reduction: ke
e
p
t
rack of nu
m
ber of LPs solv
e
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
op
t
io
n
s
:
m
ov
e
--
p
rint-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
e
r
d
o
olaege
bernstein: re
w
ork testing framework to
n
ot depend
o
n
.
.
.
commit
|
commitdiff
|
tree
next