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
Verdoola
e
ge
barv
i
nok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolae
g
e
add
s
ome test sets f
r
om itsl200
8
pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc:
a
dd l
a
test (
a
c
ce
p
ted) publ
i
ca
t
ions
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
Makef
i
le
.
am
:
add
se
c
tion_array
.
h
t
o dis
t
r
i
bution
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdo
o
la
e
g
e
norm
a
l
i
z
ation
.
c: c
o
m
pu
t
e_shif
t
s:
r
emove redu
n
d
a
nt return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
o
l
aege
m
o
ve
Free_Par
a
mNames polyl
i
b and make par
a
m names
const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
occ: add inte
r
fa
c
e to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
V
erdoo
l
aege
ex_convert
.
cc:
e
xtract ex2evalu
e
from ra
n
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
doc: docume
n
t
m
ore --summation
metho
d
s
f
or
b
a
rv
i
n
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
options
.
c: renam
e
"barvin
o
k" summation method
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefi
l
e
.
am: check
-
euler:
also ch
e
ck
laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rd
o
olaeg
e
s
ummate
.
c
:
barvinok_
s
ummate: ha
n
dle
p
roducts
o
f polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolae
g
e
evalu
e
.
c: expor
t
evalu
e
_reorder
_
t
e
r
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
berns
t
ein
:
n
u
m
eric2value: fix typo
t
o
allow corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolae
g
e
util
.
c: Fa
c
t
or
_
Context: ext
r
acted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Ver
d
oolaege
summate
.
c
:
barvi
n
ok_
s
ummate: ig
n
ore floors
inde
p
enden
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doola
e
ge
evalue
.
c: add eval
u
e_f
l
o
or2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omega/o
c
c: pr
i
nt bar
v
inok v
e
rsion numbe
r
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
doc: updat
e
s
o
me re
f
erences
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
Make
laurent based sum
m
ati
o
n th
e
default
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
o
olaege
sum
m
a
te
.
c
: ba
r
vino
k
_summate: handle quasi-polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
reduce
_
evalue: extrac
t
out evalue_reduc
e
_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
e
value
.
c: evalue_shift_va
r
iables: allow sh
i
fting o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
e
rdoo
l
a
e
ge
s
u
mmate
.
c:
handle equalities fo
r
all summat
i
on algo
r
ithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
er
d
oolaege
summate
.
c: ba
r
vi
n
ok_summ
a
te: move c
o
mmon pa
r
ts of su
m
ma
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
evalu
e
.
c: evalue_sum: move sign handling i
n
to esum_ov
e
r_doma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
barvinok
_
e
.
cc
:
enumerate_sum: use ba
r
vi
n
ok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
summate
.
c: e
x
tract barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
aege
rename summate
.
cc
t
o barvinok_summ
a
te
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
evalue
.
c: r
e
duce_evalue: reduce flo
o
r
with
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laur
e
n
t
e
x
p
ansion based s
u
mmation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c
:
ex
t
end eeq
u
al to handle doma
i
ns and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdo
o
l
a
e
g
e
binomial
.
c: extract binomial an
d
factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
V
erdoolaege
introduce evalue_shi
f
t
_variables
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoolaege
lattice_point
.
cc
:
e
x
port r
e
lative_coord
i
nates
commit
|
commitdiff
|
tree
2008-04-24
S
ven V
e
rdo
o
laege
l
a
ttice_poi
n
t
.
h
:
make
sure co
r
rect evalue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoolaege
l
attice
_
p
o
i
n
t
.
cc:
a
dd ceiling function
commit
|
commitdiff
|
tree
2008-04-24
S
ven
V
erdoolaege
u
t
il
.
c
:
inte
r
nalize ugly bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ver
d
oolaege
lattice
_
poi
n
t
.
cc
:
m
ulti_m
o
nom/l
a
ttice_poi
n
t
s
:
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Verdoolaege
doc: clea
n
up "exponential substituti
o
n" sectio
n
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdool
a
ege
test_bound
.
c
c: avoid loss o
f
precision cau
s
ed by
c
onvers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
erdoolae
g
e
barvinok_bound: optiona
l
l
y take maximal size of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: add
-
-
it
e
ra
t
e
o
ptions fo
r
eval
u
at
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c: exp
o
rt functio
n
s fo
r
setting and
c
learing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
e
rif
y
.
c: eva
l
ue_optimum: all
o
w com
p
utation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc: evalue2ex: don't a
s
su
m
e
all periodi
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
bound
.
cc: fix call to
e
valu
e
_convert
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verdoo
l
a
ege
e
{
add,
m
ul}_periodics:
p
lug
memory leaks
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Verd
o
olaege
evalue_bernst
e
in_co
e
ff
i
ci
e
n
t
s: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdo
o
laeg
e
upd
a
te p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sv
e
n
Verdoola
e
g
e
lattice_width
.
c: skip directions that
a
r
e identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
ven
V
erdoolaege
Makef
i
l
e
.
am: add cdd94e-test to d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ver
d
oolaege
omega/occ: optionally use parker f
o
r c
o
m
p
u
ting cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
nor
m
alization
.
c
: skew_to_
p
osit
i
ve_
o
r
thant:
p
r
operly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Ve
r
doolaege
omega
/
convert
.
cc: relatio
n
2Domain: on
l
y collect s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
occ: a
d
d dum
p
for dumping
i
n barvinok_
e
numerate_e for
m
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
barvinok_enumerate_e: optional
l
y
use parker
'
s m
e
th
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
a
eg
e
st
a
nda
r
d
_constraints: t
a
ke c
o
nstraints instead of polyh
e
dron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normal
i
zation
.
c: extract st
a
nd
a
rd
_
constra
i
nts f
r
om
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
e
n
Verdoolaeg
e
parker/count_
s
o
lutions
.
c
c
: fix treatment of
exi
s
tentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erd
o
olaege
compi
l
e parker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
euler
.
cc: evalu
e
_d
e
ri
v
e:
ha
n
d
le
c
onstant
polynomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
a
d
d some
t
est sets from
c
ases 2
0
04
a
nd cc 2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
rename barvino
k
_maxim
i
ze to barvi
n
ok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
add a test
for t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
evalue_range_propa
g
ation: r
e
move redundant p
o
lyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
bound:
r
ecord number of poly
n
omials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
g
e
test_bound: co
n
vert quasipolyn
o
mials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
test_bound: c
o
mpare polynomial boun
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum: handl
e
input
e
valuating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
veri
f
y
.
c: extract evalue_optimum from
maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: extr
a
c
t common code for verifying oper
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
eva
l
ue_range_propagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
barvinok_maximiz
e
:
optionally use (basic) range p
r
o
p
agation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add some s
u
pport for
d
ealing
w
it
h
evalue
s
that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvino
k
_enumer
a
te:
s
upport use
of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
i
mplement Bernoulli_sum as conversion
from unwe
i
ghted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: exploit integer bounds
t
o
re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
kee
p
track of number of
Bernoulli
s
ums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
ernoul
l
i
.
c
:
p
r
ote
c
t sh
a
red eva
l
ue from modificatio
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test Bernoulli sum
s
based exac
t
enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
barvinok_count_with_options
:
compute
(
e
xa
c
t)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum_ev
a
lue: optionally h
a
ndle fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
o
laege
l
a
t
tice_p
o
int
.
h: ex
p
or
t
fractional_part with C
linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
barvinok_enumera
t
e_wit
h
_
o
ptio
n
s: compu
t
e
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum
_
evalue: handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
Bern
o
ulli_sum
_
evalue: cut off some
r
edundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
Ber
n
oulli_sum_e
v
alue:
m
ake
sure no empty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
B
e
rnoulli_su
m
_evalue: r
e
move redundant const
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdool
a
ege
b
er
n
o
u
lli
.
c: min
o
r refactoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoola
e
ge
Bernoulli
_
sum:
handle context c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
ernoulli_su
m
_
e
value: make sure eno
u
gh memory
i
s
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
for_each_lower_upper_boun
d
: ad
d
another ca
l
l
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
verify
.
c: adj
u
s
t
de
f
au
l
t ra
n
ge t
o
co
n
text if
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc:
summate_over_do
m
ain
:
only c
o
nsi
d
er a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
par
a
m_
u
til
.
c: export Param_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
oolaege
Param_Polyhedron_Facet: pass facet d
e
fining const
r
ain
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
genfun
.
cc: parallel
_
po
l
ytopes: do
n
't both
e
r handling
.
.
.
commit
|
commitdiff
|
tree
next