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 some test sets from itsl2008 paper
2008-05-04
Sv
e
n Verdoolaege
add s
o
me
t
e
s
t s
e
ts f
r
om it
s
l
2008
p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: add l
a
test (accepted) publicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verdool
a
ege
Makefile
.
am: add
s
ection
_
ar
r
ay
.
h to distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
n
or
m
alization
.
c: com
p
u
t
e_shifts: remove redundant return
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
move Free_ParamNames polylib and m
a
ke param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
occ
:
a
d
d interface t
o
barvinok_su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
ool
a
ege
ex_convert
.
cc:
e
xt
r
a
c
t
ex2eval
u
e
f
rom range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doolaeg
e
doc
:
d
o
cument mor
e
-
-su
m
mation methods
for bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
options
.
c: rena
m
e
"barvinok" summation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
olaege
Makef
i
le
.
am: check-euler: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ol
a
ege
summate
.
c:
b
a
rvinok_summate: handle pr
o
ducts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Ver
d
oolaege
evalue
.
c: exp
o
rt evalue_reorder_
t
er
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
laege
bernstein: numeric2value
:
fix typo to allow corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaeg
e
util
.
c:
F
actor_Co
n
t
e
xt: ext
r
acted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summat
e
.
c: barvinok_su
m
mate: ignore
f
lo
o
rs i
n
dependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdool
a
ege
ev
a
lue
.
c: add eva
l
ue_floor
2
f
r
ac
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
o
mega/occ: p
r
int ba
r
vi
n
ok version
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
olaege
d
o
c:
u
p
d
a
te some refe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoo
l
aeg
e
Make l
a
urent
b
ased summation th
e
default
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
V
e
r
d
oolaege
summate
.
c:
b
arvinok_summate: handle
quasi-polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoo
l
aege
reduce_evalue: extra
c
t out evalue_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
oolaege
evalue
.
c:
evalue_
s
hift_va
r
ia
b
les: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaeg
e
s
u
mmat
e
.
c
: handle
equalitie
s
for all summation algori
t
h
ms
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
s
u
mmat
e
.
c: bar
v
in
o
k_summate: mo
v
e
common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoola
e
ge
evalue
.
c: evalue_sum: move
s
ign h
a
ndling into
e
sum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
a
ege
ba
r
vinok_e
.
c
c
: enumera
t
e_
s
um: use barvino
k
_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
summate
.
c: extract barvinok_summate from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
do
o
laeg
e
rename
s
ummate
.
cc to barvi
n
ok_summat
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
evalue
.
c: reduce_evalue: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oola
e
ge
Add Laurent expansion based summation
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
aege
ev
a
lue
.
c: extend eequal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en V
e
rdoolaege
bi
n
omial
.
c: ex
t
ra
c
t
b
inomia
l
a
nd facto
r
ial from
eule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
po
w
er
.
h: extract f
r
o
m euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdo
o
lae
g
e
intr
o
duce evalu
e
_sh
i
ft
_
variables
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Ve
r
do
o
laege
lattice
_
p
o
int
.
cc
:
e
x
port relative_coordi
n
a
tes
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n V
e
r
doolaege
latt
i
ce_point
.
h
: m
a
ke sure c
o
rrect
e
v
a
lues are
used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoola
e
ge
lattice_point
.
c
c:
a
d
d
c
eiling funct
i
o
n
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n
Verdool
a
e
ge
util
.
c: i
n
te
r
nalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sve
n
Verdoolaege
la
t
tice_
p
oin
t
.
cc:
m
ulti_monom/la
t
tice_poi
n
ts:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoola
e
g
e
doc: clean u
p
"
exp
o
n
e
ntial
s
ubstitutio
n
" se
c
tion
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdool
a
ege
test
_
b
o
und
.
cc: avoid loss
o
f precision ca
u
se
d
by conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barv
i
n
o
k_bound: op
t
ionally
take max
i
mal size
o
f domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Ver
d
o
o
laege
b
a
rvinok_bound: add --iter
a
t
e options fo
r
eva
l
u
a
ti
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
erify
.
c
:
export
functions
f
or setting and c
l
earin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolae
g
e
ve
r
ify
.
c: evalue_optimum: allow computation
of
o
ptimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
b
ern
s
t
e
in
.
cc:
e
v
alue2ex: don'
t
a
ssume
a
ll periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
boun
d
.
cc: fix
c
all to evalue_c
o
nv
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
e
{add,mul}_periodics:
p
lu
g
mem
o
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
e
v
alue_bernstein_coefficient
s
: handle pro
b
le
m
s with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
update
p
olylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
d
o
olaeg
e
l
a
t
tice_width
.
c: skip dir
e
c
t
ions t
h
a
t are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdoolaege
Makefi
l
e
.
am: add cdd94
e
-te
s
t to distr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
S
ven V
e
rdo
o
laege
omega/occ: opt
i
onal
l
y use
parker for computing cardi
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
normaliz
a
ti
o
n
.
c: skew_to_
p
ositive_orthant: p
r
op
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verd
o
o
l
a
ege
omega/convert
.
cc: relat
i
on2Domain: only col
l
ec
t
s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for dumping in barvin
o
k_enum
e
rate_e
f
ormat
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
barvi
n
ok_enumerate_e:
o
ptional
l
y use parker's metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
s
tandard_
c
o
n
strain
t
s
:
ta
k
e
constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
l
aege
normalization
.
c: extract sta
n
d
a
r
d_
c
on
s
t
rain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
p
a
rker/count_solutions
.
cc:
fix treatment of exi
s
t
en
t
ially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sv
e
n Verdoolaege
comp
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: eval
u
e_der
i
ve: handle constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
add some test
s
ets from ca
s
es 2004
a
n
d c
c
200
5
pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
ren
a
me barvinok_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a t
e
st for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
evalue_range_pr
o
p
a
g
ation: remo
v
e redundant p
o
lynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
t
e
s
t
_boun
d
: record number of polynomials
a
s "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
tes
t
_bound: co
n
vert
q
ua
s
ipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare
polynomial
b
o
und algorith
m
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
v
e
ri
f
y
.
c
:
optimum: handle inpu
t
ev
a
l
u
ating to
n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: ex
t
r
a
ct evalue_
o
pti
m
um from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
v
e
rify
.
c: extract comm
o
n
co
d
e for
v
erif
y
ing operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_ran
g
e
_propagatio
n
: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
o
laege
barvin
o
k_maximize
:
optio
n
al
l
y use (basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ad
d
some
s
upport for dea
l
i
n
g with evalues tha
t
r
e
pre
s
en
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
barvinok_en
u
merate:
supp
o
rt use of Euler-Ma
c
lauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdo
o
laege
impl
e
ment Bern
o
ul
l
i
_
sum
a
s conversio
n
from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
B
er
n
o
u
ll
i
_
s
um
_
evalu
e
: exploit
i
nte
g
er bounds
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdool
a
ege
keep track
of number o
f
B
e
rn
o
ull
i
sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
bernoulli
.
c:
p
rote
c
t shared evalue f
r
om
mo
d
ificati
o
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verd
o
olaege
test Bernoulli sum
s
based e
x
act e
n
um
e
r
a
tion
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arv
i
nok_
c
o
unt_wit
h
_options: compute (
e
xa
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoo
l
aeg
e
Bernoulli_
s
u
m
_e
v
alue: optionally handle
f
rac
t
i
o
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
lat
t
ice_point
.
h: export fractio
n
al_part wi
t
h
C lin
k
age
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
barvinok_enu
m
e
r
a
te_with_optio
n
s
:
compute (exact
)
Ber
n
o
ul
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
ge
Bernoul
l
i_sum_evalue:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ull
i
_
sum_eval
u
e
:
cu
t
off som
e
re
d
und
a
n
t
pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bern
o
ull
i
_su
m
_evalue: make sure no em
p
ty parti
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_s
u
m_evalue: r
e
move
r
edundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
bernoulli
.
c: m
i
nor
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laeg
e
Bernoulli
_
su
m
: hand
l
e context const
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdo
o
l
aege
Bernoulli_
s
u
m
_ev
a
lue: make sure enough memory is
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolae
g
e
f
o
r_e
a
ch_lower_
u
pper_bound: add ano
t
her callback fo
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
v
e
rify
.
c
: adjust default
rang
e
t
o c
o
ntext
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
euler
.
cc: su
m
ma
t
e_over_domain: only
c
o
nsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
pa
r
am_u
t
i
l
.
c: export Param_Ver
t
ex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolae
g
e
Param_Polyhe
d
ron_Fac
e
t:
pass fac
e
t defining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
g
e
n
f
un
.
c
c
:
paralle
l
_polytopes: don't bother h
a
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalu
e
_spli
t
_d
o
mai
n
s_into_or
t
h
ants: don't reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
next