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
summate.c: barvinok_summate: ignore floors independent of variables
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_sum
m
at
e
:
ign
o
re floors in
d
ependent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
o
l
aege
e
v
al
u
e
.
c: add evalue_floor2fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
Verdoolaege
omega/occ: print barvinok version numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
d
o
ola
e
ge
d
o
c:
update some refe
r
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
Make lauren
t
based sum
m
at
i
on the
d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
sum
m
a
t
e
.
c:
b
arvinok_
s
u
m
mate: ha
n
dle
q
uasi-p
o
ly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
red
u
ce_
e
value: extract o
u
t evalu
e
_reduce_size
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erdoolaeg
e
evalue
.
c:
e
v
a
lue_
s
hi
f
t_v
a
ria
b
le
s
: allo
w
shi
f
t
ing
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
doolaege
su
m
mate
.
c: handle equa
l
iti
e
s for all summation algor
i
th
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
s
um
m
ate
.
c
: barvinok_sum
m
ate: move co
m
mon p
a
rt
s
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
evalue
.
c: evalue_sum: m
o
ve
sign
h
andl
i
ng
i
nt
o
esum_over_d
o
main
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolae
g
e
barvinok_e
.
c
c
:
e
num
e
rat
e
_s
u
m: use barvinok_summ
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoola
e
g
e
summate
.
c:
e
x
tract barvi
n
o
k
_su
m
mate
f
rom b
a
r
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
r
e
n
a
me sum
m
ate
.
c
c to barvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
e
value
.
c: reduce_e
v
al
u
e: red
u
c
e flo
o
r with
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
ool
a
e
ge
Add Laurent expansion base
d
summatio
n
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Ver
d
oola
e
ge
evalue
.
c: extend
e
equal to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoo
l
a
ege
binomial
.
c: extract binomial
a
nd factorial from e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven
V
er
d
oo
l
aege
power
.
h: ext
r
act from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
introduc
e
evalue_shift_vari
a
bles
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
doolaege
lattice_poi
n
t
.
cc: expor
t
relative_coordina
t
es
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
r
doolaege
lattice_point
.
h: make sure correct evalues are
u
se
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
l
attice_point
.
cc: add ceiling fun
c
tion
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
util
.
c:
internalize ugly bv_c
e
il3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ve
r
d
oolaege
lattice_point
.
cc: multi_monom/latti
c
e_points:
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Ver
d
oolaege
doc: clean up "exponential substitution" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aege
test_bound
.
cc:
a
void loss of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
barvinok
_
bound: optionally
t
a
ke maximal size of d
o
mains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
barvinok_bou
n
d
:
add -
-
i
t
e
r
a
te options for evalua
t
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
ege
verify
.
c
: export functi
o
ns for sett
i
ng
a
nd c
l
earing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoola
e
ge
v
erify
.
c: evalue_op
t
imum: al
l
ow comp
u
tatio
n
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
bern
s
tein
.
cc:
evalue2ex: don
'
t
a
s
sume all
per
i
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
bou
n
d
.
c
c
:
fix call to ev
a
lue
_
c
o
n
v
ert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{a
d
d
,m
u
l
}
_periodics: pl
u
g me
m
ory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdo
o
l
a
ege
eval
u
e_bernstein_c
o
efficients: handl
e
problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
updat
e
pol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaeg
e
lattice_width
.
c: skip directions
that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven
Verdoolaege
Makefil
e
.
am:
add
c
dd94e-test to dist
r
ibuti
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega/occ: o
p
tionally use parker for computing card
i
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
norma
l
ization
.
c: skew_to_positive_
o
rthant:
p
rope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
omega/convert
.
cc: r
e
lat
i
o
n
2
D
omain: only
c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: add dump for dumping in
b
arvinok_enumer
a
te_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
la
e
ge
bar
v
i
n
ok
_
enumera
t
e_e: optiona
l
ly use parker
'
s
m
eth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_co
n
straint
s
: t
a
ke con
s
tra
i
nts
ins
t
ead of pol
y
hedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
normalization
.
c: e
x
tr
a
ct standa
r
d_
c
o
n
straints fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdoolaege
parker/count_
s
ol
u
tions
.
cc
:
f
i
x treatment of existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile p
a
rke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
eul
e
r
.
cc: evalue_derive: handle co
n
st
a
nt polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add some test se
t
s from cas
e
s 2004
and cc
2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
rename ba
r
vinok
_
maximize
t
o barv
i
nok_bo
u
nd
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
eg
e
ad
d
a
t
est for tes
t
_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
eval
u
e_range_pro
p
a
g
ation: remove redundan
t
polyno
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
test
_
bo
u
nd: record number of po
l
y
nomi
a
ls as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_boun
d
: conve
r
t quasipo
l
yn
o
m
i
als to
p
o
lynom
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
te
s
t_b
o
u
nd: compare polynomial bound a
l
g
o
rit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ol
a
eg
e
v
erify
.
c: opt
i
mum: handle
i
nput evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: e
x
tract eval
u
e
_optimu
m
from
m
aximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
er
d
oolaege
veri
f
y
.
c: ex
t
r
a
ct common
c
o
de
f
or
verifyin
g
operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoola
e
ge
eva
l
ue_range_p
r
opagati
o
n: add monotonicity tes
t
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
barvinok_
m
a
ximize: optionally use
(basic
)
ra
n
ge propa
g
atio
n
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
Add some support f
o
r dealing with
e
values that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
barvinok_enu
m
erate: support use of Euler-Macl
a
urin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implemen
t
Bernoulli_sum as conversion
fr
o
m
unweight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
B
ernoulli_sum_evalue:
exploit integer bou
n
ds
t
o reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
k
e
ep tr
a
ck of num
b
er of Bern
o
ulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
ege
bernoulli
.
c:
pr
o
t
e
ct
shared ev
a
l
ue from
modificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolae
g
e
test Berno
u
lli
s
u
ms based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
barvinok_count_
w
it
h
_
options: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
rdo
o
laege
Bernoulli
_
s
u
m
_
e
value:
optionally
h
andle fract
i
o
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
lattice_point
.
h: export fractional_part wit
h
C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvinok_enumer
a
te_with_options: compute
(
exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
e
ge
Berno
u
l
l
i_sum_evalue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
r
d
oolaege
Bernoulli_sum_evalue: cut off
s
om
e
r
edu
n
dant
p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Ver
d
ool
a
ege
Bernoul
l
i
_sum_eval
u
e: make sure
no
emp
t
y partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
ola
e
ge
Bernoulli_sum_eval
u
e:
r
e
m
ove red
u
ndant constraint
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
o
olaege
bernoul
l
i
.
c: minor
r
efa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
Bernoulli_sum: handle contex
t
const
r
aints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bern
o
u
l
li_sum_evalue
:
make
sure enoug
h
memory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
for_
e
ach_lower
_
upper
_
boun
d
: add another callb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
verify
.
c: a
d
just defaul
t
ran
g
e to
contex
t
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaeg
e
e
u
ler
.
cc:
s
um
m
ate_over_domain: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
param_ut
i
l
.
c: export Param_Vertex_
S
e
t
_
F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Poly
h
e
dron_Facet:
p
ass
facet defin
i
ng constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
genfun
.
cc: p
a
rall
e
l_polytopes
:
don't bot
h
er handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
evalue_split_domains_i
n
to_orthants: don't redu
c
e evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaeg
e
e
v
alue_rea
d
:
o
nly allow t
e
rms
to cross newli
n
es insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
e
v
alue_read: only a
c
cept implicit multiplic
a
tion o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
evalue_read
:
ac
c
ept constraint
s
con
t
ain
i
ng "
'
-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoola
e
g
e
e
v
alue_bernstein_coe
f
f
i
cients:
ensure result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erd
o
ol
a
ege
bernste
i
n: piecewi
s
e_l
s
t: correctly print and eval
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
d
o
olaege
r
emove_all_e
q
ualities: k
e
ep
removing param
e
ter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
u
p
d
a
te polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
rdoolaege
doc: c
o
nsi
s
t
ent u
s
e
o
f Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olae
g
e
d
o
c: up
d
ate
n
ow pu
b
lished pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
doolaege
for_each_lower_upp
e
r_b
o
u
nd: allow a
b
se
n
ce of low
e
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
olaege
Revert "eadd_partitions: try
to
co
m
bine
mu
l
tipl
e
dom
a
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
o
olaege
e
value_read_
p
a
rtiti
o
n: put p
a
rtitions back
i
n
t
h
e
sam
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
g
e
evalue: reduce_evalu
e
: ad
d
note on
s
o
m
e m
i
ssed
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
l
aeg
e
b
ernst
e
in
.
cc: handle input with union
s
+ relation v
i
ol
a
te
d
.
.
.
commit
|
commitdiff
|
tree
next