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
extract out param_polynomial from laurent.cc
2008-05-03
Sven Verd
o
olaege
Make laurent based s
u
mmation the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summat
e
.
c: bar
v
i
n
ok_summate:
ha
n
dle qu
a
s
i
-p
o
lynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
reduce_evalue: extract out evalue_r
e
duce_size
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdo
o
la
e
ge
evalue
.
c: evalue_sh
i
ft_va
r
iables: al
l
ow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ve
r
do
o
laege
summat
e
.
c: han
d
le e
q
uali
t
i
e
s
f
o
r all summation algorithm
s
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdo
o
la
e
g
e
summate
.
c: bar
v
inok_summate: move common par
t
s of su
m
mation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
eg
e
ev
a
lue
.
c
: evalue_sum: move
s
i
gn
han
d
ling into es
u
m
_
over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
ar
v
inok_e
.
cc: e
n
umerat
e
_sum:
u
se barvinok
_
summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoo
l
aege
summ
a
te
.
c:
e
xt
r
act barvinok_summate from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laeg
e
renam
e
summate
.
cc to
b
arvino
k
_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
evalue
.
c
:
reduce_
e
value
:
reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
doolaege
Add Laurent expansion based summat
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdoola
e
ge
e
value
.
c: extend eequal to handle domai
n
s
a
nd NaNs
commit
|
commitdiff
|
tree
2008-04-25
S
v
en
V
erdoolaege
b
i
nomial
.
c: extract
bi
n
o
mial and factorial
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n
V
erdoolaege
p
ower
.
h: e
x
tract from euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verd
o
olae
g
e
introduce
e
v
alue_shift
_
varia
b
les
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdo
o
laege
la
t
tice
_
p
o
i
n
t
.
cc: export relat
i
ve_c
o
ordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
lattice_point
.
h: make sure co
r
rect evalues
are
used
commit
|
commitdiff
|
tree
2008-04-24
Sv
e
n Verdoolaege
l
a
t
tice_
p
oin
t
.
cc: add
ceili
n
g functi
o
n
commit
|
commitdiff
|
tree
2008-04-24
S
v
e
n Verdoolaege
util
.
c: i
n
ternalize
ugly
bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven
Ver
d
oolaege
l
att
i
ce_point
.
cc: multi_monom/l
a
t
tice_p
o
ints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven
Verdool
a
ege
d
o
c: clean
up "expon
e
n
t
i
al subst
i
tution" sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
test_boun
d
.
cc: avoid loss of precision caused
b
y c
o
nversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdo
o
l
a
ege
barv
i
n
ok_bound
:
optionally take maximal size of
dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
a
rvinok_boun
d
:
a
d
d
-
-iterate
o
ptions for evaluati
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolae
g
e
verify
.
c: expo
r
t functions for setting
a
nd
c
lear
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdo
o
l
aege
v
eri
f
y
.
c: evalue_optimum: a
l
l
o
w comp
u
tation of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdool
a
eg
e
b
e
rnstein
.
c
c
: evalu
e
2ex: don't assum
e
a
ll periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
bound
.
cc: fix call to ev
a
lue
_
convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{a
d
d,mul}_periodic
s
: p
l
ug mem
o
ry
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verd
o
olaeg
e
evalue_berns
t
ein_c
o
e
f
fi
c
ien
t
s: handle pro
b
l
e
ms with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ve
n
Ve
r
d
o
olaege
updat
e
p
o
l
ylib
commit
|
commitdiff
|
tree
2008-04-05
S
ven Ver
d
oola
e
ge
lattice_width
.
c: skip dir
e
ctions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
ola
e
ge
Makefile
.
am: add c
d
d9
4
e-te
s
t to
distribu
t
ion
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
omega
/
occ: optio
n
all
y
use pa
r
ker for computing car
d
inality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
no
r
malizat
i
on
.
c
:
skew
_
to_po
s
i
tive_orthant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n Verdoolaege
omega/
c
on
v
e
rt
.
cc: relation2
D
omain: only c
o
ll
e
c
t set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
o
c
c: add
d
um
p
for dumping in ba
r
vinok_enum
e
rate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
b
arvinok_enumerate
_
e: o
p
tionally u
s
e p
a
rker's metho
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
standard_c
o
nstraints: take c
o
ns
t
raints instead of
poly
h
edron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
nor
m
alization
.
c: extract standard_const
r
ai
n
ts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verd
o
olaege
parke
r
/count_solu
t
ions
.
cc: fix treatmen
t
o
f
existentiall
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaege
compile par
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
Add p
a
rk
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
euler
.
cc: evalue_der
i
ve:
handle con
s
tant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
e
r
doolaege
a
d
d
s
ome test s
e
ts from
c
a
ses
2
004 a
n
d cc 2005 p
a
pers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
r
e
name barvin
o
k_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add a
t
es
t
f
or test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
eva
l
ue_range_p
r
opagati
o
n: remove redundant
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolae
g
e
test
_
b
oun
d
: reco
r
d
nu
m
ber of p
o
lynomials
a
s
"size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoo
l
aege
test_boun
d
: conv
e
r
t
q
uasipolyno
m
ials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
g
e
test_bound: com
p
are polyno
m
ial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdo
o
laege
ve
r
ify
.
c
:
optim
u
m:
ha
n
d
l
e
in
p
ut evaluatin
g
to n
e
g
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
verify
.
c: extract
evalue_o
p
t
imum
f
rom maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verif
y
.
c: extract
common c
o
de f
o
r verifying o
p
eration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
evalue_
r
an
g
e_propagation: ad
d
m
o
no
t
o
n
icity te
s
t
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
bar
v
inok_maximize:
optionally
u
se (basic)
r
ange propagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
Add some
support fo
r
d
e
aling with evalu
e
s
t
h
at represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
barvinok_enumerate: supp
o
r
t use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
implement Bernoulli
_
sum as conversion from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
Bernoull
i
_sum_evalue:
exploi
t
intege
r
bounds to
reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
keep trac
k
of n
u
m
be
r
of
Bernou
l
l
i s
u
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
be
r
noulli
.
c: p
r
otect shared evalue from m
o
dificat
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
test Berno
u
l
li s
u
ms b
a
sed exact enumerat
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
barvinok
_
c
ount_with_
o
ptions: c
o
mp
u
te
(
exact) Be
r
n
oulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Bernoulli_sum_evalue: op
t
i
onally handl
e
fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolae
g
e
la
t
t
ice_poin
t
.
h: export f
r
actional_part with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
doolaeg
e
barvin
o
k
_enumerate_with_o
p
t
i
ons: co
m
p
u
te
(
e
x
a
c
t) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
B
e
rnoulli_sum
_
e
value:
h
andle eq
u
a
l
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Be
r
noulli_s
u
m_evalue: c
u
t off s
o
me redundant pa
r
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
Be
r
noulli_sum_eva
l
ue: make sure no empt
y
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Bernou
l
li_sum_evalue
:
remove redundant con
s
trai
n
t
i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
berno
u
lli
.
c
: minor refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
e
r
n
oulli_sum:
han
d
le context constraints
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
Bernoulli_sum_eval
u
e: make
s
ure en
o
ugh memory is all
o
cate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
for_each_low
e
r_upper_bound: add anothe
r
callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
verify
.
c: ad
j
u
s
t de
f
ault ra
n
ge to context
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
euler
.
cc: sum
m
ate_over_do
m
ain: only c
o
nsid
e
r
a
c
t
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
ae
g
e
param_ut
i
l
.
c: export
Param
_
Vert
e
x_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Param_Polyhedron_F
a
cet
:
pass
f
acet defining constr
a
int
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ver
d
o
olaege
genfun
.
cc: para
l
l
el_polytope
s
: don't both
e
r han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verd
o
olaege
evalue_split_domains_int
o
_orthants: do
n
't
r
educe
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
va
l
ue_
r
ead: o
n
ly allow terms to cross newli
n
e
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
eva
l
ue_read: only ac
c
e
pt i
m
plicit multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
evalue_r
e
ad: accept constraints containing "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
e
v
alue_be
r
nstein_
c
o
efficients: ensu
r
e r
e
sult partition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdo
o
laege
bernst
e
in: piecewise_l
s
t: corre
c
t
l
y print a
n
d evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
rem
o
ve_all_equali
t
ie
s
: keep r
e
moving
p
arameter equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
updat
e
pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verd
o
olaege
doc: consistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
l
aege
do
c
: update now publ
i
shed pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n
Verdoolaege
for_each_l
o
wer_upper_bou
n
d: allow
a
bsence of lowe
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
e
vert "eadd_pa
r
ti
t
i
o
ns:
t
r
y to combine
multi
p
le do
m
ains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaeg
e
evalue
_
r
ead_pa
r
tition: put partitions back in the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
evalue
:
reduce
_
evalue: add note on
s
ome missed o
p
portuniti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
berns
t
ein
.
c
c: handl
e
input
with
unions + relation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoola
e
ge
ma
x
imiz
e
.
cc: de
a
l
with unions in
input
during
v
erification
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e_substitute: properly handle
relations
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
e
value
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
S
v
en V
e
rdoolaege
e
v
alue_
r
ead: correctly read variab
l
e names
commit
|
commitdiff
|
tree
next