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
e
n Verdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add s
o
me test set
s
fro
m
itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ol
a
ege
do
c
: add latest (
a
cce
p
ted)
publications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Ma
k
efile
.
am: add section_arra
y
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
normaliz
a
tion
.
c: c
o
mpute_shifts: re
m
ove redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
mov
e
Free_ParamNa
m
es po
l
ylib and make p
a
r
a
m
name
s
cons
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
g
e
occ: add interfac
e
to barvinok_sum
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ola
e
ge
ex_conve
r
t
.
cc: ex
t
ract
e
x2evalue from
r
ang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
doc: document more -
-
summation met
h
ods for b
a
rv
i
n
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
e
g
e
optio
n
s
.
c
: rename
"barvinok
"
s
ummation
method to "box"
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
d
o
o
l
a
ege
M
akefile
.
am:
c
heck-euler: also check laure
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
r
d
ool
a
eg
e
s
u
mmate
.
c: barvinok_su
m
mate: handle products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
e
v
alue
.
c: export evalue_r
e
ord
e
r_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernst
e
in:
n
umer
i
c
2
v
a
lue: fix
t
ypo to allow
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c: Factor_Co
n
text: extracted
from b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laeg
e
summat
e
.
c
: b
a
rvinok
_
summate: ignore floors indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
e
valu
e
.
c: add ev
a
lue_floor2
f
rac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
e
ge
omega/occ:
p
ri
n
t
b
arvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
doc: upda
t
e
s
om
e
references
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
laege
Mak
e
laurent based sum
m
ation t
h
e default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c:
barvinok_summate: handle quasi-polynom
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoo
l
aege
reduce_eva
l
ue: extract out evalue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ev
a
l
u
e
.
c
: ev
a
lue_s
h
ift_variables:
a
l
low shi
f
ting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
s
ummate
.
c: h
a
ndle equa
l
iti
e
s
f
o
r all su
m
m
ation algorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summat
e
.
c:
barvinok_summa
t
e
:
m
o
v
e
com
m
on parts
o
f summa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
ev
a
lue_s
u
m: mo
v
e si
g
n handlin
g
into esum_
o
ver_doma
i
n
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
barvinok_
e
.
cc: enumerate_sum: use barvino
k
_summat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdool
a
ege
summate
.
c
:
extract barvi
n
ok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erd
o
o
laege
r
e
name s
u
mmate
.
cc to ba
r
vinok_s
u
mma
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
eval
u
e
.
c: reduce_evalue: red
u
ce floor
wit
h
constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add L
a
urent expansi
o
n base
d
sum
m
ati
o
n
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
e
v
alu
e
.
c:
e
xtend eequal to
handle domain
s
an
d
NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
ven
V
erdo
o
laege
bin
o
m
i
al
.
c: extract binomial and
factor
i
a
l from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en V
e
rdoola
e
ge
p
owe
r
.
h: ext
r
act fr
o
m e
u
le
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolae
g
e
introduce evalue_shift_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
V
erdoolae
g
e
l
a
ttice_point
.
cc:
e
xport relative_coordinate
s
commit
|
commitdiff
|
tree
2008-04-24
Sve
n
Verdoolaege
latt
i
ce_point
.
h: mak
e
sure correct eval
u
e
s
are u
s
ed
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
c
c
:
a
dd ce
i
ling funct
i
on
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
do
o
laege
uti
l
.
c
: internalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Verd
o
olaege
lattice
_
p
oint
.
cc:
m
u
lti_mo
n
o
m/lattice_
p
oints
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdo
o
laege
doc: clean
up "expo
n
ential su
b
s
titu
t
ion" sec
t
i
on
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
test_bound
.
cc: avoid loss
of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound:
optionally t
a
ke maximal size
of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ver
d
oola
e
g
e
barv
i
nok_bound: add --iterate optio
n
s for eval
u
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
v
erify
.
c: export
f
unctio
n
s
f
or setting
and c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
verify
.
c:
e
va
l
ue_optimu
m
: all
o
w compu
t
a
t
i
o
n
of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdool
a
ege
bernstein
.
cc: e
v
alue2ex
:
d
o
n
't assu
m
e all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
bo
u
nd
.
cc: fix cal
l
t
o
e
valu
e
_conve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
e{
a
dd,mul
}
_periodics: pl
u
g memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
evalue_bernst
e
in_coeffic
i
ents: ha
n
dle proble
m
s w
i
th
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
u
p
date po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven V
e
r
doolaeg
e
l
a
ttic
e
_wi
d
th
.
c: skip directions that are identi
c
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolae
g
e
Makefile
.
am: add cdd94e-t
e
s
t to
d
istribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
omega/occ: optionally use
par
k
er for
c
o
mputing c
a
rdinalit
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
la
e
ge
normali
z
ation
.
c: s
k
e
w
_to_positive_
o
rth
a
nt: pr
o
pe
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
omega/conv
e
r
t
.
cc: relation2
D
omain: only c
o
ll
e
ct
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
occ: add du
m
p for dumping in barvinok_enumera
t
e_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rd
o
olaege
bar
v
i
n
ok_
e
n
u
merate
_
e: optionally use parker
'
s method
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdool
a
e
g
e
standa
r
d
_
c
onstrai
n
ts: tak
e
con
s
traints instead o
f
polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdo
o
l
aege
norm
a
l
i
zation
.
c: extr
a
ct standard_constra
i
nts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
parker/coun
t
_
s
ol
u
tions
.
cc: fix tr
e
atme
n
t of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoo
l
aege
comp
i
l
e park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Add pa
r
ke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
euler
.
c
c
: evalue_de
r
i
ve: handle constant po
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
add so
m
e te
s
t sets from cases
2
004 and c
c
2005 pa
p
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
rename barvinok
_
ma
x
imize to barvin
o
k_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaeg
e
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_range_propag
a
tion: remove redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
te
s
t
_bound: record number of po
l
ynom
i
als as "s
i
ze
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test_bound
:
convert quasip
o
lyno
m
ials
to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare polynomial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
doolaege
verify
.
c: optimum:
handle input evaluating to ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c: extra
c
t ev
a
lue_optimum from m
a
ximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ve
r
dool
a
ege
v
e
r
i
fy
.
c
:
e
xt
r
act co
m
mon code
f
o
r
verifying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
la
e
ge
evalue_ra
n
ge_p
r
opagation: a
d
d
monoton
i
city
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
barvinok_maximize: optionally use (bas
i
c) r
a
n
g
e propagati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
Ad
d
s
ome support for dealing with evalu
e
s
that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate: suppor
t
use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
la
e
ge
imple
m
ent Berno
u
lli_
s
u
m
a
s conversion
f
rom unw
e
ighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_su
m
_eval
u
e: exploit integer b
o
unds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number of Bernoulli s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
a
e
g
e
bernoulli
.
c: protect sh
a
red evalue
from m
o
difications
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernou
l
li sums based
e
xact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rd
o
olaege
barvinok_count_
w
it
h
_o
p
tions: compute (exac
t
) B
e
rn
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Be
r
noulli
_
sum
_
evalue: opti
o
nal
l
y handle f
r
actiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
l
a
ttice_point
.
h: export fractional
_
p
art with
C
linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_en
u
merate_with
_
o
p
tions:
c
ompute (exact) Bernoul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
oolaege
Bernoulli_
s
um
_
evalue: ha
n
dle
e
qual
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aege
Bernoulli_sum_evalu
e
: c
u
t off
s
ome re
d
undant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdool
a
ege
B
e
rn
o
u
ll
i
_sum_evalue: make sure n
o
e
m
pty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum_evalue: re
m
ove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
ernoul
l
i
.
c
:
minor re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Ber
n
oull
i
_sum:
handle context
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Ber
n
oulli_
s
um
_
eval
u
e: make
sure enough me
m
ory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each_l
o
wer_upper_bo
u
nd: a
d
d another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaeg
e
verify
.
c: adjust de
f
ault range to
c
o
ntext if
needed
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
aege
euler
.
c
c: summate_over
_
domain: only consider actua
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_
u
til
.
c: export
Pa
r
am
_
Vertex
_
Set_Fa
c
ets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Pa
r
am_Polyhedron_
F
acet: pas
s
face
t
defining co
n
s
tr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
genfun
.
cc: paralle
l
_polyto
p
e
s: don't
b
o
t
h
er ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
next