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
Make laurent based summation the default
2008-05-03
Sven Verdoolae
g
e
Make laurent
b
ased summa
t
io
n
the de
f
ault
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summ
a
te
.
c: barvino
k
_summate: handl
e
q
u
asi-polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
oolaege
reduce_eval
u
e: extract
ou
t
e
v
alue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolae
g
e
evalue
.
c
:
evalue_shi
f
t_va
r
iables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
s
umma
t
e
.
c: handle equalit
i
e
s
f
or all s
u
mma
t
ion algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summate
.
c
: barv
i
no
k
_sum
m
ate:
move common
p
a
rts o
f
summati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
e
value
.
c: evalue_sum: move sig
n
h
and
l
ing into
esu
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
barvinok_e
.
c
c
: enumer
a
t
e_sum
:
use b
a
rvinok_
s
ummate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
summate
.
c:
extract
b
arvinok_summa
t
e fr
o
m
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ve
r
doolae
g
e
rename
s
ummate
.
cc to barv
i
nok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
eva
l
ue
.
c
:
reduce
_
e
value: reduce f
l
oor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoola
e
g
e
Add Laurent expansion based summa
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Ve
r
doolae
g
e
ev
a
l
u
e
.
c: e
x
te
n
d eequal
t
o ha
n
dle dom
a
ins and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomia
l
.
c: extract
b
inomial and
f
a
ctorial
from eu
l
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdo
o
laege
power
.
h
:
extract from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
Verdoola
e
ge
introduce evalu
e
_s
h
ift_v
a
riables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_point
.
cc: expor
t
re
l
ative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h: make
sure correc
t
e
values a
r
e us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolaege
lattice_point
.
c
c
:
add ceilin
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
g
e
u
t
i
l
.
c:
i
nte
r
nalize ugly
b
v
_
c
eil
3
commit
|
commitdiff
|
tree
2008-04-17
S
v
e
n Verdoolaege
lattice_point
.
cc: multi_monom/
l
att
i
ce_poi
n
ts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoo
l
a
e
g
e
doc: clean up
"exponential substituti
o
n"
s
ec
t
io
n
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoolaege
test_bound
.
cc: avo
i
d loss
of preci
s
ion caused b
y
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoo
l
ae
g
e
barvinok_
b
ound: optionally take maximal size of
d
oma
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
g
e
b
arvi
n
ok_bound: add --it
e
r
a
te op
t
ions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c:
export
func
t
i
o
ns for sett
i
ng and cle
a
ring
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aeg
e
v
erify
.
c:
e
v
a
lue_optimu
m
: allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
erdoo
l
aege
b
ernstein
.
cc: evalue2ex:
don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
o
u
n
d
.
cc: f
i
x call
t
o
ev
a
lue_con
v
e
rt
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Ve
r
doolaege
e{add,mul}_periodics: p
l
ug mem
o
ry l
e
a
ks
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolaege
evalue
_
bernstei
n
_c
o
e
f
f
ici
e
nts: handle proble
m
s wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoo
l
aeg
e
latti
c
e
_width
.
c: skip direct
i
ons that a
r
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ve
r
doolaeg
e
Makefile
.
a
m
: add cdd94e
-
test to
distributio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/o
c
c:
o
ption
a
l
l
y use pa
r
ker
for com
p
uting car
d
i
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoo
l
a
eg
e
normalization
.
c: ske
w
_to_posit
i
ve_o
r
t
hant: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
omega/convert
.
cc: relatio
n
2Dom
a
in: o
n
l
y collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doolae
g
e
o
c
c: ad
d
du
m
p
f
or dumping in barvino
k
_
e
n
u
merate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvin
o
k_enumerat
e
_
e
: op
t
ional
l
y use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
standard_constraints: tak
e
constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norm
a
lizat
i
o
n
.
c:
extra
c
t
s
t
andard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
parker/c
o
unt_s
o
lutions
.
cc: fix tr
e
atm
e
nt of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdool
a
ege
comp
i
l
e
par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
A
d
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
u
ler
.
c
c
: evalue_deriv
e
:
h
a
ndle constant
po
l
ynom
i
als
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
add some
test
s
ets from cases 2004 and cc 2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
o
o
laege
rename barvino
k
_maxim
i
ze
t
o barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
dd a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eval
u
e
_
range_propagation: remove redundant polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_
b
ound: record numbe
r
of p
o
lynomia
l
s as "si
z
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_bound: c
o
n
v
ert qu
a
sipolynomials t
o
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
ool
a
ege
test_bound: compare polynomi
a
l bound al
g
orithm
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
verify
.
c: opt
i
mum: handle inp
u
t evaluating to negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
verify
.
c
:
ex
t
r
a
ct evalue_opti
m
um f
r
om m
a
ximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
verify
.
c: extr
a
ct com
m
on code for verifyi
n
g operatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
e
v
a
lue_range_pro
p
a
g
ation:
a
dd monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
barvino
k
_m
a
ximize: option
a
lly use (basic) rang
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
dd
s
ome support for dealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
b
arvin
o
k_enume
r
a
t
e: suppo
r
t u
s
e
of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
imp
l
ement
B
ernoulli
_
s
u
m
as conversio
n
from
u
n
w
eigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
g
e
Bernoull
i
_sum_e
v
alue:
exploit
i
n
teg
e
r bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
doolaege
keep track of num
b
er of
B
ernoulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rd
o
olaege
bernoulli
.
c: protect shared evalue fr
o
m modifica
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
ool
a
e
g
e
test Bernoul
l
i sums base
d
exact
e
numerat
i
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
count_with_options:
compute (e
x
act)
B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
Bernou
l
li_su
m
_
e
val
u
e: optionally handl
e
frac
t
ional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
latt
i
ce_po
i
nt
.
h: ex
p
ort fractional_
p
art with C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
b
arvinok_enumerate_with_options: com
p
ute (exac
t
) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
Bernoulli
_
sum_evalu
e
:
h
andle equali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
Ber
n
o
u
lli
_
sum_evalue: cut off s
o
me redundant part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolae
g
e
Ber
n
o
u
ll
i
_sum_evalue: make sure no em
p
ty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolae
g
e
Bernoull
i
_
s
um_e
v
a
l
ue
:
remov
e
redundant
c
o
nstrain
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
bernoulli
.
c:
m
inor ref
a
c
t
ori
n
g
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
B
e
r
noulli_sum: hand
l
e
context
c
o
nstrai
n
ts
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdool
a
eg
e
B
e
rnoul
l
i_sum_
e
value: make sure e
n
ough memory is alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
for_each_low
e
r
_
u
p
p
er_
b
ound:
a
d
d an
o
t
her c
a
llback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
o
laeg
e
ve
r
ify
.
c
:
adjust defa
u
l
t range to co
n
text
i
f
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
euler
.
cc: summ
a
te_over_doma
i
n
:
on
l
y conside
r
a
c
t
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
param_ut
i
l
.
c
:
e
xport Param_V
e
rtex_S
e
t
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Po
l
yhed
r
o
n
_
Facet: pass facet
d
efining con
s
traint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
genfun
.
cc: para
l
lel_polytop
e
s: don't b
o
ther ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_s
p
lit_domain
s
_into_ortha
n
ts: don't
r
educe evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
o
o
laege
e
va
l
ue_r
e
ad: only allow terms to cross newli
n
es inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
r
doolaege
e
value
_
read: only
a
ccept im
p
li
c
it
m
u
l
tipli
c
a
t
ion
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
lae
g
e
e
value_read:
ac
c
ept constrai
n
t
s containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_
be
r
nst
e
in_coeffici
e
n
ts:
ensure re
s
ult
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolaege
b
e
rnstein
:
piecewise_lst: correctly pr
i
nt and eva
l
uate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
remove_all_equalities:
k
eep re
m
ovin
g
parameter equ
a
lit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
upda
t
e
pol
y
l
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc: cons
i
sten
t
u
s
e
of Kev
i
n
'
s
i
nit
i
als
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
doc: update no
w
publis
h
ed pap
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
f
o
r
_each_lower_upper_
b
ound: allow
a
bsence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
R
eve
r
t
"eadd_partitions: try to combine mul
t
iple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven V
e
r
d
o
ola
e
g
e
eva
l
ue_r
e
ad_pa
r
tition:
p
u
t pa
r
t
ition
s
back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue:
re
d
uce_
e
val
u
e:
add note on some missed oppor
t
unities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
bernstein
.
c
c: handle in
p
u
t with unions + relation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
maximize
.
cc: deal wit
h
unions in
input during verificati
o
n
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalu
e
_substitute:
prope
r
ly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven V
e
rdoolaege
e
v
alue
.
c: cl
e
an up emul
a
nd eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
evalu
e
_read
:
correc
t
ly read variable names
commit
|
commitdiff
|
tree
next