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
bernstein.cc: evalue2ex: don't assume all periodic tables have the same size
2008-04-08
Sven Verdoolaege
b
e
rnstein
.
cc: evalue2ex: don't
assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
bou
n
d
.
cc: fix call to evalue_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
e{add,mul}_periodi
c
s: p
l
ug memory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bernste
i
n_c
o
efficients: handle
p
roblems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoolaege
lattice_width
.
c: ski
p
di
r
ections
t
hat
are
i
dentical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Verdoolaege
Makefile
.
am
:
add c
d
d94e-test to
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
omega/occ: optionally use par
k
er for computi
n
g c
a
rd
i
n
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
nor
m
alization
.
c: ske
w
_to_positive_orthant: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaeg
e
o
m
ega/co
n
v
ert
.
cc: relatio
n
2D
o
main: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
occ: add dump for
dumping i
n
b
arvinok
_
e
n
umerat
e
_e format
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
rdoolaege
b
ar
v
i
nok_enumer
a
te
_
e:
o
ptionally use parker's m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doolaege
standard_const
r
aints: take
c
onstraints instead
o
f polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
normalization
.
c: extract
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
park
e
r/count_solutions
.
cc: fix trea
t
ment o
f
existent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
ol
a
ege
compile pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
o
olaeg
e
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
euler
.
cc: evalue_derive: han
d
le
c
onstant pol
y
nomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
ad
d
so
m
e test sets f
r
om cases 2004 an
d
cc 2005
p
ap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
la
e
ge
rename barvinok_ma
x
imize to ba
r
vinok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
add a tes
t
for test
_
bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
evalue
_
r
a
n
g
e_
p
ropagation: r
e
move redundan
t
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: rec
o
rd number of polynomials
a
s "si
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: con
v
ert quasi
p
olynomials to poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
t
est_b
o
und: co
m
pare polynomial bound
a
l
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: optimum:
ha
n
dle
i
np
u
t evaluating to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaege
veri
f
y
.
c
:
extract evalue
_
optimum from
max
i
miz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
verify
.
c: e
x
t
ract
c
ommo
n
code for
verify
i
ng ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
evalue_range_propa
g
ation
:
ad
d
mono
t
onic
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvinok
_
ma
x
imi
z
e: o
p
tio
n
ally use
(
b
a
sic) ra
n
ge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
Add som
e
sup
p
ort
for
d
e
a
li
n
g with evalues
t
hat repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verd
o
ola
e
ge
barv
i
n
o
k_enumer
a
te
:
support use of
E
u
ler-Ma
c
laur
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
l
a
ege
im
p
lement Bernoulli_sum as conversi
o
n from unweight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
Bernoulli_sum_ev
a
lue:
e
xpl
o
it int
e
ger bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
keep
t
rack
o
f num
b
er of Bernoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
bernoul
l
i
.
c
:
protect shared
e
value from
mo
d
ifications
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test Bernoulli s
u
m
s based exa
c
t
en
u
meration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
a
rvinok
_
count_
w
ith_option
s
: co
m
pute (exact) Bern
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Berno
u
ll
i
_s
u
m_evalue: optionally h
a
n
d
l
e fraction
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
lattice
_
point
.
h: export
fract
i
onal
_
part
w
ith C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolaege
barvinok_enu
m
er
a
te_with_options: compute (exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
B
e
rn
o
ulli_sum
_
evalue
:
handle equali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
B
e
r
no
u
lli_sum_
e
v
alue:
cut
o
ff some redun
d
an
t
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
e
r
nou
l
l
i_sum_evalue: make sure no e
m
pty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_evalue: remove red
u
ndant co
n
s
tra
i
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ber
n
oulli
.
c
:
min
o
r
refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoola
e
ge
Bernoulli_sum:
h
andle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
Bernoulli_sum_evalue: make sure
enou
g
h
m
e
mor
y
is
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
ool
a
ege
for
_
eac
h
_lower_
u
pp
e
r_bound: ad
d
anot
h
er callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjus
t
de
f
ault r
a
nge
t
o
context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
l
e
r
.
cc: su
m
mate_ove
r
_
domai
n
: only con
s
i
d
er actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
par
a
m_uti
l
.
c: exp
o
rt Param_Verte
x
_
Set_F
a
c
e
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhe
d
r
o
n_Facet:
pass facet
d
efining c
o
ns
t
ra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
genfun
.
c
c: parallel_po
l
ytopes
:
d
on't
bother hand
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_
s
pl
i
t_d
o
mains_into_orth
a
nts:
don't
reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read: only
allow ter
m
s
t
o
c
ross ne
w
lines ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doola
e
ge
eval
u
e
_
r
e
ad: only accept imp
l
icit mul
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
e
value_read: ac
c
e
p
t constraints conta
i
ning "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
evalue_ber
n
s
t
ei
n
_coefficients: ensure res
u
lt
p
arti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: piecewise_lst: correctly print and eval
u
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
re
m
ove_all
_
equalities: keep
r
em
o
ving pa
r
a
m
eter e
q
ualit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Ve
r
dool
a
ege
doc: consis
t
ent
u
se of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoola
e
ge
d
oc:
update now published
papers
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdool
a
eg
e
for_each_l
o
w
e
r_upper_bo
u
nd: allow absence
of
l
ower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ol
a
ege
R
evert "eadd_p
a
rtit
i
o
ns
:
tr
y
to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaeg
e
e
v
a
lue_
r
ead_partition: put part
i
tions b
a
ck in the
s
a
me
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
ev
a
lue
:
reduc
e
_eva
l
ue: add note on some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
bernstein
.
cc: handle input
w
i
t
h
u
nion
s
+ relation
vio
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
m
a
ximize
.
cc: deal with unions
in inp
u
t during veri
f
ication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
v
a
l
u
e_substitute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value_
r
ead: correctly read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
e
v
a
lue_read:
a
ccept top level "relatio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
u
pdate
p
o
lylib
commit
|
commitdiff
|
tree
2008-02-29
Sve
n
Verdoolaege
ev
a
lue_backsubstitute:
a
d
d r
e
qu
i
red modul
o
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolae
g
e
e
value
.
c: *_partition
s
:
s
impl
i
fy constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven V
e
rdoolae
g
e
do
c
: m
o
r
e specific information on buggy cddli
b
versions
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
rdoolae
g
e
configu
r
e
.
i
n
: re
q
uire
c
ddlib 0
.
94e by testi
n
g
for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
c
onfigure
.
i
n
: only
c
ompi
l
e
occ if code_ge
n
li
b
rary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add
some t
e
sts for
i
mp
l
ementation
o
f
proj
e
ction theorem
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
erdoolaege
doc: document new options and new applicatio
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
AUTHORS: update support informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
V
e
rdoolaege
genfun
.
cc: sho
r
t_ra
t
::print: correctly
p
rint po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdo
o
la
e
ge
Export series as
b
arvinok_enumerate_
s
eries and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
remove_parameter_equa
l
it
i
es
:
sto
p
"re
m
oving" equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
ser
i
e
s:
l
eave fr
e
eing
of P argu
m
ent to calli
n
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaege
doc
:
document implementation of t
h
e pro
j
ection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add barvinok_e
n
umerate_e_se
r
ies imple
m
en
t
in
g
the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdo
o
laege
genfun
.
c
c
: fix and document p
a
ral
l
el polytopes class
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
e
g
e
Only compile zsol
v
e
if gcc 3
.
4 or l
a
ter is
a
vai
l
able
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
Move GiNaC-independen
t
pa
r
t of
library to bar
v
inok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
doc: ho
w
to coun
t
th
e
number of elements
i
n
p
ossi
b
ly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
o
c/implementa
t
ion
.
t
ex
:
a
voi
d
multiply defined label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verd
o
olaege
lattice_width
.
c: tr
y
vertic
e
s of
previous inte
g
er hu
l
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
laege
doc: d
o
cument integ
e
r hull
comp
u
t
a
tion
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolaege
hul
l
.
c:
add all points foun
d
b
y
sampling directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
P
o
ssible optimization
s
for general
i
zed basis
r
ed
u
ction
.
.
.
commit
|
commitdiff
|
tree
next