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
Add Laurent expansion based summation
2008-05-03
Sven
V
erdool
a
ege
Add La
u
rent expa
n
sion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend
eequal to handle
domains and
NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
b
i
n
omial
.
c: ex
t
ract
binomia
l
and fa
c
t
o
ria
l
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
doolaeg
e
pow
e
r
.
h: extract f
r
o
m euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olaege
introduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
erdo
o
laege
l
a
ttice
_
point
.
c
c
: export rel
a
tive_coo
r
din
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoo
l
aege
latt
i
c
e_point
.
h: make sure
c
o
rr
e
ct evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice
_
point
.
cc: ad
d
cei
l
ing function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
u
t
i
l
.
c
:
internalize
ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
e
n
V
erdoolaege
lattice_point
.
cc: multi
_
monom/latt
i
ce_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ve
r
doolaege
d
o
c: clean up
"
exponential sub
s
titut
i
on" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoola
e
ge
test_bound
.
cc: a
v
oid loss of preci
s
ion
caused by
conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
erdool
a
ege
barvinok_bound: opt
i
onal
l
y
take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
oolaege
barvinok_b
o
und: add --ite
r
ate
o
p
t
i
o
ns for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
verify
.
c:
e
xp
o
r
t fun
c
tions fo
r
sett
i
n
g
an
d
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
verif
y
.
c: evalue_op
t
imum: allow computa
t
ion of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en V
e
rdoolaege
be
r
nstein
.
cc: ev
a
lue2ex: don't assume all per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bound
.
c
c: fix call to eva
l
ue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
V
er
d
oolaege
e{add,mul}_
p
eriod
i
cs: plu
g
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
evalue
_
ber
n
st
e
in_co
e
ff
i
cients: han
d
le problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaeg
e
update
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoola
e
ge
l
attice_width
.
c
: skip
directions tha
t
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Make
f
il
e
.
am
:
add cdd94e-te
s
t to
distribution
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdoolaeg
e
om
e
ga/occ: op
t
ion
a
lly use park
e
r
for
c
omputing
cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
normal
i
zation
.
c: skew_to_positive_orthant: p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: r
e
la
t
ion2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
g
e
oc
c
: add dump fo
r
d
umping in barvino
k
_enu
m
erat
e
_e
f
orma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
barvinok_enum
e
rate_e
:
optionally
u
se parker's
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
standard_c
o
nstrain
t
s: take constraints instead of polyhed
r
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
do
o
laege
normaliza
t
io
n
.
c:
e
x
t
r
a
ct standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoolaege
p
a
rker/
c
ount_solutions
.
c
c
: fi
x
treatm
e
nt of existenti
a
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolae
g
e
c
o
mpile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
euler
.
cc: evalue_de
r
ive:
handle constant
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
add so
m
e
test
s
ets from c
a
s
e
s
2004 an
d
cc
2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
rename
ba
r
v
inok_maximi
z
e to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add a tes
t
f
or test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdo
o
laege
evalue_range_
p
ropagat
i
o
n
: rem
o
ve redundant polynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
b
o
und: rec
o
rd number of polynomials as
"
siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
e
g
e
tes
t
_
b
ound: co
n
ver
t
quasipolynomial
s
to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
te
s
t_bound: c
o
m
p
are polyno
m
ial b
o
und a
l
gori
t
hms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
v
erify
.
c: opt
i
mum: handle i
n
pu
t
evaluating t
o
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ve
r
ify
.
c: extrac
t
ev
a
lue_optimum from
maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
v
e
rify
.
c
:
e
x
t
r
act common
c
ode for verifyi
n
g
o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue
_
ra
n
ge_propagation: a
d
d mo
n
o
t
o
n
icity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolae
g
e
barvin
o
k
_maximize: opt
i
onally use (basi
c
)
range
p
r
opagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Add some support for d
e
a
l
ing with evalues th
a
t represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
barvinok_e
n
ume
r
ate: s
u
pp
o
rt use of Eu
l
e
r
-Maclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
im
p
lement Bernoulli
_
s
um as conve
r
sio
n
from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
Bernoulli_sum_eva
l
u
e:
e
xploit
i
nteger bo
u
nds
to
reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
k
e
ep track of number of
Berno
u
lli su
m
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
bernoul
l
i
.
c: pro
t
ect shared ev
a
lue from
modific
a
t
i
o
ns
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoola
e
ge
test Bernoull
i
sums base
d
exact enumerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
b
a
rvinok_count
_
wit
h
_options:
c
ompute
(
e
x
act) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoo
l
aege
B
e
rnoulli_sum_eva
l
ue: optionally handle fr
a
ctional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
l
attice_point
.
h
:
export fractional_part with C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
barvinok_enumerate_wi
t
h_opt
i
on
s
:
compute (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli
_
sum
_
eva
l
u
e
: h
a
ndle equalit
i
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue:
cut off s
o
me redundant p
a
rt
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Bernoulli_sum_evalue: mak
e
sure
n
o empt
y
part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Berno
u
lli_sum_evalue: remove
r
e
dundan
t
cons
t
raint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
bernoulli
.
c
: min
o
r refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
Berno
u
lli_sum: h
a
ndle context constraint
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaeg
e
Bernoull
i
_
sum_eva
l
ue: m
a
k
e sure e
n
ough memory i
s
al
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
e
g
e
for_each_lower_u
p
per
_
bound: add another callbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
verify
.
c
:
adjus
t
d
e
f
ault ra
n
g
e
to context if
n
ee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
uler
.
cc: summate
_
o
ver_domain: o
n
ly c
o
nsid
e
r
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
param_util
.
c
: e
x
por
t
Para
m
_Vertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_F
a
c
et: pass f
a
ce
t
d
e
fining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
gen
f
un
.
cc: parall
e
l_polytopes
:
don't bother handl
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verd
o
olaege
eva
l
ue_split_do
m
ains_into_o
r
thants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_read: only a
l
low terms to
c
ross ne
w
l
i
ne
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
eval
u
e_rea
d
: only accept implicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
evalue_read: acc
e
pt
c
onstraints co
n
t
aining "
'
-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
eva
l
ue_b
e
rns
t
ein_coefficien
t
s: ensur
e
re
s
ult
p
a
r
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
aege
bernstein: pie
c
ewise_lst: correctly
p
rint and evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_a
l
l_equalities: keep re
m
oving parameter equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
doc: consi
s
t
ent u
s
e of Kevin'
s
initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
g
e
doc: update now pub
l
ish
e
d papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each_lower_upper_bound: allow a
b
senc
e
of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
Rev
e
rt "eadd_partitions: try
t
o
c
o
m
b
ine mul
t
ip
l
e d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition: put partitions
b
ack in
t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduc
e
_ev
a
lue: add
not
e
on some missed opportu
n
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
bernstein
.
c
c
:
handle input with unions + relation v
i
o
l
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdool
a
ege
maximize
.
cc
:
deal with unions
in input during verification
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
V
erdoolaege
evalue_substitute: pr
o
perly handle rela
t
ions
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue
.
c: c
l
ean up emul and ead
d
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoola
e
ge
e
v
alue_read:
c
or
r
ectly
r
e
a
d va
r
iab
l
e n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
e
v
alue
_
re
a
d: a
c
cept top level "r
e
lation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oola
e
ge
update po
l
ylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaeg
e
evalue
_
b
a
cksu
b
st
i
t
ute:
a
dd r
e
q
uired modulo cons
t
r
a
ints
commit
|
commitdiff
|
tree
2008-02-26
S
v
en Ver
d
oolaege
evalue
.
c:
*
_p
a
rtitions: si
m
plify constr
a
in
t
s be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n
V
e
rd
o
olaege
doc: more sp
e
cific
informat
i
on on
b
ugg
y
c
ddlib ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
S
v
en
Ver
d
oolaege
configure
.
in: require
c
d
d
lib 0
.
94
e
b
y
te
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
r
d
oolaege
configu
r
e
.
in: only compile
occ
i
f co
d
e_gen
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoolae
g
e
barvino
k
0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaege
a
dd some tes
t
s for implemen
t
ation of proj
e
ctio
n
theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
doc:
d
ocument new op
t
ions a
n
d
new ap
p
lic
a
t
ions
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdo
o
laege
AUTHORS: update support inf
o
rmation
commit
|
commitdiff
|
tree
next