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 Verdoolaege
Ma
k
e
l
aure
n
t b
a
sed summat
i
on the
d
efau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rd
o
o
l
aege
summate
.
c: barvin
o
k_summate:
ha
n
dle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
reduce_evalue: ext
r
act out evalue_reduce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
ev
a
lue
.
c: evalue_shift
_
v
a
riabl
e
s: allow sh
i
f
t
ing of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
rdoo
l
ae
g
e
summa
t
e
.
c: handle equalit
i
es for
a
ll s
u
m
m
ation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c: bar
v
inok_summate
:
move
c
ommon p
a
rts
of summati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laeg
e
evalue
.
c: evalue_sum
:
m
o
ve sign handli
n
g into
e
su
m
_over
_
domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
barvinok_e
.
cc:
enumerate_sum: use bar
v
inok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
laege
summate
.
c: extr
a
ct bar
v
inok_summ
a
te
from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename summate
.
c
c to
barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: reduce_ev
a
lue: reduce floo
r
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
Add Laurent expansion base
d
summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdo
o
laege
evalue
.
c: extend eequal to handle doma
i
n
s
and Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
bin
o
mial
.
c:
e
xtract binomial
and factorial from eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
pow
e
r
.
h
:
extract
from
e
u
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
introduce eva
l
u
e_shift
_
variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ver
d
oola
e
ge
lattice_point
.
cc: expor
t
relative_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoola
e
ge
lattice_p
o
in
t
.
h: make sure correct e
v
al
u
es
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lattice_point
.
cc: add ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
util
.
c: internaliz
e
ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdo
o
laege
lattice_point
.
cc: multi_monom
/
latt
i
ce
_
points: retur
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoolaege
do
c
:
cle
a
n up "exponen
t
i
a
l substit
u
tion" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
test_boun
d
.
cc: avoid lo
s
s of precision
c
aused by c
o
nv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bo
u
nd:
option
a
lly take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doola
e
ge
barvinok_bound: add --iterate options for eva
l
uating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
verif
y
.
c: exp
o
rt functions
f
or setting an
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ve
r
ify
.
c:
evalue_optimum:
a
l
l
ow
computation of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
bernstein
.
cc: eva
l
u
e2ex: don't
a
ssum
e
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
bound
.
cc: fix
call to eval
u
e
_conv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doolaege
e{add,mul}_
p
eriodics: plu
g
memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bern
s
tein_co
e
fficients
:
handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoo
l
ae
g
e
la
t
tice_wid
t
h
.
c
:
skip
direction
s
t
hat are iden
t
ical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add cdd94e-test to di
s
t
r
ibu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/occ:
o
ptionally
use p
a
rker f
o
r computin
g
ca
r
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoola
e
ge
n
ormalizat
i
on
.
c
:
s
k
ew_to_positive_or
t
hant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verd
o
o
lae
g
e
o
m
ega/c
o
n
vert
.
cc
:
relation2
D
o
main: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolae
g
e
occ:
a
dd dump
f
or dumpin
g
in barvinok_enumerate_
e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
barvinok_e
n
umerate_e: o
p
tional
l
y use parker's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ver
d
oolaeg
e
standa
r
d_co
n
s
traints: take
constra
i
nts instead
o
f polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
ormalization
.
c: extrac
t
standard_cons
t
raint
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdo
o
laege
p
a
rk
e
r/count_solutions
.
cc: fix treatmen
t
of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
r
d
oolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
Add pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
u
ler
.
cc: evalue_der
i
ve: hand
l
e
c
onst
a
nt polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
add
some te
s
t sets from cases 2004 and cc 200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename bar
v
inok_maxi
m
i
ze t
o
ba
r
vinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ol
a
ege
add a
test for test_
b
ound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
evalue_range_propagation:
r
emove redundant
polyn
o
mial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
test_bound: rec
o
r
d
number of polyno
m
ial
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test_bo
u
n
d:
convert qu
a
sipolyn
o
mia
l
s to polynom
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test_bound: compa
r
e pol
y
nomial bound alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
verify
.
c: opt
i
mum
:
handle input e
v
aluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: extr
a
ct evalu
e
_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
v
e
rify
.
c: e
x
tract
common code for verif
y
i
n
g operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
eval
u
e_range_propagatio
n
: add monot
o
nicit
y
test
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
o
o
l
a
ege
b
a
rvinok_ma
x
i
m
ize: op
t
ionally use (basic) range propag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
Add some support for dealing
with
e
values that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
bar
v
inok_enumerate: s
u
pport use
of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
imple
m
ent
B
e
r
no
u
lli_
s
um as con
v
ersio
n
from unw
e
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
B
e
r
noulli_sum_evalue:
e
xploit integer bou
n
d
s
to redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
keep track of number
of Ber
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
bernoulli
.
c
:
protect s
h
ared evalue from modific
a
tions
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
o
laege
test Berno
u
lli
sums based
e
x
act enu
m
eration
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
er
d
oolaege
barvinok_count
_
with_options: compute (ex
a
ct) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Bern
o
ull
i
_sum_evalue:
o
ption
a
lly hand
l
e fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
l
a
ttice_point
.
h: export
fractional_part wi
t
h C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
barvin
o
k_
e
n
umerate_with_options: compute (e
x
ac
t
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
Ber
n
oulli_sum_evalu
e
: han
d
le equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Ber
n
oulli_s
u
m_evalu
e
:
c
ut off some red
u
n
da
n
t
p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Berno
u
lli
_
s
u
m_
e
value: make sure no
e
mpty pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoulli_
s
um
_
e
value: rem
o
v
e
r
e
dundant co
n
strai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
be
r
n
oulli
.
c:
m
inor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
su
m
: handle
c
ontext c
o
nst
r
aints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
dool
a
ege
Berno
u
lli_sum_eva
l
u
e: make sure enou
g
h memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
for_e
a
ch
_
l
ow
e
r_upper_bound: add another callbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
v
e
rify
.
c
: adjust
defaul
t
r
ange to
contex
t
if
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc: summate_over_domain
:
o
nly consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
p
a
r
a
m_u
t
il
.
c: ex
p
ort
Param_Vertex_Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
ge
Pa
r
am_Pol
y
h
edron_F
a
c
e
t: pa
s
s fac
e
t defining
c
onstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
genfun
.
c
c: para
l
l
el
_
polytopes: don't bother h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
split_domains_into_
o
r
t
h
ants: don't
r
ed
u
ce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
doolaeg
e
evalu
e
_read: only allow t
e
r
ms to cross
newlin
e
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
evalue
_
re
a
d
:
only acc
e
p
t implicit multiplication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
evalue_rea
d
: a
c
cept
constr
a
ints con
t
ai
n
in
g
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ev
a
lue
_
b
ernstein_coefficients: ensure result part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aeg
e
bernst
e
i
n: piecewise_lst: co
r
rectly
pr
i
nt and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_all_equalities: keep removing
p
a
rameter
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
upd
a
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
doc:
cons
i
stent use of Kevin'
s
initials
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoo
l
aege
doc: update
n
ow published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdool
a
e
ge
for_each_
l
o
w
e
r_upper
_
bo
u
nd: allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
Rev
e
rt "ea
d
d
_
par
t
it
i
ons: try to combine mult
i
ple
domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
evalue_read_partitio
n
: put partition
s
ba
c
k in the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
ev
a
l
u
e: reduce_evalu
e
: add not
e
on some missed oppor
t
uni
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
bernstein
.
cc:
ha
n
d
l
e input with
u
ni
o
ns
+
relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
m
a
ximize
.
cc: deal with unions in input
during verifi
c
a
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalue_su
b
stitute
:
prope
r
ly handl
e
relation
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
e
v
alue
.
c: clean up emul an
d
eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaeg
e
ev
a
lue_read: correctly re
a
d var
i
able
n
ames
commit
|
commitdiff
|
tree
next