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
barvinok_e.cc: enumerate_sum: use barvinok_summate instad of evalue_sum
2008-05-03
Sven Ver
d
oolaeg
e
barvinok_e
.
cc: enumerate
_
sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolae
g
e
summate
.
c: extract barvi
n
ok_
s
ummate
f
r
o
m barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
r
ename s
u
mmate
.
cc to barvi
n
ok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c: redu
c
e
_
e
v
alue: reduce
floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
Ver
d
oolaege
Add Laur
e
nt exp
a
n
sion based
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
e
value
.
c: extend eequal to ha
n
dle domains and N
a
Ns
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdool
a
ege
b
inomial
.
c: extract
b
inomia
l
and fac
t
ori
a
l from eule
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
ege
power
.
h: extr
a
ct from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoo
l
a
ege
introduce evalue_shi
f
t_
v
a
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
la
t
tice_
p
oint
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
la
t
ti
c
e
_
po
i
nt
.
h:
m
ake sure correct
evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
cc: add ceiling fu
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
uti
l
.
c: intern
a
lize ugly bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
atti
c
e_point
.
cc:
m
ulti_monom/lattice_points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoola
e
ge
do
c
: clean up
"
exp
o
nential
s
u
b
stitution" s
e
ct
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
te
s
t_bound
.
cc: avoid
los
s
of precisio
n
caused b
y
c
onversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
barvino
k
_boun
d
: optionally take maximal size
o
f dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
bar
v
inok_bound:
a
dd --iterate
o
ptions
for evalu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verd
o
olaege
verify
.
c: ex
p
ort
functions f
o
r se
t
ting an
d
clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
verify
.
c: evalue_
o
ptimum: allow computation of opti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
bernstein
.
cc
:
evalue2ex
:
do
n
'
t ass
u
m
e all pe
r
iodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erdoola
e
ge
bo
u
nd
.
cc: fix call t
o
e
value_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaeg
e
e{add,mul}_period
i
c
s
:
plug m
e
mo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
evalu
e
_
b
ernste
i
n_c
o
e
f
ficie
n
ts: handle probl
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
up
d
ate p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
e
n Ver
d
oolaege
lattic
e
_width
.
c: ski
p
dir
e
ctions that are ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Makefile
.
am: add
c
d
d94e-test
to
d
istri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
o
mega/occ
:
optionally
u
se parker for computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdool
a
ege
norm
a
li
z
a
t
ion
.
c: skew_to_po
s
itive_orthant: prope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaeg
e
omega/
c
onvert
.
cc: rel
a
tion2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
oc
c
:
a
dd dump f
o
r dump
i
n
g
in ba
r
vinok_enumerate_e for
m
a
t
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
doolaege
barvi
n
o
k_enume
r
ate_e: optionally use parker's
met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
stand
a
rd
_
cons
t
raints:
t
ak
e
constra
i
nt
s
i
nstead of po
l
yh
e
d
ron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
normalizati
o
n
.
c: extract
standa
r
d
_
cons
t
raints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
e
g
e
parker/coun
t
_so
l
utions
.
c
c: fix t
r
eatm
e
nt of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoolaege
com
p
i
l
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add pa
r
ke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc:
evalu
e
_derive: h
a
ndle constant p
o
l
ynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
add some t
e
s
t
set
s
f
rom cases 2004 and cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename bar
v
i
nok_maximize
t
o
barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
evalue_
r
ange_pro
p
a
g
a
t
ion: remove redundan
t
p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
ola
e
ge
tes
t
_bound: record num
b
er of po
l
ynomials as "s
i
ze"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolae
g
e
te
s
t_bound: convert quasi
p
o
l
ynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
test_bound:
compare
p
olynomial boun
d
alg
o
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
d
oolae
g
e
verif
y
.
c: optimum:
ha
n
dle input evaluating
to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
verify
.
c: extract eva
l
ue_optimu
m
from maximi
z
e
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c: extract c
o
mmon cod
e
for verifying oper
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_range_propagation: add m
o
not
o
nicity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
barvinok
_
maxi
m
ize: op
t
ion
a
l
l
y use
(basic) range propaga
t
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
Add some
suppor
t
for dealing with eva
l
ues that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
b
a
rvinok_enumerate: sup
p
ort u
s
e of Eu
l
er-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
i
mplement Bernoulli_s
u
m as conversion
f
r
om unwei
g
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Berno
u
ll
i
_sum_ev
a
lue: exploit
i
n
t
e
ger bounds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
keep track of number o
f
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bernoul
l
i
.
c: protec
t
shared evalue f
r
om modi
f
ication
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test Bernou
l
li sums based exact enumer
a
tio
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
barv
i
n
o
k
_co
u
nt_
w
it
h
_opt
i
o
ns:
compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
ernoulli
_
sum_
e
val
u
e: optionally h
a
ndl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h:
export fractional_par
t
w
ith
C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
bar
v
ino
k
_enumerate_with_op
t
i
o
ns: compute (
e
xact
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
Bernoul
l
i_sum_evalue: handle
equ
a
li
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
B
e
r
n
oulli
_
sum_evalue: cut off some redun
d
ant
p
a
r
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum_evalue:
m
a
ke
sur
e
no empty partit
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
B
ernoulli_sum_evalu
e
: remove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
bernoulli
.
c: minor re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
doolaege
B
ernoulli_sum: handle c
o
ntext
c
on
s
traint
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_evalue:
m
ake s
u
r
e enough me
m
ory
i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
f
o
r_each_lower_
u
p
p
er_bou
n
d
:
add anothe
r
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
ve
r
ify
.
c: a
d
just default range to
c
ontext i
f
ne
e
de
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: summa
t
e_over
_
domain:
o
nly consi
d
er actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
param_util
.
c
:
export Param_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Param_Polyhedron_Facet: pass f
a
c
e
t
d
ef
i
n
ing constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
genfun
.
cc: para
l
lel_polytopes:
d
o
n
't both
e
r handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
evalu
e
_spl
i
t_dom
a
i
n
s
_in
t
o_orthan
t
s
: don't reduce
ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
evalue_read: only allow ter
m
s to cros
s
newline
s
i
nside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
v
al
u
e
_read:
o
nl
y
accept implicit multipli
c
ation on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_read: acc
e
pt constraints containing
"
'-' s
p
ac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_bernstein_coeffici
e
nts: e
n
sure
r
esult
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rd
o
olaeg
e
b
er
n
ste
i
n:
p
iecewise_lst: correctly print a
n
d
eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
V
e
rdoo
l
a
ege
r
emove_all_equalities: keep re
m
ovin
g
parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdool
a
e
g
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
doc: consistent use of
K
evin
'
s
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
do
c
: update now p
u
b
l
is
h
e
d pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
for_ea
c
h
_
lower_uppe
r
_bo
u
n
d
: a
l
low abs
e
nce of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "ea
d
d_par
t
itions:
t
ry to
c
ombine multip
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
rdoolaege
evalue
_
r
e
ad_part
i
tion: put part
i
tion
s
ba
c
k in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
oolaege
e
v
alue: redu
c
e
_
evalue: add note
on some mi
s
sed
opportu
n
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
bernstein
.
cc: ha
n
dle in
p
ut w
i
th unions + relation
viol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
maximize
.
cc:
deal with unions in
input dur
i
ng
ve
r
if
i
c
ati
o
n
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoola
e
g
e
evalue_substitute: properly handle
r
elatio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c
:
clean u
p
e
m
u
l and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
value_read: correct
l
y read variab
l
e names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e_r
e
ad: accept top level "relation
"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
erdool
a
eg
e
update
p
o
lyli
b
commit
|
commitdiff
|
tree
2008-02-29
Sven
V
erdoo
l
a
eg
e
evalue_
b
acksubstitute:
a
dd r
e
quired modulo
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalu
e
.
c
:
*_par
t
itions: si
m
p
l
ify
c
on
s
t
r
aint
s
before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven
V
e
rdoolae
g
e
doc: more sp
e
c
i
fic
info
r
mati
o
n on
b
uggy cd
d
lib v
e
rsions
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verdoolaege
co
n
figure
.
in: req
u
ire
cddlib
0
.
94e by t
e
sting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
S
ve
n
Verdoolaege
configure
.
in: o
n
l
y
compile occ
i
f co
d
e
_
gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
next