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.29
2008-05-04
S
ven
V
e
r
d
o
ola
e
ge
b
a
rvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdo
o
lae
g
e
add so
m
e
test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
doc
:
a
dd latest (accepted) pu
b
l
i
c
a
t
ions
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoo
l
aege
Makefile
.
am:
a
d
d
section_array
.
h to
d
istribu
t
ion
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
normalization
.
c: c
o
mput
e
_shift
s
:
remo
v
e redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
move Free_Pa
r
a
mNa
m
es pol
y
lib and mak
e
param names
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
occ
:
add int
e
rface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex
_
conve
r
t
.
cc:
e
x
tract ex2eva
l
u
e
from rang
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaege
doc:
d
ocument more
--summa
t
ion methods f
o
r barvi
n
ok
_
summ
a
te
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolae
g
e
options
.
c: re
n
ame "ba
r
vinok" summation method t
o
"
b
ox"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Make
f
ile
.
am: c
h
eck-e
u
ler: als
o
che
c
k laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
summate
.
c:
b
arvinok_summate: handle products of polytope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalu
e
.
c
: e
x
port evalue_reo
r
der_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
be
r
nstei
n
:
nu
m
er
i
c2value:
f
ix typo
to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
util
.
c: Factor_Context: extr
a
ct
e
d from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summate
.
c
:
barvinok_summate: ignore
f
loors in
d
ependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
ev
a
lue
.
c: add evalue_
f
lo
o
r2
f
r
a
c
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
aege
o
mega/
o
cc: print barvinok v
e
rsion
nu
m
ber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
doc: upda
t
e
some references
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
Make
laurent based s
u
mmati
o
n
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
sum
m
ate
.
c: barv
i
nok_summate: handle quasi
-
po
l
ynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaeg
e
reduce
_
e
v
alue: e
x
tract
o
ut
evalu
e
_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
ge
ev
a
lue
.
c: evalue_s
h
ift_
v
ariab
l
e
s
:
a
l
low shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
s
u
mmate
.
c:
h
a
n
dle equalit
i
es
f
o
r
a
l
l summat
i
on algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_summat
e
: move
common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
eval
u
e
.
c: e
v
alue_sum: move sign h
a
ndling i
n
to esum_ove
r
_
domai
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
b
a
r
vinok_e
.
cc: enu
m
erate_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Ver
d
oolaeg
e
summate
.
c: extract barvinok_su
m
mate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verd
o
olaege
rename su
m
mate
.
cc to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
value
.
c:
r
e
duce_e
v
a
l
u
e
: reduce f
l
oor wit
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
Add Laurent
e
xpans
i
o
n
b
a
s
ed
summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: e
x
t
end eequal to handle domains and NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
binom
i
al
.
c: extract binomial and
f
actorial
from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: ext
r
act from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
e
rdoolaege
i
ntroduce evalue_shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
lattic
e
_
point
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
rdoolaege
la
t
tice_point
.
h
:
make sure
cor
r
ect evalue
s
ar
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
lattice_point
.
cc
:
add
c
eiling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
util
.
c: i
n
tern
a
lize ugly bv_ceil
3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n
V
e
rdoolaege
latt
i
ce_poi
n
t
.
cc: multi_mon
o
m/la
t
ti
c
e_points:
r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoo
l
aege
doc: cl
e
an up "exponential substitu
t
io
n
"
secti
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bo
u
nd
.
c
c: av
o
id
l
oss of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
rvino
k
_bound: opt
i
onally tak
e
maxima
l
s
i
z
e of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdool
a
ege
ba
r
vinok_bo
u
nd:
add --iter
a
te options for
ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
verify
.
c: export fun
c
tions
f
or setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c: evalue_optim
u
m: al
l
ow c
o
mputat
i
on of op
t
imum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
b
er
n
stein
.
c
c
: evalue2ex: don't assume all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: fix call to
e
v
alu
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolaege
e{add,mul}_periodic
s
: plug
me
m
ory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
evalue_bern
s
tei
n
_coeff
i
ci
e
nts: handle proble
m
s w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoolaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolae
g
e
l
a
ttice_
w
idth
.
c: skip directions that
a
r
e
identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rd
o
o
l
aege
Makefile
.
am: a
d
d cdd94e-test to dist
r
i
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
e
r
doolaege
omega
/
occ
:
op
t
iona
l
ly use park
e
r for computi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
V
erdoolaege
no
r
malization
.
c
: skew_
t
o_posi
t
ive
_
orth
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
r
d
o
olaege
om
e
ga/convert
.
c
c
:
relation2
D
o
main: only collect
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
occ
:
a
dd du
m
p for
d
ump
i
ng
i
n barvinok_enumerate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n
V
e
rdoo
l
a
ege
barvinok_enumerate_e:
o
ptionally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
standard
_
constraints: t
a
k
e constraint
s
instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
normalizati
o
n
.
c: ext
r
ac
t
standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
pa
r
ker/count_solutio
n
s
.
cc:
fix treatment of ex
i
stentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdoolaege
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
A
d
d par
k
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
euler
.
cc: evalue
_
de
r
ive: handl
e
c
o
nstant
p
o
l
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdool
a
e
ge
add some test
set
s
from
c
a
s
es 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
rename barvinok_maximize t
o
barvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_ra
n
ge_
p
ropagation: remove redundant po
l
ynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
t
e
st_bound: re
c
ord number of polynomia
l
s as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test_
b
ound
:
c
o
nvert quasipolynomials to p
o
lynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
dool
a
e
g
e
test_bound: compa
r
e
p
olyno
m
ial bound
algori
t
hms
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
ve
r
ify
.
c:
optim
u
m: handle input evalua
t
ing to n
e
g
ativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ver
i
fy
.
c: ext
r
ac
t
evalue_optimum from maxim
i
ze
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
ver
i
fy
.
c
:
extract
com
m
on code
for v
e
rif
y
ing ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_rang
e
_propa
g
at
i
on
:
add monotoni
c
i
t
y te
s
t
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aeg
e
barvinok
_
max
i
mize:
optionally use (basic) range propa
g
ation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
s
om
e
support for dealing with evalues that re
p
resent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvi
n
ok_enume
r
ate: support use of
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
imple
m
ent Ber
n
oulli_s
u
m as conversion from
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oola
e
g
e
B
ernoulli_sum_evalue: ex
p
loit in
t
eger bo
u
nds to
red
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
kee
p
t
r
a
ck of
n
u
mber of
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
bernoulli
.
c:
p
r
o
tect sh
a
red
evalue from m
o
difications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
test Bernoulli su
m
s based exact enu
m
eration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oo
l
aege
barvinok
_
count_wi
t
h_options: compute (exact)
B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
sum_evalue: optiona
l
ly
h
a
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h
:
e
xport fractional_part wit
h
C
l
in
k
age
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
barvin
o
k_enumerate_with
_
options: comp
u
t
e
(
e
xact) Ber
n
o
ul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
Bernoulli_sum_eval
u
e: handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Ber
n
oulli_sum_evalu
e
: cut off some
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_
s
um_evalue: make sure no emp
t
y
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
ernoulli_sum_evalue: remove
redundant const
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaeg
e
bernoul
l
i
.
c
: mi
n
o
r refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaeg
e
B
erno
u
lli_sum
:
handle
context co
n
straints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_sum_
e
v
alue: make sure e
n
o
u
gh memory is all
o
cat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
for_eac
h
_lower_u
p
per_bound: add another c
a
llba
c
k for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c
:
a
djust def
a
ult
r
a
n
ge to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
euler
.
cc:
summ
a
te_over_domain:
o
nly consider a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
er
d
o
olaege
par
a
m_util
.
c:
expo
r
t
P
aram_Vertex
_
Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Param_Polyhedron_Facet: p
a
ss facet defining const
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
genfun
.
cc: pa
r
allel_polyt
o
pes
:
don't bother handling
.
.
.
commit
|
commitdiff
|
tree
next