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
Sven Ve
r
doolaege
b
a
rvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
add some test
sets from itsl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
d
o
c: ad
d
latest (a
c
cepte
d
) publ
i
cati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ve
r
d
o
olaege
M
a
k
efi
l
e
.
am: add
s
ection
_
array
.
h to distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
oo
l
aege
n
o
rmalization
.
c: com
p
ute_s
h
ifts: remove redun
d
an
t
return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
move Free_Pa
r
amNames polylib an
d
make param
n
ames c
o
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
oc
c
: add i
n
t
e
rface to ba
r
vino
k
_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
aege
ex_conv
e
r
t
.
cc
:
e
x
t
r
a
ct ex2eva
l
ue from ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc: document more -
-
summa
t
ion methods for barvinok
_
summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c:
re
n
ame "barvinok" summation method
t
o "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
Makefi
l
e
.
am: ch
e
ck-euler: also
check laur
e
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
ool
a
ege
su
m
mate
.
c: barv
i
nok_summate: handle products of p
o
l
y
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdool
a
ege
evalue
.
c: export evalue_reorde
r
_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
bernst
e
in:
n
u
meric2value:
f
ix typo to allow c
o
r
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
laege
u
t
il
.
c: F
a
ctor_C
o
ntext: extra
c
ted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
summate
.
c: barvinok_summate: i
g
nore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
evalue
.
c
: add evalu
e
_f
l
o
or2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoola
e
g
e
ome
g
a/oc
c
: print barvino
k
version
number
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n V
e
rdo
o
l
aeg
e
doc: update so
m
e references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
Mak
e
laurent based summation the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c:
b
arvino
k
_summat
e
:
h
andle
q
uasi-polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
reduc
e
_evalue: extrac
t
o
u
t evalue_reduce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Ver
d
oolaege
evalue
.
c: evalue_s
h
ift_variable
s
: allow
shift
i
ng of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
u
mmate
.
c:
h
andl
e
e
qualities
for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
s
u
mmate
.
c: barvinok_summat
e
:
mov
e
common
parts o
f
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalue
.
c:
evalue_sum:
m
ov
e
sign handling in
t
o esum_
o
ver_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
b
a
rvino
k
_e
.
c
c: enumerate
_
sum: use barvin
o
k_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
summate
.
c: extra
c
t ba
r
vinok_s
u
mmate fr
o
m barvino
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoo
l
aege
r
e
name summate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
evalue
.
c: reduce_
e
value: reduce
f
l
oor wit
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
e
rdool
a
ege
Add Laurent expans
i
on bas
e
d
s
ummation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
evalue
.
c
: ext
e
nd eeq
u
al t
o
h
a
ndle domains
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
e
r
doolaege
binomial
.
c: ex
t
ract
b
inomial and
f
a
c
t
orial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdo
o
l
aege
power
.
h
: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
introduce eva
l
ue
_
shift_va
r
iables
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdoolaege
lattice_poi
n
t
.
c
c:
export
r
e
l
ative
_
co
o
rdinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
l
attice_point
.
h:
m
ake sure co
r
rect ev
a
lues
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
eg
e
l
atti
c
e_point
.
c
c: add cei
l
ing function
commit
|
commitdiff
|
tree
2008-04-24
Sven
Verdoolaege
u
t
il
.
c: internali
z
e ug
l
y bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
erd
o
ola
e
ge
lat
t
ice_p
o
int
.
cc: mul
t
i_monom/lattice_points:
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven V
e
r
d
oolaege
doc: c
l
ean u
p
"exponential sub
s
titution" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
t
e
st_b
o
u
n
d
.
cc: avoid loss of pr
e
cision
caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barv
i
nok_bound: optiona
l
l
y
take
m
aximal siz
e
of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoola
e
ge
barvinok_
b
oun
d
: a
d
d --iterate op
t
ions for ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
ve
r
ify
.
c: export fu
n
ctions f
o
r setti
n
g a
n
d clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c: evalue_optimum: allow computation of opti
m
um
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
c
c
:
evalue
2
e
x:
don't a
s
sume al
l
per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
bound
.
c
c: fix cal
l
to evalu
e
_co
n
ve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdool
a
e
ge
e
{
ad
d
,mul}_peri
o
dics
:
plug memory
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
evalue_berns
t
ein_
c
oef
f
i
c
i
e
nts: han
d
le problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdool
a
e
ge
lattice_width
.
c:
s
kip
d
i
rectio
n
s
that ar
e
ide
n
t
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
Makefile
.
am: add c
d
d94e
-
test to dis
t
ribu
t
io
n
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Ve
r
doo
l
aege
omega/occ:
o
ptionall
y
use pa
r
ker for
comput
i
ng cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoola
e
ge
n
ormaliz
a
tion
.
c
:
skew
_
to_positive_orthant:
pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/convert
.
cc: relation2Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoola
e
ge
o
cc: add
d
ump for
dumping
i
n
barvinok
_
enumer
a
te_
e
forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
Verdoolae
g
e
barvin
o
k_enumera
t
e
_e:
o
p
t
ionally use pa
r
k
e
r's
meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
st
a
nd
a
rd
_
c
o
n
s
t
r
a
ints: take
c
onstraints instead of polyh
e
dro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: extract
standard_con
s
t
r
aints f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laeg
e
park
e
r/count_so
l
utions
.
cc: fix tr
e
atment of
ex
i
stential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verd
o
ol
a
ege
comp
i
l
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdool
a
ege
A
d
d par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eule
r
.
cc: evalue_deri
v
e: hand
l
e constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoo
l
aege
add some test
s
ets from ca
s
es 2004 a
n
d cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
oolaege
rename barvin
o
k_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
add a test for test_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
e
value_range_propagation: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
st
_
bound: re
c
ord number
of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: convert q
u
asipolynomia
l
s
to p
o
lyn
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare polynomia
l
bound alg
o
rithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
verify
.
c: optim
u
m: handle input ev
a
luating to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
verify
.
c: extra
c
t eva
l
ue_op
t
imum from max
i
mize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: extract common code
f
or verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
evalue
_
range
_
propaga
t
ion: add
m
o
notonic
i
ty
test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
barvinok_m
a
ximiz
e
:
o
ptio
n
all
y
us
e
(basi
c
) range
propagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdool
a
ege
Add some support for d
e
aling w
i
t
h e
v
al
u
e
s
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
ba
r
vinok_enume
r
ate: suppor
t
use of Eu
l
er-
M
ac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imp
l
ement Bernoulli_sum a
s
conversion from unw
e
ig
h
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolae
g
e
B
ernoulli_sum_e
v
alue:
e
xploit integer bounds to
r
ed
u
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
ke
e
p
t
rack of
n
u
mber o
f
Bernoulli
sums
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bernoulli
.
c: protect shared evalu
e
fro
m
modif
i
c
ation
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
t
est Bernoulli su
m
s ba
s
ed
exact
e
numeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_count_w
i
th_options: comp
u
te
(exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
Bernoulli_sum_evalue: optional
l
y ha
n
dle fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
oolaege
lattice_point
.
h: export f
r
actional_part with C l
i
nkage
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
ba
r
vinok_enumerate_wi
t
h_option
s
: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Be
r
n
o
ulli_s
u
m_evalue: handle
e
qua
l
itie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
Bernoull
i
_sum_e
v
alue: cut off some redunda
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
Ber
n
o
u
lli_su
m
_eva
l
u
e
:
m
ake sure no empty
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
Be
r
noulli_sum_e
v
a
l
u
e
:
r
emove redundan
t
constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
bernou
l
li
.
c: minor
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
Bernoulli_
s
um: handle context
c
o
nst
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
for_e
a
ch_lower
_
upper
_
bound:
a
dd another call
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
v
eri
f
y
.
c
:
a
djust defa
u
lt ran
g
e t
o
c
ont
e
xt if
n
e
ede
d
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
eule
r
.
cc: summat
e
_over_
d
o
m
a
in: onl
y
consider act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
param_util
.
c: export Pa
r
am_
V
ertex_Set_Fac
e
ts
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
Param_P
o
lyhedron_Facet:
p
ass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
g
enf
u
n
.
cc: parallel_polytopes: don't bot
h
er handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
ege
e
valu
e
_s
p
li
t
_domains_into_ort
h
ants: don't reduce eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
next