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
barvinok 0.27
2008-05-04
S
v
en Verdoolaege
barvi
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
add s
o
me test set
s
from itsl
2
008 pa
p
er
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rdoolaege
doc
:
add lat
e
st (acc
e
pt
e
d) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
Mak
e
file
.
am: add se
c
tio
n
_array
.
h to distributi
o
n
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
normalization
.
c: co
m
pute_shifts:
remove r
e
dundant
re
t
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move F
r
ee_ParamNames polylib and make param
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoolaege
o
c
c: add interface to barvino
k
_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolae
g
e
ex_convert
.
cc: extract ex2eval
u
e
from
range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoo
l
ae
g
e
doc: document more --sum
m
a
tio
n
m
ethods
f
o
r barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdoolaege
options
.
c: re
n
a
me
"
barvinok" summation method
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: check-euler: also
ch
e
c
k
laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
s
u
mmat
e
.
c:
barvinok_su
m
mate: handle products of p
o
lytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
e
g
e
evalue
.
c
:
export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein:
n
ume
r
ic2value: fix typo to allow c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
util
.
c: Fact
o
r_Context: extracted fr
o
m b
a
r
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
summa
t
e
.
c: barvinok_
s
ummate
:
ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: add e
v
alue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaeg
e
omega/occ:
p
rin
t
bar
v
i
n
ok ver
s
ion nu
m
ber
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdool
a
ege
doc: updat
e
some refere
n
c
e
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
oolaege
Make laurent
b
a
s
ed su
m
m
a
t
i
on the defaul
t
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolae
g
e
s
u
mmate
.
c: bar
v
inok_s
u
mm
a
te: handle qua
s
i-p
o
lyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdo
o
l
a
ege
red
u
ce_e
v
a
l
ue
:
extract
out evalue_re
d
uce_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
oola
e
ge
e
va
l
ue
.
c: e
v
alue_sh
i
ft_variab
l
es: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
s
u
mma
t
e
.
c: handle equalities for all summation algorit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summate: move com
m
on parts of su
m
m
atio
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalue
.
c
:
eval
u
e_sum
:
move si
g
n ha
n
d
ling into esum_over_doma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
a
rvin
o
k_e
.
cc: enumerate_s
u
m: us
e
barvinok
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summate
.
c:
e
x
tract bar
v
i
n
o
k_s
u
mmate fro
m
ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
rename summate
.
cc to barv
i
nok
_
summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
evalue
.
c
:
re
d
uce_evalue: red
u
ce floor with
c
onstan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
aege
Add La
u
rent exp
a
ns
i
on based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoola
e
g
e
evalue
.
c
:
extend ee
q
ual to handl
e
domain
s
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ve
r
doolaege
binomial
.
c: extract binomial and factorial fr
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
p
ower
.
h: ex
t
r
a
c
t from
e
u
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaeg
e
introd
u
ce evalue_shif
t
_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoo
l
ae
g
e
l
attice_point
.
cc: export re
l
ative_coo
r
d
inates
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
latti
c
e_point
.
h: make
s
ure correct eva
l
ue
s
are us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
lat
t
i
c
e
_poin
t
.
cc: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
u
til
.
c:
i
nternaliz
e
ugly bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
erdoolae
g
e
lattice_poi
n
t
.
cc: multi_m
o
nom/latti
c
e_points:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
r
d
oolaege
doc: clean
u
p "exponential
subs
t
itution" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdo
o
l
aege
te
s
t_bou
n
d
.
cc: avoi
d
loss of pre
c
ision cau
s
ed by convers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolae
g
e
barvinok_bound: optiona
l
ly take ma
x
imal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Ver
d
o
o
laege
ba
r
v
i
n
ok_bou
n
d: add --iterate opt
i
o
ns for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoo
l
aege
verify
.
c: export functions f
o
r
s
etting and c
l
ea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oo
l
aege
verify
.
c
:
eval
u
e_optim
u
m: allow
computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
o
laege
bernstein
.
cc: evalue2ex: don't
a
ssume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc:
fix call to e
v
alue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
ola
e
ge
e{add,mul}
_
p
eriodi
c
s: plug
m
emor
y
lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
er
d
oolaege
evalue_bernstein_coefficients: handle problems
wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
lattice_width
.
c
: skip d
i
r
e
ctions that
a
re
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven
Verd
o
olaege
Makefile
.
am: add cdd94e-test to dis
t
ribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
doo
l
aege
omega/o
c
c: optionally use
p
a
r
k
er for c
o
mp
u
ting cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
ormalization
.
c: skew_to_positive
_
orthant:
properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
er
d
oolaege
o
mega/conve
r
t
.
cc: relat
i
on
2
D
o
main: only colle
c
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
occ:
a
dd dump for dumping in barvinok_e
n
umerate_e format
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdool
a
ege
barvi
n
ok_enumerate_
e
: optionally use p
a
rker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_co
n
strain
t
s:
t
a
ke constrain
t
s inst
e
ad
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
normalizat
i
on
.
c: extra
c
t
s
tanda
r
d_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
olaege
parker/count_solutio
n
s
.
cc: fix
t
reatment of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
c
o
mpi
l
e parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add p
a
rker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
e
uler
.
cc: evalue_derive: handle consta
n
t polyn
o
mials
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
er
d
o
olaege
add som
e
test s
e
ts from
case
s
2004
and cc 2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
ren
a
me bar
v
inok_maximize
to bar
v
inok
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ad
d
a
test for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
g
e
e
v
al
u
e_range_propagation: rem
o
ve
redundant p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bou
n
d: record number of p
o
lyn
o
m
ials a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
laege
test
_
bound: convert quas
i
polynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoo
l
aege
test_
b
o
u
nd: compare polynomial bound
a
lgorit
h
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: handle input eval
u
ating to negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
verify
.
c:
e
xtrac
t
evalue_o
p
ti
m
um from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c:
e
xt
r
a
ct common code for verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_ran
g
e_prop
a
g
a
ti
o
n: add
m
onoton
i
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_maximi
z
e: o
p
tionally use (b
a
sic) ra
n
g
e pr
o
pag
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Add s
o
me support for dealing wit
h
e
v
a
lues
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolae
g
e
barvinok_enumerate
:
support use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
implement B
e
rnoulli_sum as
c
onversion
f
rom unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
B
ernoull
i
_s
u
m_evalue
:
e
xploi
t
i
ntege
r
boun
d
s
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
keep tr
a
ck of numb
e
r of Be
r
noull
i
sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doolaeg
e
bernoulli
.
c:
pr
o
tect shared evalue from modi
f
i
cation
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
test B
e
rn
o
u
lli
s
u
m
s based exact enum
e
rat
i
on
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
b
a
rvinok_cou
n
t_with_opt
i
ons: compute (exact)
B
ernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum_e
v
a
lue: opti
o
na
l
ly
handle
f
r
a
ct
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: e
x
p
ort fracti
o
nal_part with C li
n
ka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
barvinok
_
enume
r
ate_wit
h
_
options
:
compute (exact) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_ev
a
l
u
e: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Bernoulli_s
u
m_evalue:
cut o
f
f so
m
e r
e
dunda
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum_eva
l
u
e: make
s
ure no empty pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
Bernou
l
l
i_su
m
_evalue:
remove redundant constr
a
int
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
be
r
noulli
.
c
:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
Bernoulli_sum: handle cont
e
xt constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
for_each
_
l
owe
r
_upper_bound:
a
d
d anoth
e
r callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
veri
f
y
.
c: adjust default range to context if neede
d
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
euler
.
c
c
: summate_o
v
e
r_do
m
ain:
o
n
ly
consi
d
er
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
pa
r
a
m
_
u
til
.
c: exp
o
rt P
a
ram_V
e
rte
x
_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
P
a
ram_Pol
y
hedron_Facet: pass
facet
d
efinin
g
co
n
s
tra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
genf
u
n
.
cc:
p
a
rallel_pol
y
topes:
d
o
n
'
t both
e
r handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
va
l
ue_split_
d
omains_into_orthants: don't redu
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
next