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
add editors to ITSL papers
2008-05-08
S
v
en Verdoola
e
ge
add editor
s
t
o
ITS
L
paper
s
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verd
o
olaege
b
a
rvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
add some test
s
ets from it
s
l2008
pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaeg
e
do
c
: add latest (accepted) publi
c
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaeg
e
Makefil
e
.
am: add sec
t
ion_arra
y
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
ege
n
o
r
m
alization
.
c: compu
t
e_shifts:
r
emo
v
e redundant r
e
turn
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_ParamNames polylib and m
a
ke
param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
occ: add interface
to barvin
o
k_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n V
e
r
d
oolaeg
e
ex_convert
.
cc
:
e
xtract
ex2evalue from ran
g
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: docum
e
nt mo
r
e --summation me
t
hods for b
a
rvinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verdool
a
ege
opti
o
ns
.
c: rename "
b
arvinok" su
m
mation met
h
od
t
o "bo
x
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Ma
k
efile
.
am: check-euler: also c
h
eck
lauren
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c
:
b
arvinok_summate:
h
an
d
le
p
roducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
ev
a
lue
.
c: exp
o
rt evalue
_
r
e
order_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdool
a
ege
b
e
rnstein: numeri
c
2value
:
fix typo
t
o allow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
V
e
rdoolaege
util
.
c: Factor_Co
n
t
e
xt: extracted from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
summate
.
c: barvinok
_
su
m
ma
t
e: ignore f
l
oors indepen
d
ent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaeg
e
evalue
.
c: add eva
l
ue_f
l
oor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
ome
g
a/occ: pri
n
t barvinok
v
e
r
sion number
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
doc: update some ref
e
rences
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
Mak
e
laur
e
nt
based summation the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolae
g
e
summate
.
c
:
barvi
n
ok_
s
ummat
e
:
handle qu
a
si
-
poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
red
u
ce_evalue: extra
c
t ou
t
evalue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
evalue
.
c: evalue_shift_va
r
iables:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summa
t
e
.
c
:
handle equalities for all summati
o
n algor
i
t
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
summa
t
e
.
c: b
a
rvinok_summa
t
e: move common parts of summatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doola
e
ge
evalue
.
c: ev
a
lue_sum: mov
e
sign handlin
g
into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
ven
V
erdoolaege
barvi
n
ok_
e
.
c
c: enumerat
e
_
s
um
:
u
s
e
barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
te
.
c: ext
r
ac
t
barvinok_sum
m
a
te from ba
r
vinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
aege
re
n
ame summate
.
cc to barvinok
_
s
ummate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
evalue
.
c: redu
c
e_evalue:
reduce floor with const
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoo
l
aege
Add Lauren
t
expan
s
ion
base
d
summation
commit
|
commitdiff
|
tree
2008-04-25
Sven
Ver
d
oo
l
a
e
ge
eval
u
e
.
c:
extend eequ
a
l
to h
a
ndle
doma
i
ns a
n
d NaN
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
b
i
n
omial
.
c: extract
b
inomial
and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
power
.
h: extrac
t
from
e
ul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaege
introduc
e
evalu
e
_
shift_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
lattice_point
.
cc: export
relative
_
coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_p
o
i
n
t
.
h: make su
r
e correct evalue
s
are
used
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
latti
c
e_p
o
i
n
t
.
cc
:
add ceiling fun
c
tion
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
util
.
c: inter
n
alize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
V
er
d
oolaege
lattice_point
.
cc: multi_monom/lattice_
p
oints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaege
doc: clean
u
p
"exp
o
nential su
b
stitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
a
ege
te
s
t_bound
.
cc: avoid
loss of precision
c
a
used by conversi
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
barvino
k
_bound:
optional
l
y
t
ake maximal
size
o
f domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
barvinok_bound: add --iterate options for ev
a
luating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c
:
export functions for
s
e
t
ting and
c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
g
e
verify
.
c
: evalue_opt
i
mum
:
a
l
low c
o
mputation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
ber
n
stein
.
cc:
e
v
alu
e
2ex: don't assume all
p
eriod
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
boun
d
.
cc
:
fix call to e
v
alue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolae
g
e
e{add
,
mu
l
}_periodics: pl
u
g
m
emory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
r
d
oo
l
aege
evalue_bernstein_coeff
i
cients:
h
andle problems wit
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven
V
erdoolaege
la
t
tic
e
_width
.
c
: skip d
i
r
e
c
tio
n
s that a
r
e ident
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Verdool
a
ege
Ma
k
efile
.
am: add cdd94
e
-test to d
i
stribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
omega/occ:
optionally use parker for comp
u
ting cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
n
ormali
z
ation
.
c: skew_t
o
_posi
t
i
v
e
_orth
a
nt: prope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdo
o
laege
omega/convert
.
c
c:
r
elation2Domain
:
o
nly colle
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for du
m
ping in barvi
n
ok_e
n
umer
a
te_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
barvinok_
e
numerate_e: optionally use p
a
rk
e
r's me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_cons
t
raints: take
co
n
straints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
normali
z
ation
.
c: extract s
t
a
nda
r
d_constr
a
ints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
p
a
rker/count_solutions
.
cc: f
i
x tre
a
tm
e
nt of
exi
s
tent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add pa
r
ker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
euler
.
cc: eval
u
e
_
de
r
i
ve: hand
l
e
c
onstant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
er
d
o
o
la
e
ge
add some te
s
t se
t
s
fr
o
m case
s
2004
a
nd cc
2005
papers
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
rename
barvinok_ma
x
i
m
ize to
b
arvin
o
k_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
add a test
fo
r
test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
evalue_range_propag
a
ti
o
n: remove
r
e
d
u
ndant
po
l
y
n
omia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test
_
b
o
u
nd: record number of polynomials
as
"
size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test_bound: co
n
vert quasi
p
olynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
test_bo
u
nd: compare polyno
m
ial bound
a
l
g
orithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
l
aeg
e
verify
.
c
:
opti
m
um: handle input evaluating
to
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verd
o
o
l
aege
verify
.
c: extract evalu
e
_optimum f
r
om max
i
mize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aeg
e
v
erify
.
c
: extract common
co
d
e for
v
e
rifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
oolaege
ev
a
lue_range_propagation: add
m
onot
o
nicity test
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
olaege
b
a
r
vinok_m
a
ximize: optio
n
all
y
use (basic) range prop
a
g
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Add some
s
uppor
t
for deal
i
n
g
with evalues that
represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enume
r
ate: support u
s
e of Eule
r
-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
implement Bernoulli
_
s
um as conversion f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
Bernoull
i
_
s
um_evalue: exploi
t
integer
bounds t
o
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
k
e
ep
t
rack
of number of Bern
o
ulli sum
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolae
g
e
bernoulli
.
c
:
protect share
d
evalue from modif
i
cations
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test B
e
rnoulli sum
s
ba
s
ed exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
b
arvino
k
_
c
ount_with_opti
o
ns: compute (exact
)
Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoulli_sum_evalue: optionally h
a
ndle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
lattic
e
_p
o
int
.
h: export f
r
actional_pa
r
t with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ba
r
v
i
n
ok
_
e
num
e
r
a
te_with_o
p
ti
o
ns: c
o
mpute (exact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli
_
sum_
e
value:
handle equaliti
e
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: cut off som
e
red
u
n
dant
parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernoulli_sum_evalue: make s
u
r
e no em
p
ty
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
doolaege
Bernoulli_sum_evalue: r
e
move
r
e
d
u
ndant
c
ons
t
r
ai
n
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bernoulli
.
c:
minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
B
e
rnoulli_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
B
e
r
n
oull
i
_sum
_
evalue: make sure enough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
or_e
a
c
h_lower_upper_bound:
a
d
d another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
veri
f
y
.
c: ad
j
ust
default range to con
t
ex
t
if n
e
eded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
eu
l
er
.
cc: su
m
mate_over_domain: only
consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
param_util
.
c
:
exp
o
r
t
P
a
r
a
m
_V
e
rt
e
x_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoo
l
ae
g
e
Param_Po
l
yhedro
n
_Facet:
p
ass facet defini
n
g
con
s
t
r
ai
n
t
.
.
.
commit
|
commitdiff
|
tree
next