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 some test sets from itsl2008 paper
2008-05-04
Sven Ve
r
doolaege
ad
d
some test sets from itsl2008
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
doc: ad
d
latest (accepted) public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am:
a
d
d section_array
.
h to
distr
i
bution
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
aege
norm
a
lization
.
c: compute_shi
f
t
s
: r
e
move redund
a
nt
retu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolae
g
e
move Free
_
ParamNames p
o
lyl
i
b and mak
e
pa
r
am name
s
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
ege
occ: add inte
r
face to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ol
a
eg
e
ex_conver
t
.
cc: extract ex2evalue from ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rdoolaege
d
oc: d
o
c
u
ment mor
e
--summation met
h
ods for barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erd
o
o
laege
opt
i
ons
.
c: rename "bar
v
in
o
k" summation
m
ethod to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ola
e
ge
M
a
k
efi
l
e
.
a
m
: check-euler: als
o
check
l
auren
t
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdool
a
ege
summate
.
c
: b
a
rvinok_summate: handle produ
c
ts
o
f pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
doolaege
e
value
.
c: export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ver
d
oolaeg
e
ber
n
s
tein: nu
m
e
r
i
c2val
u
e: fix typo to
a
llow correc
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
util
.
c: Factor_Con
t
ext: extracted fr
o
m barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
m
mate
.
c
: ba
r
vinok_summ
a
te: ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eva
l
ue
.
c: ad
d
e
v
alue_floor2
f
r
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
ool
a
e
g
e
omega/o
c
c
: pri
n
t barvino
k
ve
r
sion number
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
er
d
oolaege
doc
:
update some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
M
a
ke l
a
urent based summa
t
ion the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
su
m
mate
.
c
:
barvinok
_
summate: han
d
le quasi-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce_
e
value: extract
out evalue
_
redu
c
e_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
e
v
alue_shift_var
i
ables: a
l
l
o
w
s
hifting
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
summ
a
te
.
c
:
handle e
q
ualities for all s
u
mma
t
io
n
algo
r
ithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
s
u
mmate
.
c: barvinok_
s
umm
a
te: move common parts of
s
u
mmation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: evalue_sum: mo
v
e sign handling into esum_
o
v
e
r
_
d
o
main
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
barvin
o
k_e
.
cc: e
n
umerate_s
u
m: use barv
i
nok_
s
umm
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
u
mmate
.
c:
extract b
a
rvi
n
ok_
s
u
m
m
ate from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename summate
.
cc to b
a
rv
i
nok_su
m
mate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
evalu
e
.
c: re
d
u
c
e_ev
a
lue:
re
d
uce floor with
constan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
Add Laurent expansion based s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
evalue
.
c: extend
eeq
u
al to h
a
n
dle
d
oma
i
ns and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
erd
o
olae
g
e
binomial
.
c: extract bin
o
mia
l
a
nd factori
a
l from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
p
o
wer
.
h: ext
r
ac
t
from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
d
oolaeg
e
i
n
t
rod
u
ce evalu
e
_
sh
i
ft
_
variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
rdoolaege
lattice_point
.
cc: e
x
port relat
i
ve_coordinat
e
s
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
lattice_point
.
h
: make sure correct evalues
a
re use
d
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n Verdoola
e
ge
lat
t
ice_point
.
cc: add ceiling
f
unct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c:
i
nternalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
ae
g
e
l
attice_point
.
cc: multi_
m
ono
m
/lattice_point
s
: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Ver
d
ool
a
eg
e
doc: clean up "e
x
ponential
substitu
t
ion" section
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
te
s
t_bo
u
n
d
.
cc: a
v
oid loss of preci
s
i
on cau
s
e
d by
convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erdoo
l
a
ege
barvinok_bound: optionally take maximal size
o
f d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oolaege
barvi
n
o
k_bound: add -
-
i
t
erate options for
e
valuating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verify
.
c:
ex
p
ort functions for setting and clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doolaege
veri
f
y
.
c:
e
val
u
e_o
p
t
imum: allow computa
t
ion of o
p
t
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laeg
e
bernstein
.
cc: evalue2ex: don't a
s
sume a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bo
u
nd
.
c
c:
f
i
x
c
a
ll to e
v
alue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
e{ad
d
,mu
l
}_p
e
riodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_b
e
rnstein_coe
f
ficients: ha
n
d
le problems
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdool
a
e
ge
update
polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
V
e
rdoolaege
lattice_widt
h
.
c
: skip
d
irec
t
io
n
s
tha
t
are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Ve
r
doolaege
Makefile
.
am
:
add cdd
9
4e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaeg
e
omeg
a
/occ
:
o
p
tionally use park
e
r
for
computing ca
r
dinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaeg
e
normaliza
t
ion
.
c: ske
w
_t
o
_po
s
itive
_
orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
dool
a
e
g
e
omega/c
o
nvert
.
cc:
relat
i
o
n
2Domain:
only c
o
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
occ: add dump for dumping in
b
a
r
v
i
nok_
e
numerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verdoolaege
barvi
n
ok_enumerate_e: optionally use park
e
r's met
h
od
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Ver
d
oola
e
g
e
s
t
a
ndard_constraints: take co
n
st
r
ain
t
s
ins
t
e
a
d of
p
ol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normali
z
a
t
ion
.
c: e
x
tract standard_constra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoola
e
ge
pa
r
ker
/
c
ount_
s
olu
t
ions
.
cc:
fix treatment
o
f
ex
i
st
e
ntiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n
Verdoolaege
compile park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ad
d
parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
cc: evalue_derive:
ha
n
dle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
add som
e
t
e
s
t sets fro
m
cas
e
s 2004
a
nd cc 2005 pape
r
s
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
laege
rename barvinok_maxi
m
ize to b
a
rv
i
nok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a te
s
t fo
r
test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
ev
a
lue_range_pr
o
p
a
gation
:
r
emove
r
e
d
un
d
ant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolaege
test_bou
n
d: r
e
cord n
u
mb
e
r o
f
polynomi
a
ls
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_
b
ound: convert quasipolynomials
t
o
p
o
lyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
tes
t
_bound:
compare po
l
ynomi
a
l bound al
g
orith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: optimum: handl
e
input
evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
verify
.
c
: ext
r
act evalue_op
t
imum from max
i
mi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
veri
f
y
.
c: extract
c
om
m
on c
o
de for verifying operati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalu
e
_ra
n
ge_propagation: add mon
o
tonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
ege
barvinok_maximize: optionally use (basic)
r
ange pr
o
p
a
g
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some supp
o
rt
for
d
e
a
ling
w
ith e
v
alues tha
t
r
e
present
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
barvinok
_
enumerate: support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
i
m
plement Bernoulli
_
sum as conve
r
sion from unweighte
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rn
o
ulli_
s
um_evalue: exploi
t
integer
b
o
u
n
ds to red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
keep trac
k
of n
u
mber of
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
V
er
d
oolaege
b
ernou
l
li
.
c: protect shared evalue
f
rom
m
odificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test B
e
rnoulli sums base
d
ex
a
ct
enume
r
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvi
n
ok
_
c
ount_wi
t
h_
o
ptions:
c
ompute
(
exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Ber
n
oull
i
_sum
_
evalu
e
:
o
ptionally han
d
le fracti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rd
o
olaege
lattice_po
i
n
t
.
h
: export frac
t
ion
a
l_part with C lin
k
age
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
olaege
ba
r
vinok
_
en
u
merate_with_options: compute (exac
t
) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ol
a
ege
Bernoul
l
i
_
sum_evalue:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
Bernoulli
_
s
u
m_evalue: c
u
t
off some redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
Bernoulli
_
sum_evalue:
m
ak
e
s
u
re no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
Bernoulli_sum_evalue: remove
red
u
ndant constr
a
in
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
erno
u
lli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
Bernoulli_sum: hand
l
e context c
o
nstr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
for_each_lowe
r
_upper_bound
:
add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
verify
.
c: adjust default range
t
o cont
e
x
t
i
f
n
ee
d
e
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
ler
.
cc: summa
t
e_over_domain: on
l
y consider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
param_
u
til
.
c: expor
t
P
aram
_
Vertex_Se
t
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
e
g
e
Par
a
m_Pol
y
hed
r
o
n
_Facet: pass facet de
f
in
i
ng constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
e
g
e
genfu
n
.
cc:
p
ar
a
llel_p
o
lytopes:
don't both
e
r
hand
l
ing
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
lae
g
e
e
value_split_domains_int
o
_orthants:
don't reduce ev
a
lu
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eva
l
u
e
_read: only allow terms t
o
c
r
oss
n
ewlin
e
s inside
.
.
.
commit
|
commitdiff
|
tree
next