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
Makefile.am: check-euler: also check laurent
2008-05-04
Sven Verd
o
o
l
a
e
g
e
Make
f
ile
.
am: check-eul
e
r: also
check
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c
:
bar
v
i
n
ok_summate: handle pro
d
ucts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
evalue
.
c: ex
p
or
t
evalue
_
reorde
r
_
terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
ola
e
ge
b
e
rnstein:
n
umeric2va
l
ue: fix typo
to all
o
w correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaeg
e
ut
i
l
.
c: Factor_Context: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c: bar
v
ino
k
_summate: i
g
nore floors indepe
n
dent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/occ:
print barvin
o
k version
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
doc: update
s
ome ref
e
rences
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
la
e
g
e
Make l
a
urent
ba
s
ed summation the def
a
u
lt
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olae
g
e
s
u
m
ma
t
e
.
c: b
a
rvinok_summate: handle quas
i
-p
o
lyn
o
mi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
r
e
duce_evalue: extrac
t
o
u
t
evalue
_
reduce_si
z
e
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
evalue
.
c
:
evalue_shift_variab
l
es: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
summate
.
c
: h
a
ndle equalities for all summation al
g
o
r
ithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
ol
a
ege
s
u
mmate
.
c
: barvinok_summate: move common
p
arts of s
u
m
mati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n V
e
r
d
o
olaege
e
v
alue
.
c: evalue_
s
um: mo
v
e s
i
gn hand
l
ing
i
nto esum_
o
v
er_domai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
ba
r
vi
n
ok_e
.
cc
:
enu
m
erate_sum
:
use barvinok_su
m
m
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Ve
r
doolae
g
e
summate
.
c
: extract barvinok_summate f
r
o
m
barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doo
l
aege
rename sum
m
ate
.
cc to barvino
k
_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolae
g
e
evalue
.
c: reduce_e
v
a
lue:
reduce
f
loor with
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oola
e
ge
Add L
a
u
r
e
nt expansion based
summati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend eequal to han
d
le doma
i
ns and
N
a
N
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verd
o
olaege
bino
m
i
a
l
.
c:
e
xtract b
i
no
m
ial
a
n
d
f
actoria
l
from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
la
e
ge
powe
r
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduce ev
a
lue_shift
_
variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
lattice_poi
n
t
.
cc: export rela
t
ive_c
o
ordina
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolae
g
e
lattice_po
i
nt
.
h: mak
e
sure correct
evalues are
u
sed
commit
|
commitdiff
|
tree
2008-04-24
Sven Ver
d
oolae
g
e
lattice_point
.
cc: add ceiling
fun
c
tion
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoo
l
aege
util
.
c: internalize
ugly bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en V
e
rdoo
l
ae
g
e
l
a
ttice_point
.
cc
:
mult
i
_monom
/
lattice_p
o
ints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoo
l
aege
doc: cl
e
an up "expon
e
ntial
substit
u
tio
n
" se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
eg
e
tes
t
_bou
n
d
.
cc: avo
i
d
loss of p
r
eci
s
ion caused by co
n
version
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvi
n
o
k
_bound: optional
l
y take
m
aximal size of domain
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoo
l
aege
barvinok_
b
ound:
add --iterate o
p
tion
s
f
or evaluatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
verify
.
c: e
x
po
r
t function
s
for setting and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
verif
y
.
c: ev
a
lue_optimum: allow computation of
o
p
timu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
ber
n
stein
.
cc:
evalue2ex: don'
t
assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
ge
bound
.
cc
:
fix c
a
ll t
o
eval
u
e_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
e{add
,
mul}_periodics: plu
g
me
m
o
ry leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
ol
a
ege
evalue_be
r
nstein_coefficients: handle
p
roblems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
Verdoolae
g
e
lattice_width
.
c: skip directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verd
o
o
laege
M
ak
e
file
.
am
:
ad
d
cdd94e-tes
t
to
d
i
stri
b
utio
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
omega/occ: o
p
tionally u
s
e parker for computin
g
cardina
l
ity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: skew
_
to
_
posit
i
ve_orthant: properl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/convert
.
cc: relation2Domain: on
l
y c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
oc
c
:
a
d
d
dump for
d
umping i
n
bar
v
inok_enumerate
_
e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
b
a
rvinok_enumer
a
te_
e
: option
a
l
ly use parke
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
st
a
ndard_const
r
ain
t
s: take constraints i
n
stead
o
f polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: extrac
t
standard_c
o
nstraint
s
fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
la
e
ge
parker/count_solution
s
.
cc: fix tr
e
a
t
me
n
t
of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc
:
evalu
e
_derive:
h
andle co
n
stant polynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
add
som
e
test sets
f
rom c
a
ses 2004 and cc 2005 pa
p
ers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
rename barvi
n
ok_maximize t
o
barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
laege
e
valu
e
_range_pro
p
a
gatio
n
:
remove redundant po
l
yno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
te
s
t
_
bound: record number of polynomials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olae
g
e
test_bound: c
o
nvert
q
u
a
sipolynomials
t
o polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test
_
bound: compare po
l
ynomial bound algorithm
s
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
e
r
d
ool
a
ege
verif
y
.
c: optimum: handle
i
nput
e
v
aluating to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract evalu
e
_optim
u
m
f
rom maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
erify
.
c: extr
a
ct
comm
o
n code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_r
a
nge_pro
p
agati
o
n:
a
dd monotonicity
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arv
i
nok_
m
aximize: optionally use (ba
s
i
c
)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
do
o
laege
Add some support for dealing with evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
barvinok_enumer
a
t
e
: support use of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
imple
m
ent
B
ernoulli_sum
a
s
con
v
ersion from unweigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Bernoulli_sum_evalu
e
: exploit
intege
r
boun
d
s to
red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep
t
rack of n
u
m
ber of Ber
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
bernoulli
.
c
:
protect sha
r
ed evalue from
modi
f
icati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
test Bernoulli
sum
s
based exact
enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
b
arvin
o
k_count_with_optio
n
s
: compute (exa
c
t)
B
e
rn
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
Bernoulli_sum_evalu
e
: op
t
ionally handle fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
lattic
e
_po
i
nt
.
h: e
x
port f
r
ac
t
ional_part with
C
li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok_enumerate_with_
o
pti
o
ns: co
m
pute
(exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_eva
l
ue: handle equ
a
lities
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoolaege
Be
r
n
o
ulli_sum_
e
value: cut
off some
redundant
p
ar
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum_evalu
e
:
m
ak
e
s
ure no
e
mpty par
t
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
Bernoull
i
_sum_e
v
al
u
e
:
r
emove r
e
d
u
ndant constrai
n
t in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
bernoulli
.
c: minor r
e
fa
c
t
o
ring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
B
e
rnoulli_sum:
handle context co
n
stra
i
nts
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
for_each_lower_uppe
r
_bound: add another callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
ve
r
ify
.
c: a
d
jus
t
default range t
o
context
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ola
e
ge
eu
l
e
r
.
cc: summate_ove
r
_domain: o
n
ly consider act
u
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_util
.
c: ex
p
o
rt Param_Vertex_
S
et_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Param_Po
l
yhedron_Facet: pass f
a
cet de
f
inin
g
const
r
a
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
genfun
.
cc: parallel_p
o
lytopes: don't bot
h
er handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ev
a
lu
e
_split_domains_into_orthants
:
d
o
n't redu
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_
r
ead: only
a
llow t
e
r
m
s to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
evalue_read: only
a
c
ce
p
t
i
m
plicit multiplicati
o
n on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
evalue_read
:
acc
e
pt cons
t
ra
i
n
t
s
c
ontai
n
ing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
v
alue_bernstein_co
e
ffic
i
ents: ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
aege
bernstein:
pie
c
ewise_
l
st: correct
l
y pri
n
t and
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoo
l
aege
r
emove_all_e
q
ualities: keep r
e
m
ovin
g
pa
r
ame
t
er
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoo
l
aege
upda
t
e p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
d
o
c:
consistent use
o
f Kev
i
n's initia
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
do
c
: update
now publish
e
d
papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaeg
e
for_each_lower_upper_boun
d
:
allow absence of lower
.
.
.
commit
|
commitdiff
|
tree
next