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
e
rdoolaege
summate
.
c: barvin
o
k
_
summate: ig
n
ore
f
loors indepen
d
en
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoola
e
ge
e
v
alu
e
.
c: add
evalu
e
_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
ome
g
a/
o
cc: print barvin
o
k vers
i
on number
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
doc: update some references
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
Mak
e
laurent ba
s
ed summation the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summ
a
te: handle quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
o
olaege
reduce
_
evalue:
e
xtract out eva
l
ue
_
red
u
c
e
_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
evalue
.
c: evalue_shift_va
r
iables:
a
l
l
o
w
sh
i
fting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: handle
equalities for all
sum
m
ation
a
lgorithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
l
a
ege
summat
e
.
c: barvinok
_
su
m
mate
:
move commo
n
p
a
rts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoo
l
aege
evalue
.
c: evalu
e
_sum: move sign
handling into esum_o
v
er_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
e
ge
barv
i
nok_e
.
cc: enumerate_
s
um: use barvinok_su
m
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
su
m
m
a
te
.
c: ext
r
a
ct barvinok_summa
t
e fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
rename summate
.
cc to barvinok_summ
a
t
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c:
reduce_evalue: red
u
ce f
l
oor with cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
Add Laurent
e
xpansio
n
ba
s
ed summation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
eva
l
ue
.
c: ext
e
nd e
e
qual
t
o handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ver
d
oolaege
binomia
l
.
c
: extract
binom
i
a
l a
n
d f
a
ct
o
rial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
do
o
laege
power
.
h: e
x
tract fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
introduce ev
a
lu
e
_shif
t
_
vari
a
bl
e
s
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdo
o
l
aege
lattice
_
point
.
cc:
e
x
p
o
rt relative_co
o
r
d
inates
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoo
l
aege
latt
i
ce_point
.
h: m
a
ke
s
ure
correct evalu
e
s are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
c
c
: add ce
i
ling
f
u
n
ction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
util
.
c: internalize ugly b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en V
e
rd
o
olaege
latt
i
ce
_
point
.
cc: multi_monom/lattice_poi
n
ts: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven
V
er
d
ool
a
e
ge
doc: cl
e
an up "exponent
i
al subst
i
tution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
d
oola
e
ge
test_
b
ound
.
cc: avo
i
d
loss
o
f pr
e
c
i
sion caused b
y
co
n
versi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: optionally
take maximal size
o
f domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaeg
e
bar
v
inok_bound:
add
-
-
itera
t
e
options
for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
do
o
l
a
e
ge
verify
.
c: e
x
port functions
fo
r
setting and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
e
rify
.
c: evalue_optimum:
a
llow computation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
d
oolaege
be
r
nst
e
in
.
cc: evalue2ex: don't assume
a
ll peri
o
d
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
olaege
b
o
und
.
cc: fix call t
o
evalue_conver
t
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
e
r
d
oolae
g
e
e{add,mul}_
p
e
riodics: pl
u
g me
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_ber
n
stein_c
o
efficients: handle
p
r
oblems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Verdoolaeg
e
latti
c
e
_w
i
dth
.
c: skip directions that are ide
n
tical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdo
o
lae
g
e
Makefile
.
am: ad
d
cdd94e-tes
t
to distribution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
d
o
olaege
omega
/
occ: opt
i
onal
l
y use parker
f
or computing cardina
l
it
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalizatio
n
.
c
:
skew_to_positive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
omega/convert
.
cc: relation
2
Domain: only
c
o
l
l
ect
s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
occ: add dump f
o
r d
u
mping in
b
a
r
vinok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
bar
v
inok_enume
r
a
t
e_e: option
a
ll
y
use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
o
olaege
standard_const
r
aint
s
: take constr
a
ints ins
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaeg
e
normal
i
zation
.
c
:
extract s
t
a
n
dard_constr
a
ints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n
V
e
rdoolaege
par
k
er/c
o
unt_s
o
lutions
.
cc: fix tre
a
tme
n
t of
existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoo
l
aege
c
o
mpil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erd
o
olaeg
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
euler
.
cc:
e
value_derive:
h
and
l
e c
o
ns
t
ant polynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ad
d
so
m
e
t
est
se
t
s fr
o
m cases 20
0
4 and cc 200
5
p
apers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
ren
a
me barvi
n
ok_maximize to
b
arvi
n
o
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
add a test
fo
r
test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
evalue_rang
e
_
p
ro
p
a
g
ation: remo
v
e redunda
n
t polyn
o
mial
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
ae
g
e
t
es
t
_bound:
r
ecord
number of polynomials as "
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
bound: convert quasi
p
olynomials t
o
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
tes
t
_bound: compare polynomial bound algo
r
ithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ve
r
ify
.
c
:
optim
u
m:
h
andl
e
i
npu
t
eva
l
u
a
t
i
ng to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c: extract evalue_optimum from maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdo
o
laege
verify
.
c: extra
c
t common code fo
r
verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_range_
p
rop
a
gation: add mo
n
otonic
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoola
e
ge
b
arvinok_ma
x
imize: opti
o
n
a
lly use (basi
c
) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
dd
some support for dealing with e
v
a
lues that r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvi
n
ok_enu
m
erate: support
us
e
of Euler-
M
aclau
r
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
implement B
e
rnoull
i
_sum as
conversi
o
n fro
m
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_eva
l
ue: e
x
pl
o
it inte
g
er
boun
d
s to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
eep
track of number of Be
r
noul
l
i
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
ege
b
e
rnoulli
.
c
:
protect shar
e
d evalue from modificat
i
on
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
tes
t
Ber
n
oulli sums
ba
s
ed
exact enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
barvinok_count_with_options:
c
ompute (exact)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Bernoulli_sum_eva
l
ue: o
p
tionally handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
lattice_poin
t
.
h:
export
f
ractional_part
w
ith C l
i
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
bar
v
inok_
e
numerate_with
_
op
t
ions: compute
(exact) Be
r
nou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_
e
value
:
h
andle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Ver
d
oolaege
Ber
n
oulli_sum
_
ev
a
lue: cut off
s
o
m
e redundant p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Be
r
noulli_s
u
m_evalue:
m
ake
sure
no empty
par
t
itions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdo
o
laege
B
e
r
noulli_sum_evalu
e
: remove redunda
n
t
c
on
s
traint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c: minor
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oo
l
ae
g
e
Bernoulli_sum: handle context c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aeg
e
for_each_lower_upper_bound: add a
n
o
t
her callbac
k
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ver
i
f
y
.
c:
adj
u
st defa
u
lt r
a
n
g
e
t
o contex
t
if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
e
u
ler
.
cc: summate_ove
r
_domain: on
l
y
c
ons
i
der actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
do
o
laege
param_util
.
c: export Param_Vertex_Set
_
Facet
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
o
laege
Pa
r
am_Poly
h
edro
n
_
F
a
c
et:
p
a
ss
f
acet defining constrain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
genfun
.
cc:
parallel
_
polytopes: do
n
't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eval
u
e_split_dom
a
ins
_
into_o
r
thants: don't
r
educe
e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
e
rdool
a
ege
e
va
l
ue_read: only
allow terms to cross new
l
ines
i
nsi
d
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
alue
_
r
e
ad: onl
y
accept implici
t
multip
l
i
c
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
ev
a
lue_read: acce
p
t co
n
straints conta
i
ning "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
eval
u
e_bernste
i
n_co
e
fficients:
ensure re
s
ult partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
ola
e
ge
bern
s
tein:
piecewise_lst: corr
e
ctly print
a
nd evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
re
m
ove_al
l
_equalities: keep r
e
m
ovin
g
pa
r
ameter equali
t
ie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolae
g
e
update polyli
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaeg
e
doc: consistent use of Kevin's
i
n
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
doc:
u
pdate now pu
b
lished p
a
pers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verd
o
ola
e
ge
for_each_lowe
r
_upper_bound: allow ab
s
en
c
e
o
f
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en V
e
rdoolaege
Revert
"
eadd_partitions: try
t
o combine multi
p
le domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_partition: put
partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalu
e
:
reduc
e
_
evalue: add
n
ote on some missed op
p
o
r
tunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
b
ernstein
.
cc: ha
n
dle input wit
h
unions + relation vi
o
lated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoo
l
aege
ma
x
imize
.
cc: deal with
u
nions in inpu
t
during verification
commit
|
commitdiff
|
tree
next