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
occ: add interface to barvinok_summate
2008-05-04
Sven Verdoolaege
occ: add interface
t
o barvinok_su
m
ma
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
e
x_convert
.
cc: ext
r
a
ct e
x
2e
v
a
lue
from
ra
n
ge
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
olaege
doc: docu
m
ent more --su
m
matio
n
metho
d
s
for barvinok
_
su
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c
: renam
e
"barv
i
nok
"
sum
m
a
t
ion method to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
a
m
: check-euler: also
c
hec
k
l
a
urent
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoo
l
aeg
e
summate
.
c: bar
v
inok_sum
m
a
t
e
:
h
a
nd
l
e
products of poly
t
ope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
evalue
.
c
:
export evalue_
r
eorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
b
e
rnstein: numeric2v
a
lue: fix
t
y
po to a
l
low corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
uti
l
.
c
:
Fact
o
r_Cont
e
x
t
:
e
xtra
c
t
e
d from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c:
barvinok
_
su
m
m
a
te
:
ign
o
re floors
independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
erdoolaege
evalue
.
c: ad
d
evalu
e
_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdool
a
e
ge
omega/occ: pri
n
t barvinok vers
i
on nu
m
b
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
doc: upd
a
t
e
some ref
e
r
ences
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
laege
Make
l
a
u
rent based summati
o
n
t
h
e
d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
summate
.
c: barv
i
nok_summate
:
handle quasi-pol
y
nomi
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
V
e
rdoolaege
reduce_eval
u
e:
ex
t
ract
o
ut e
v
alue_re
d
uce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
evalue
.
c:
evalue_shift_va
r
i
abl
e
s: a
l
low
s
hif
t
ing
o
f
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
summate
.
c: h
a
ndle equ
a
l
itie
s
for all summation al
g
orithms
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdoolaeg
e
s
ummate
.
c
:
b
arvinok_summate
:
mov
e
common part
s
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
e
v
alue
.
c: evalue
_
su
m
: move s
i
gn
handlin
g
i
n
to esum_over
_
domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
bar
v
inok_e
.
cc: enumerate_sum: use bar
v
inok_summa
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdoolaege
summat
e
.
c:
e
xtract barvin
o
k_summate from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoo
l
aege
rename summate
.
c
c
t
o
barv
i
nok_summat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdool
a
ege
eva
l
ue
.
c
:
reduc
e
_
evalue: r
e
d
u
ce floo
r
with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Add Laurent expansion ba
s
ed
sum
m
a
t
ion
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: e
x
tend
eequal to
h
an
d
le do
m
ains
and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoolaege
bi
n
o
m
ial
.
c
: extra
c
t b
i
n
o
m
i
al and
factor
i
al from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
do
o
laege
power
.
h: e
x
tract
f
r
om
e
uler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verd
o
ola
e
ge
introduce
e
value_sh
i
f
t_varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
V
er
d
oola
e
ge
latti
c
e_po
i
n
t
.
cc: export relativ
e
_coo
r
d
i
nates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
latti
c
e_point
.
h
:
make
s
ure c
o
r
r
ect evalues are us
e
d
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
lattice_poi
n
t
.
cc: add ceil
i
ng function
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doola
e
g
e
u
til
.
c: int
e
rnali
z
e ugl
y
bv_cei
l
3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Verdoolaeg
e
lattice_point
.
cc: multi_monom/lattic
e
_po
i
nts:
r
etu
r
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n
V
erdoolaege
doc: c
l
e
a
n up "exponential s
u
bstitu
t
ion" sec
t
i
o
n
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
l
aege
test_bound
.
cc: av
o
id loss of precision ca
u
sed
b
y co
n
v
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barv
i
nok_bound: optionally take ma
x
imal si
z
e of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
b
arvi
n
o
k_b
o
und: a
d
d
--iterate o
p
t
ions
for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
v
erify
.
c
: expo
r
t f
u
nctions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
v
e
rify
.
c: evalue_optimum:
allow compu
t
ation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoolaege
bernstein
.
cc: evalue
2
ex: don't assume
a
ll period
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n
Verdoolaege
bound
.
c
c: f
i
x call to
evalue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{add,mul}_periodics: plug memo
r
y leaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdo
o
laege
eval
u
e_bernstei
n
_
coeffici
e
nts:
handle problem
s
with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Ve
r
doolae
g
e
lattice_w
i
d
t
h
.
c: skip
dir
e
cti
o
n
s
tha
t
are
id
e
ntical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sv
e
n Verdool
a
e
ge
M
a
kefi
l
e
.
am:
a
dd cdd
9
4e-
t
est to
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
d
o
ola
e
ge
o
mega/occ: o
p
tionally
u
se parker
for
c
omputi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Ve
r
d
oo
l
aege
normalization
.
c: skew_to_pos
i
tive_
o
rth
a
nt: prop
e
rly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verd
o
olaege
omega/convert
.
cc: rela
t
ion2Domain: o
n
ly c
o
llect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
erdoolaege
oc
c
:
add
d
ump
fo
r
d
u
mping in barv
i
nok_enumer
a
t
e
_
e f
o
r
ma
t
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
barvinok_enumerate_e: opt
i
onally
u
s
e parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
s
t
andard
_
c
onstraints: take constraints instead
of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normalization
.
c: e
x
tract standard_c
o
n
s
t
raints fro
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aeg
e
parker/co
u
nt_solutions
.
cc: fix treatm
e
n
t
of existe
n
tially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Ver
d
oolaege
compil
e
parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
o
l
aege
Add
p
arker
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
e
u
l
er
.
cc: evalue_derive: ha
n
d
l
e
c
onst
a
n
t
pol
y
nomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ad
d
s
ome
t
est
sets fr
o
m
ca
s
es 2004 and
cc 2005 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
re
n
a
m
e barvinok_maximize to b
a
rvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
add a
test for
tes
t
_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_range_propa
g
ation: remove redund
a
nt pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
t
est_boun
d
:
r
ecord number of polynomials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
test_bound: convert quasipolynomia
l
s to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound: compare p
o
l
ynomia
l
bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: optimum:
h
andle
inpu
t
evalua
t
in
g
to ne
g
a
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
v
erify
.
c: ex
t
rac
t
evalue_optimum from maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
veri
f
y
.
c
: extra
c
t
common
c
od
e
for verifying
op
e
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_rang
e
_propagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoo
l
aeg
e
barvinok_maximize: opti
o
nally use
(bas
i
c) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
Add
some support for dealing with evalues
t
hat repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
bar
v
inok
_
enum
e
r
a
te: supp
o
r
t
use
o
f Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
implem
e
nt
B
ernoul
l
i_
s
um
a
s conve
r
s
i
on f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
Bernoulli_sum_evalue:
e
xploit in
t
eger bounds
to r
e
duc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
ke
e
p
track
o
f number of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
be
r
no
u
lli
.
c: pr
o
tec
t
shared eval
u
e fro
m
modifi
c
ations
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdo
o
laege
test Bernoulli sums based exact enum
e
ratio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barvinok_count_with_
o
ptions: comp
u
te (exact) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum_evalu
e
: opti
o
nally handle fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
l
a
ttice_point
.
h:
e
xport f
r
actiona
l
_par
t
w
i
th C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
barvi
n
o
k_
e
numerate_with_
o
pt
i
ons: compu
t
e
(e
x
act) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
B
e
rnoul
l
i_s
u
m_e
v
a
lue:
handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
r
n
oulli_sum
_
evalue: cut of
f
some redundant p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
Bernou
l
l
i
_
s
um_ev
a
lue:
make sure no
empty pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Bernou
l
li_
s
u
m_evalu
e
: remove redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c
:
m
inor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Be
r
noulli_sum: h
a
ndle
c
o
n
text c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ola
e
ge
Ber
n
oulli_s
u
m_
e
value
:
make s
u
re enough memory is
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
for_each_lowe
r
_upper_bound:
a
d
d a
n
oth
e
r callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
verify
.
c
:
adjus
t
de
f
ault range t
o
con
t
ext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c
: summate
_
over_dom
a
in: only
consider ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
pa
r
am_util
.
c: export Param_V
e
r
t
ex
_
S
e
t_
F
acets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
dool
a
ege
Param_Poly
h
edron_Face
t
: pass
fac
e
t de
f
ining co
n
straint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
g
e
n
f
un
.
cc: parallel
_
pol
y
topes: don't bothe
r
h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
do
o
laege
e
v
a
l
ue
_
s
plit
_
domai
n
s_into_
o
rt
h
ants: don't
r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
r
ead: only all
o
w terms to cros
s
n
ewlines i
n
side
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
eval
u
e_read: only a
c
cept implicit multipl
i
c
a
t
ion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
eval
u
e
_read: acc
e
pt constraints
c
on
t
aining
"'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
ev
a
lue_b
e
rnstein_co
e
fficients: ensure
r
e
su
l
t partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
d
o
o
l
ae
g
e
bernstein: piece
w
ise_lst
:
c
o
rrectl
y
print and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
next