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
evalue.c: add evalue_floor2frac
2008-05-03
Sven Ve
r
doolaege
evalu
e
.
c: add ev
a
lue
_
floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
omeg
a
/
occ: print bar
v
inok ve
r
sion num
b
er
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
doc: upd
a
te some references
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
Make lauren
t
ba
s
ed su
m
mation the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: b
a
rvinok_summate: handl
e
quasi-polyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
reduce_evalue: ex
t
ract out evalue
_
reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
eval
u
e
.
c
:
evalue_
s
hift_variables: allow s
h
ifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
s
u
mm
a
te
.
c: handle equalities for all su
m
matio
n
algor
i
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoo
l
aege
summ
a
te
.
c: barvinok_summate: move co
m
mon parts
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
eval
u
e
.
c:
e
value_su
m
: move sign handling
into
e
sum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaeg
e
ba
r
vinok
_
e
.
cc: enumerat
e
_sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
ool
a
ege
summat
e
.
c: extrac
t
b
arv
i
nok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
er
d
oolaege
rename summate
.
cc to barvinok_summa
t
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verd
o
olaege
ev
a
lue
.
c
: reduce_evalue: reduce
floor with
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laure
n
t
expansion b
a
sed summation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n V
e
rdoolaege
evalue
.
c: e
x
tend e
e
qual
t
o ha
n
dle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
do
o
l
aeg
e
b
inom
i
al
.
c: extract binomial and factorial f
r
om euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Ver
d
oolaege
pow
e
r
.
h:
ext
r
act from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven
Verdoolaege
int
r
oduce evalue_
s
hift_v
a
riabl
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
l
attice_point
.
cc:
exp
o
r
t relative_c
o
o
r
d
i
nates
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdool
a
ege
lattice_point
.
h: make sur
e
correct
eval
u
e
s a
r
e use
d
commit
|
commitdiff
|
tree
2008-04-24
S
v
en
V
erd
o
olaege
lattice_po
i
nt
.
c
c
:
add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n
V
erdoo
l
aege
util
.
c: internalize
u
gly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoolaege
l
attice_
p
oint
.
cc: m
u
lti_mo
n
om/lattice_points:
r
et
u
rn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verdoo
l
aege
do
c
: clean up "exponential substitution"
se
c
t
i
on
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ver
d
oolaege
te
s
t_bo
u
nd
.
cc: avoid
l
os
s
of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdool
a
ege
b
arvinok_
b
oun
d
: op
t
ionally take maxim
a
l size of
d
o
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
d
o
olae
g
e
b
arv
i
nok_
b
ound: add -
-
i
t
er
a
te options for
eval
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ver
d
oolaeg
e
verify
.
c: export fun
c
tions for setting and
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Ve
r
doolaege
ve
r
ify
.
c: evalue_o
p
timum:
a
ll
o
w
c
omputation of optim
u
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
er
d
oolaeg
e
bernstei
n
.
cc: evalue2ex: don't assume all
p
eriodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aege
boun
d
.
cc: fix call to evalue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdool
a
ege
e
{add,mul}_periodics:
plug m
e
mor
y
le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdo
o
laege
e
value_bernste
i
n_
c
oefficients:
h
andle
problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoolaege
lat
t
ice_width
.
c: skip direc
t
ion
s
t
h
at are identic
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdool
a
e
g
e
Ma
k
e
f
ile
.
am: ad
d
cdd94e-te
s
t to
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdo
o
laege
omega/occ: optionally use parker for comput
i
ng
cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
normalization
.
c
: skew_
t
o_
p
o
s
itive_orthant: proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
omega/conve
r
t
.
c
c: relation2Do
m
ain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for
d
umping in barvinok
_
enumerate
_
e fo
r
m
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
bar
v
inok_enumer
a
te_e:
o
ptional
l
y use parker
'
s
m
ethod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
standar
d
_constra
i
nts: take constraints in
s
t
ead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Ve
r
d
oolaege
normalization
.
c: extract st
a
ndard_
c
onstraints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
par
k
er/c
o
un
t
_so
l
utions
.
cc: fi
x
treatm
e
nt of exist
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
comp
i
le
park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
o
olae
g
e
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
ul
e
r
.
cc: eval
u
e_d
e
rive
:
handle con
s
tant pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add
s
om
e
test
s
ets
from case
s
2004
a
nd
c
c 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
rename bar
v
inok_maximize to
barvi
n
ok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rd
o
olaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ol
a
ege
eva
l
ue_range_propagation: remove redundant
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
t
e
st_bound:
r
ecord
n
umber of polyno
m
ials as
"
size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: c
o
nvert qua
s
ipolyn
o
mials t
o
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verd
o
o
l
aege
test_
b
ound:
c
omp
a
re pol
y
no
m
ial bou
n
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
verify
.
c:
o
pt
i
m
um: handle input evaluat
i
ng
t
o n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c:
e
xtra
c
t eva
l
ue_
o
ptimum from maximi
z
e
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
ve
r
i
f
y
.
c
: ex
t
ract common code
for verif
y
in
g
ope
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_range_propaga
t
ion: add monotonicit
y
t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_m
a
ximi
z
e: optionally use (basic) range p
r
opagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
A
d
d
some support
f
o
r dealing wi
t
h evalues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate:
s
upp
o
rt use of
Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
implement Berno
u
lli_sum as conversion from unwei
g
ht
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdo
o
laege
Bernoulli_sum_evalue:
exploit i
n
teger bounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of nu
m
b
e
r of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ber
n
oulli
.
c: p
r
otect
s
hared evalue from modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoola
e
ge
test Be
r
no
u
lli
s
ums b
a
sed exact
e
numerati
o
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
barvi
n
o
k
_count_
w
ith_options: comp
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolae
g
e
Bernoulli_
s
um_eva
l
u
e
:
optionally h
a
n
d
le f
r
action
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
latti
c
e_p
o
int
.
h
:
ex
p
ort fractiona
l
_part with C link
a
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
barv
i
n
ok_enume
r
ate
_
w
ith_o
p
ti
o
ns: compute (exa
c
t) Ber
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoo
l
aege
Bernoulli_sum_
e
v
a
lue
:
handle
equalitie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
Be
r
noulli_su
m
_e
v
al
u
e: cut off som
e
redunda
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Berno
u
lli
_
sum_evalue: mak
e
sure no
e
mpt
y
partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_evalue: r
e
move redund
a
n
t constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
bernoulli
.
c: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
g
e
B
ernoulli_sum: hand
l
e context
cons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_evalue: make
s
ure
enough memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
dool
a
ege
f
or_eac
h
_lower_upper_bound: add anothe
r
ca
l
l
back for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
verify
.
c: adjust
de
f
ault
r
ange to context if ne
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: summa
t
e_o
v
er_domain:
o
nly consider a
c
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
param_util
.
c: ex
p
or
t
Par
a
m_Vert
e
x_S
e
t_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laege
Para
m
_Polyhedr
o
n
_Facet: p
a
ss face
t
defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
genfun
.
cc: parallel_polytopes: don't bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoola
e
ge
eval
u
e_s
p
lit_domains_into_orthants:
don't reduce
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eval
u
e_read
:
on
l
y a
l
low terms to cr
o
ss
n
e
w
l
ines in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
o
l
a
e
ge
evalu
e
_read: only
a
ccept im
p
licit mul
t
iplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdool
a
eg
e
ev
a
lue_read
:
accept con
s
tr
a
ints con
t
a
i
ning "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue
_
bernstein_co
e
ffi
c
i
ent
s
:
ensure result
p
a
rtitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
olaege
b
erns
t
e
i
n
:
piecewise_lst:
c
orrectly print
and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
r
emove_a
l
l_e
q
ualitie
s
: keep removing parameter
equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
updat
e
p
o
lylib
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoolaege
doc:
consistent
use
o
f Ke
v
in's in
i
tial
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
do
c
: u
p
d
a
te now pub
l
i
shed papers
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
f
or_each_lower_upper_
b
ound:
al
l
o
w
absenc
e
of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
R
e
vert "e
a
dd_partitions: tr
y
t
o comb
i
ne multiple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doola
e
ge
evalue_read_partition: put partitio
n
s back in the sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
d
oolaeg
e
eva
l
u
e
: r
e
d
uce_ev
a
lue: add
note on some missed opp
o
rtunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoo
l
a
ege
bernste
i
n
.
cc: handle input with uni
o
n
s
+ relat
i
on
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
Ve
r
d
o
olaege
m
axi
m
ize
.
cc: deal with union
s
in input
du
r
ing
verifi
c
a
t
i
on
commit
|
commitdiff
|
tree
next