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: handle products of polytopes for euler and laurent
2008-05-04
S
ven
V
e
rdool
a
ege
sum
m
at
e
.
c: barvin
o
k
_summate: han
d
le product
s
of poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaeg
e
ev
a
lue
.
c: expor
t
e
value_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bern
s
tein: numeric2value: f
i
x
t
yp
o
t
o allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
r
d
oolaege
u
t
i
l
.
c: Fact
o
r
_
Conte
x
t
:
extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
ummate
.
c
: barvinok
_
summate: ign
o
re floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
e
g
e
e
v
a
lue
.
c: add eval
u
e_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
ome
g
a/occ: pr
i
nt barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaeg
e
doc:
update some refe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdoolaege
Make laure
n
t
based summation the
d
efault
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoola
e
ge
summate
.
c: barvinok_summate: ha
n
dle qu
a
si-polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Ver
d
oolaege
r
educ
e
_evalue: extract out e
v
a
l
ue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoola
e
ge
eva
l
ue
.
c: evalue_shift_va
r
iab
l
e
s:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
su
m
m
a
te
.
c: ha
n
dle equalitie
s
f
o
r
a
ll su
m
ma
t
ion alg
o
ri
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c: ba
r
vi
n
ok
_
su
m
mate
:
m
o
v
e common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
evalue
.
c
: e
v
alue_
s
um:
mo
v
e
sign handling into e
s
u
m
_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
ol
a
e
g
e
barvinok
_
e
.
c
c
: enumerat
e
_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ve
r
dool
a
ege
summate
.
c: ex
t
r
a
ct
barvinok_su
m
m
a
t
e
fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename summate
.
cc to barv
i
nok
_
summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
re
d
uce_evalue: reduce floor w
i
th const
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ola
e
ge
Add Lauren
t
exp
a
n
s
io
n
based su
m
m
a
ti
o
n
commit
|
commitdiff
|
tree
2008-04-25
S
ven V
e
rdoo
l
aege
evalue
.
c: extend
eequal to hand
l
e domain
s
and
N
aNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdool
a
ege
binomia
l
.
c: extract bino
m
ial and
factori
a
l
fro
m
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
power
.
h: e
x
trac
t
from
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
ge
i
ntr
o
duce ev
a
lue_shift_variable
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Ver
d
oolaege
lattice_point
.
cc: ex
p
ort
r
e
lative
_
coordi
n
a
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
la
t
tice
_
poi
n
t
.
h: mak
e
su
r
e correct ev
a
lues are used
commit
|
commitdiff
|
tree
2008-04-24
S
ven V
e
rd
o
olaege
lattice_poi
n
t
.
c
c: a
d
d ceilin
g
function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
ut
i
l
.
c
:
inter
n
a
l
ize ugly bv
_
ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
lat
t
ice_point
.
cc: multi_monom/
l
attice_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
rdoo
l
aege
doc
:
clean up "exponen
t
ial substitut
i
on" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
t
e
st_bound
.
cc: avoid l
o
s
s
of p
r
ecisio
n
caused by conve
r
sion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
ba
r
v
i
n
o
k_bound: o
p
tionall
y
take maxim
a
l s
i
ze of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvinok_bound:
add --iterate opti
o
ns f
o
r
evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
verify
.
c
: e
x
por
t
func
t
ions fo
r
s
etting and cle
a
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_optimu
m
: allow co
m
p
u
t
a
t
ion of
opt
i
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernst
e
in
.
c
c
:
e
v
a
l
ue2
e
x
:
d
o
n
'
t assume all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
b
ound
.
c
c
: fix
c
all to evalu
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rd
o
olaege
e{add,mul}_periodics: plug memo
r
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
e
v
alue
_
bernstein_coefficients: handl
e
prob
l
ems wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n Verdoo
l
aege
lattice_wi
d
th
.
c
: s
k
ip directions that a
r
e i
d
e
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
V
e
r
d
oolaege
Mak
e
f
ile
.
am: add cdd
9
4e-test to
d
is
t
r
i
b
utio
n
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Ve
r
dool
a
ege
ome
g
a/occ: optionally use parker
f
or computing car
d
i
nality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normal
i
z
a
t
ion
.
c:
ske
w
_to_positive_
o
rthant:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaeg
e
omega/c
o
nvert
.
cc: rel
a
tion2Doma
i
n
: only
coll
e
ct s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump fo
r
dumping in barvinok_en
u
merate_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
barvino
k
_enume
r
ate_e: optionally
use p
a
rker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standa
r
d_constraints: take con
s
tra
i
nts
ins
t
ead
o
f
polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
ae
g
e
normaliza
t
ion
.
c: extra
c
t s
t
andard_c
o
nstrain
t
s
f
ro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
par
k
er/count_solutions
.
cc: fix treatment
o
f
exi
s
t
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoola
e
ge
c
ompile parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doo
l
ae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
euler
.
c
c
: evalu
e
_derive: handle
constant polynomi
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
s
ome test sets from cas
e
s
2004 and
cc
2
005
papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
rename barvinok_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
d
d
a test for
t
est
_
boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
e
val
u
e_r
a
nge_propa
g
ation: remove redun
d
a
n
t
polynomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: record nu
m
ber of p
o
l
y
n
o
mials as "siz
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test_bound: convert quas
i
poly
n
o
m
i
a
l
s to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_bound: compare polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ver
i
f
y
.
c
:
o
p
timum
:
ha
n
dle i
n
put evalu
a
ting to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
verify
.
c
:
extract eval
u
e
_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verify
.
c: extract
com
m
on
c
ode for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_range_propagati
o
n: a
d
d monoton
i
city test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_maxi
m
i
z
e
:
opti
o
n
a
lly u
s
e (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Add some sup
p
o
rt for dealing with evalues
that
r
ep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bar
v
i
n
ok_en
u
merate: su
p
port use o
f
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imple
m
ent Berno
u
lli_s
u
m as con
v
ers
i
on from
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_e
v
alue: exp
l
oit intege
r
boun
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
keep track of
n
u
m
ber of Bernoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
bernoulli
.
c: protect shared
e
valu
e
from m
o
dific
a
t
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
test Bernoulli sums based ex
a
ct enu
m
e
ratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaeg
e
bar
v
inok_count
_
wi
t
h
_
optio
n
s: compute (
e
xact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
o
l
a
ege
Bernoul
l
i_sum
_
evalue
:
opt
i
o
n
a
l
ly handle f
r
act
i
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
lattice_
p
o
in
t
.
h: export fractional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
ba
r
vi
n
ok_en
u
merate_w
i
th_op
t
i
o
ns: compute
(
e
x
act
)
B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalu
e
: handle equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue
:
c
ut off some redu
n
dant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eva
l
u
e
: make
s
ur
e
no
empty par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_ev
a
lue: re
m
ove redundan
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c
:
m
i
nor r
e
fa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
er
n
oul
l
i_sum: hand
l
e context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoul
l
i
_
su
m
_e
v
a
lue: make sure en
o
ugh mem
o
ry is alloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laeg
e
f
o
r_each_lower_up
p
er_bound: add another callba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ve
r
ify
.
c:
a
djust defa
u
lt
r
ange to cont
e
xt
i
f need
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
e
u
ler
.
cc: summate
_
over_dom
a
in: only consider ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param
_
util
.
c: ex
p
or
t
Param_
V
e
rtex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Pa
r
am
_
Polyhe
d
ron_Facet
:
pass facet defining
constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
g
enfun
.
cc: parallel_p
o
lyto
p
es: don't
b
oth
e
r
h
an
d
l
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ol
a
e
ge
e
v
alue_s
p
lit_domai
n
s_into
_
orthants: don
'
t
r
educe evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
eva
l
ue_read:
only allow te
r
ms
t
o cross newlines ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
eva
l
u
e_read: only a
c
cept implicit
m
u
l
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_read: accept constrai
n
ts containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eva
l
ue_
b
ern
s
tein_coefficien
t
s: en
s
u
r
e result
pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
be
r
ns
t
ein
:
piece
w
ise_
l
st: correct
l
y
p
rin
t
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_
a
ll_equalities:
ke
e
p
r
emoving
p
arame
t
er equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaeg
e
doc: consistent use of Kevin's
i
nitials
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
doc: u
p
date now publ
i
shed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoola
e
ge
for_each_lower_up
p
er_bound: all
o
w absence
of
lowe
r
.
.
.
commit
|
commitdiff
|
tree
next