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: move common parts of summation functions
2008-05-03
S
v
e
n
Verdoolaege
s
ummate
.
c: barvinok_summat
e
: mo
v
e common p
a
r
t
s
of sum
m
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Verdoolaege
evalue
.
c: e
v
alue_sum
:
move sign ha
n
dling
into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
arvinok_e
.
cc: enumerate
_
s
u
m: u
s
e barvinok_su
m
mat
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: extract barvinok_summate fro
m
barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdo
o
l
aege
rename s
u
mmate
.
cc to
b
a
rvinok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalu
e
.
c: r
e
duce_evalu
e
: redu
c
e
floor
with cons
t
ant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
A
d
d Laurent
e
x
p
ansion ba
s
ed summation
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdoolaege
evalu
e
.
c: extend eequ
a
l to handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
l
a
e
g
e
binom
i
a
l
.
c: extract bin
o
mial and fac
t
orial from
euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolaege
po
w
e
r
.
h:
ex
t
ract f
r
om eu
l
er
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
rdo
o
lae
g
e
introduce ev
a
lue_shi
f
t_variables
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdool
a
e
g
e
lattice_
p
oint
.
cc: export re
l
at
i
ve_coordi
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
erdoolaege
lattice_point
.
h
:
make sure
c
orrect
evalues are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verd
o
olaege
latt
i
c
e
_point
.
c
c
: add ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoo
l
aege
util
.
c:
i
nternalize ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Ver
d
oolaege
lattice_
p
o
i
nt
.
cc:
m
u
l
ti_mon
o
m/l
a
ttice_p
o
ints: r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sve
n
Verd
o
olaege
doc
:
clean up "exponential
substitution
"
sec
t
ion
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
t
e
st_bound
.
cc: avoid loss of precision caused by conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdo
o
laege
barvin
o
k_bound: optionally take
m
aximal si
z
e of doma
i
ns
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
ba
r
vinok_bound: add
--i
t
erate op
t
i
o
ns for
e
valuating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c:
e
xport functions for setting and clearin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Ve
r
doo
l
aege
verify
.
c: evalue_
o
p
t
imum: al
l
ow computation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc: eva
l
u
e2ex:
don't a
s
sume all
per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
bound
.
c
c
: fi
x
ca
l
l
to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
oolaege
e{add,mu
l
}
_
p
e
riodics
:
p
lug memor
y
leaks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
eva
l
ue_bernstein
_
coeff
i
cien
t
s
: handle
p
roblems
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven
V
erdoola
e
ge
update
p
o
lylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Ver
d
oolaege
latt
i
c
e_wi
d
t
h
.
c: sk
i
p directions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdoolaege
Ma
k
efile
.
am: add cdd94e
-
t
es
t
t
o
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
omega/occ: optio
n
ally use parker for computing cardinali
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
normalizati
o
n
.
c: skew_to_posit
i
ve_o
r
thant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
omega/convert
.
cc: relat
i
on2Dom
a
in: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
occ: add
d
u
m
p for dumping in bar
v
inok_enu
m
e
rate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
barvinok_e
n
umerat
e
_e: optionally
u
se pa
r
ker's meth
o
d
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
st
a
ndard_constrai
n
ts:
take
c
onstra
i
nts
i
nstea
d
o
f polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoola
e
ge
normalization
.
c: ext
r
act sta
n
da
r
d_constrai
n
ts from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven V
e
rdoolaeg
e
parker/
c
oun
t
_solutions
.
c
c
: fix t
r
e
atment
o
f
existentially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
euler
.
cc: evalue_derive: handle constant
p
o
l
ynomials
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
do
o
laege
add some t
e
st se
t
s from ca
s
es
2004 and cc 2005
p
apers
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
rena
m
e barvinok_maximize to barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doolaege
a
d
d a
t
est for tes
t
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
g
e
evalue_range_propagati
o
n: remove
redundant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
test_bou
n
d: rec
o
rd number of polyn
o
mials
as
"si
z
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
rdoolaege
test_bound:
conv
e
rt quas
i
p
o
l
y
n
omials to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
test_boun
d
:
c
ompare polynomi
a
l
bound
alg
o
rit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
ver
i
fy
.
c
:
o
ptimum: handle in
p
u
t
eva
l
ua
t
ing to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
olae
g
e
v
eri
f
y
.
c: e
x
tr
a
ct
evalue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
fy
.
c: extract common
c
ode for verifyin
g
operatio
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
eva
l
ue_rang
e
_
propagati
o
n
:
ad
d
mono
t
onicity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
bar
v
inok_maximize:
opti
o
nally
u
s
e
(basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
d
d some suppo
r
t
f
o
r dealing w
i
th e
v
alu
e
s
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
barvinok_enu
m
erate: su
p
port use of Euler-Macla
u
ri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaege
implemen
t
B
ernoulli_su
m
as
conversion f
r
om unweigh
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_
s
um_evalue: exp
l
oit integer bo
u
nds to reduc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
keep
track of number of Be
r
noull
i
sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
b
e
rn
o
ulli
.
c: protec
t
shared eval
u
e
from modific
a
t
ions
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
tes
t
Bernoulli sums based exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolae
g
e
barvinok_co
u
nt_wit
h
_options: c
o
mpute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
Be
r
noulli_sum
_
evalue: optionally han
d
le fractiona
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
l
a
ttice_point
.
h
: export
f
ra
c
t
i
onal_part wi
t
h
C
l
inka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
doolaege
barvin
o
k_en
u
m
e
r
a
te_w
i
th_
o
ptions: compute (
e
xact) Be
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
ol
a
eg
e
Be
r
noulli_sum_
e
va
l
u
e
:
handle equa
l
ities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Ber
n
oull
i
_s
u
m_ev
a
lue
:
cut off some re
d
undant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Ber
n
oulli
_
s
um_evalue: make sure no empty parti
t
ions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_sum_ev
a
lue
:
rem
o
v
e redun
d
a
n
t
c
o
n
s
traint i
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdool
a
ege
b
ernoulli
.
c:
m
inor
r
efactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
B
ernoul
l
i_sum:
h
andle context
c
ons
t
raints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
B
ernoulli_s
u
m_evalue: make su
r
e
enough memor
y
is allo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
for_each_lower_upper
_
b
ound: add another callback f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
ve
r
ify
.
c: adju
s
t default range to c
o
nt
e
x
t
if
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
u
ler
.
cc: s
u
mmate_over
_
do
m
ain: only consi
d
er act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
par
a
m_u
t
il
.
c: ex
p
ort Param
_
Vertex_S
e
t
_
F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doola
e
ge
Par
a
m
_
P
olyhedron_Fa
c
et: pa
s
s facet d
e
fining
constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
genfun
.
cc: parallel_polyto
p
es
:
don'
t
b
o
ther handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
evalue_split_domains_into_ort
h
an
t
s
: don't r
e
duce
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
evalue
_
read: only all
o
w terms to cross n
e
wlines
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
evalu
e
_read: only accept implicit m
u
lt
i
plicat
i
on on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
eval
u
e_read:
a
cce
p
t constra
i
nts
c
ont
a
i
ning
"
'-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
r
d
oolaege
evalue_
b
ernstein_coefficients: ensure res
u
lt partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
bernstein: pi
e
cewise_ls
t
:
correctl
y
pr
i
nt and
evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
olaeg
e
remove_all
_
equa
l
i
ties: keep r
e
mo
v
in
g
para
m
eter equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdoolaege
do
c
: consistent use of
K
evin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdo
o
laege
d
oc: update now
p
ub
l
is
h
ed pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ve
r
doo
l
aege
f
o
r_each_l
o
w
e
r_up
p
e
r
_bound
:
all
o
w absence
of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Rever
t
"eadd_partitions: try to combine
m
ultiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
e
v
alue_read_partition
:
pu
t
partitions back in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
evalue: r
e
duce_e
v
alue:
a
dd n
o
te on some misse
d
opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handle inp
u
t
w
ith unio
n
s + r
e
lation viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
m
a
x
imi
z
e
.
cc:
d
e
a
l
with un
i
on
s
in
i
n
put dur
i
ng v
e
rifica
t
io
n
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoolaege
evalue
_
s
ubstitute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoolaege
e
v
alue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaege
eval
u
e_re
a
d: correctly read
v
ar
i
able names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
ev
a
l
ue_read: ac
c
ept top
level "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verdoolaege
update poly
l
i
b
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsu
b
stitute: add required modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sve
n
Verdoolaege
evalue
.
c: *
_
partitions: simplify
c
onstr
a
i
nts
b
efore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolae
g
e
doc: more specific in
f
ormat
i
on on buggy cddlib
v
ersions
commit
|
commitdiff
|
tree
next