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
summate.c: barvinok_summate: ignore floors independent of variables
2008-05-03
Sven
V
erdoolae
g
e
summa
t
e
.
c: barv
i
n
o
k_summat
e
: ignore floors
inde
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add eva
l
u
e
_floo
r
2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
om
e
ga/occ
:
print ba
r
vinok v
e
r
s
io
n
n
u
mbe
r
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoola
e
ge
doc: u
p
d
ate some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent
b
ased summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_
s
ummate: hand
l
e quas
i
-polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
redu
c
e_evalue: extr
a
ct
out e
v
alue_red
u
c
e
_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eva
l
ue
.
c: evalue_s
h
ift_v
a
ria
b
l
e
s: all
o
w shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
mate
.
c:
han
d
le e
q
ualiti
e
s for all summa
t
ion algo
r
ithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
ege
summate
.
c: barvinok
_
summate: move common par
t
s of s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Ver
d
oolaeg
e
evalue
.
c
:
evalu
e
_s
u
m: move
sign handlin
g
into es
u
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
ol
a
eg
e
barvinok_e
.
cc: enum
e
r
a
te_sum: use
barvinok_sum
m
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: extract b
a
rvinok_summate from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rd
o
o
lae
g
e
rename summate
.
cc
t
o barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: redu
c
e_e
v
alue
:
red
u
ce f
l
oor with consta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add
L
aurent expan
s
io
n
base
d
sum
m
atio
n
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoo
l
ae
g
e
ev
a
lue
.
c: e
x
tend e
e
qu
a
l to handle domains an
d
NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c: extract binomial and
f
ac
t
orial from eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
po
w
er
.
h
: extr
a
ct from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rd
o
ol
a
ege
introduce eval
u
e_s
h
ift
_
v
a
riable
s
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdo
o
laege
lattice_point
.
cc
:
exp
o
rt r
e
lat
i
ve_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoola
e
ge
latti
c
e_
p
oint
.
h: make sure corr
e
ct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdo
o
laege
lattice_point
.
cc: add ceiling
f
unctio
n
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdool
a
eg
e
util
.
c: interna
l
ize ugly bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdool
a
ege
lattice_point
.
cc: mult
i
_monom/lattice_points:
ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoolaege
do
c
:
clea
n
u
p
"ex
p
one
n
tial su
b
stit
u
t
ion" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoo
l
aeg
e
test_bo
u
nd
.
c
c
: avoi
d
loss of precis
i
on caused
by
conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ver
d
o
o
laege
barvino
k
_bo
u
nd: opti
o
nally take maxima
l
size of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolaege
barvinok_bound: add --ite
r
ate optio
n
s
for e
v
aluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c: export f
u
nctions f
o
r
s
etting a
n
d cl
e
a
ri
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
v
e
ri
f
y
.
c
: evalu
e
_optimum: allow com
p
ut
a
t
i
on of op
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bernst
e
in
.
cc: eva
l
ue2ex:
don't assu
m
e all period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
o
olaege
bound
.
cc:
fix ca
l
l
t
o e
v
alue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
e{a
d
d,mul}_perio
d
ics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erdoolaege
evalue_be
r
n
stei
n
_
c
oeffic
i
ents
:
handle
p
rob
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
update
p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
latt
i
ce_width
.
c: skip directi
o
ns that are identi
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Ve
r
doolaege
M
a
kefile
.
am: add cdd94
e
-test to di
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
d
oolaege
omega/
o
cc
:
optio
n
ally use pa
r
k
er fo
r
comput
i
ng ca
r
dinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaeg
e
normalization
.
c: skew_to_posit
i
ve_orthant: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
c
c: r
e
lation2D
o
main: only
c
ollect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rdoolaege
oc
c
:
add
d
ump fo
r
d
umping in b
a
rvinok_enumera
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
laege
barvinok_enumer
a
t
e
_
e
: optio
n
ally use parke
r
's
metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
standard_constraints: take constrai
n
ts i
n
s
t
ead o
f
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolae
g
e
nor
m
alization
.
c:
e
xtract s
t
anda
r
d_cons
t
ra
i
n
t
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoola
e
g
e
parker
/
count_so
l
utions
.
cc: fix
t
reatment of exist
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
eule
r
.
cc: eval
u
e_
d
erive: han
d
le con
s
tant polyn
o
m
ials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erd
o
olaege
a
dd so
m
e test s
e
t
s
fro
m
ca
s
es 2004 and cc 2005
papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoo
l
ae
g
e
rename barvinok_maximi
z
e to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
add a test for tes
t
_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
eva
l
ue_rang
e
_propag
a
tion: r
e
m
o
ve redundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
t
e
st_bound: record
number of po
l
ynomials as "si
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
t
est_b
o
und: c
o
nv
e
rt qu
a
sipolynomial
s
to p
o
lynom
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test_bound:
compare polynomial bound
a
l
gorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c
: optimum: han
d
le input evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolaege
v
erify
.
c: extra
c
t evalue_optimum from
maximiz
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
verif
y
.
c
:
extract common code fo
r
ve
r
ifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_ra
n
ge_pr
o
pagat
i
on: add
m
onotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
b
a
r
v
inok
_
maximize: optionally u
s
e
(basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
A
dd some support for dealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
ba
r
vinok_en
u
merat
e
: suppo
r
t use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
implement B
e
r
no
u
lli_sum as conversion fr
o
m unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
B
ernoul
l
i
_
su
m
_evalue: exp
l
o
i
t
i
n
t
ege
r
bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
olaege
keep track of number of Bernoul
l
i sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
bernoulli
.
c: protect shared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
doolaege
t
est Berno
u
lli sums based exact enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
b
a
rvin
o
k_cou
n
t_with_options: compute
(exact)
B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
Bernoulli_sum_
e
val
u
e: optionally ha
n
dle
f
ra
c
tion
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
lattic
e
_point
.
h: e
x
port fractional_p
a
rt with
C
l
in
k
age
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerat
e
_with_options
:
c
o
mpute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bern
o
ull
i
_sum_evalue: han
d
le e
q
ualiti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
e
r
n
o
u
lli_sum_evalue: cut off
some redundant pa
r
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
B
ernoulli_
s
um_e
v
alu
e
:
make
sur
e
no
empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
do
o
laege
B
ernoul
l
i_s
u
m_eval
u
e: remove redundant c
o
n
straint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
bernoul
l
i
.
c: minor refac
t
oring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum: handle cont
e
xt co
n
s
t
rain
t
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoo
l
aege
Bernoull
i
_
su
m
_evalue:
make sure enough memory is all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
f
or_each_lo
w
er_
u
pper_bound: ad
d
another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
verif
y
.
c:
adjust default range to context i
f
n
e
ede
d
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ola
e
g
e
euler
.
cc: sum
m
ate_over_d
o
m
a
in
:
o
nly consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
o
laege
param_
u
t
i
l
.
c: export
P
aram_Ve
r
tex_Set_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
ola
e
g
e
Param_Polyhedron_Facet: pass
f
a
c
et defining constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
genfu
n
.
cc: parallel_polytopes: don't
b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalue_split_domains_in
t
o_or
t
h
a
nts: don't r
e
duce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
evalue_r
e
ad
:
only allow
t
erms to cr
o
s
s
newlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
e
v
alue_r
e
ad
:
only
a
ccep
t
i
mplicit
multip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
value_read: ac
c
ept co
n
s
trai
n
ts
c
on
t
aining "
'
-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ber
n
stein
_
c
o
effi
c
ients: ensure res
u
lt part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
aege
b
ernstein: piecewise_lst
:
co
r
rectly print an
d
ev
a
luate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoo
l
aege
r
emove
_
all_equal
i
ties: keep re
m
oving
p
arameter eq
u
ali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: consistent u
s
e of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
d
o
c
:
up
d
ate now publ
i
shed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound: allo
w
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
Revert "eadd
_
par
t
itions: try to combine multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
aeg
e
evalue_read_partit
i
on
:
p
ut
p
a
rti
t
ions
b
ack i
n
the sa
m
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue: red
u
c
e
_evalue: add note on
s
ome miss
e
d opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaeg
e
bernstein
.
cc: handle input with uni
o
ns + r
e
lation violated
.
.
.
commit
|
commitdiff
|
tree
next