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: evalue_shift_variables: allow shifting of only parameters
2008-05-03
Sven Verdoolaege
eva
l
ue
.
c
: evalue_shift_variables: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oo
l
aege
summate
.
c:
h
andle equalities for all sum
m
ation a
l
gorith
m
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summate
.
c:
barvinok_su
m
mate: move common parts of
summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c: ev
a
lue_sum:
mo
v
e sign
handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
b
a
r
vinok_e
.
cc: enumerate_sum: use
b
arvinok
_
sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
su
m
m
a
t
e
.
c: extr
a
ct barvinok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
Verdoolaege
rename summate
.
cc to ba
r
v
in
o
k_
s
ummate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
e
value
.
c: re
d
uce_
e
value: r
e
d
uce floor with
c
o
n
sta
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolae
g
e
Ad
d
Laurent expansion
b
ased su
m
mation
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdo
o
l
aege
eva
l
ue
.
c: ex
t
end eequ
a
l to handle do
m
ains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doolaege
binomial
.
c: ext
r
act
b
ino
m
ial and factorial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
p
o
w
er
.
h
:
e
xtrac
t
f
r
om e
u
ler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Ve
r
doola
e
g
e
introduc
e
evalue
_
shift_variab
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
l
a
tti
c
e_point
.
cc: export
relative_coordin
a
tes
commit
|
commitdiff
|
tree
2008-04-24
S
v
en Verdoola
e
ge
l
a
tti
c
e_point
.
h: make sure correct
eva
l
ues a
r
e
used
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
r
d
oo
l
a
ege
latti
c
e_poin
t
.
cc: ad
d
ceiling function
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
util
.
c: internalize u
g
ly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Ve
r
doolae
g
e
l
attice_point
.
cc: mu
l
ti_monom/
l
at
t
ice_p
o
i
n
t
s: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n
Verd
o
olaege
do
c
: clean up "
e
xpo
n
entia
l
s
ubstitution" section
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
oolaege
t
e
st_bound
.
cc: avo
i
d
l
o
s
s of
p
r
ecisi
o
n
c
aused
b
y conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: opt
i
onally take
m
axima
l
size of dom
a
ins
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
barvi
n
ok_bound: add --iterate op
t
ions for
evalu
a
ting
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
v
e
rify
.
c: export fu
n
c
t
i
o
ns f
o
r set
t
i
n
g and
c
lea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n Ve
r
doo
l
a
ege
ve
r
ify
.
c
:
evalue
_
optimum: allo
w
com
p
ut
a
tion of o
p
timu
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernste
i
n
.
cc:
evalue2ex: don't ass
u
me a
l
l
p
eri
o
d
i
c
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
bound
.
cc: fix
c
all to evalue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolae
g
e
e{add,mul}_periodi
c
s: pl
u
g memory leak
s
commit
|
commitdiff
|
tree
2008-04-08
S
ven
Verdoolae
g
e
evalue_bernstein_coeffic
i
ents: handle p
r
oblems
w
ith
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolae
g
e
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaege
latt
i
ce_width
.
c:
s
kip direction
s
that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sve
n
Verdoo
l
aege
Ma
k
efi
l
e
.
am: add cdd
9
4e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omega
/
oc
c
: op
t
ionall
y
use parker fo
r
computi
n
g cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoola
e
ge
normalizati
o
n
.
c: skew_to_pos
i
t
ive_orthant
:
p
r
operl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/conver
t
.
cc: relati
o
n2Domain: only coll
e
ct se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
dool
a
ege
occ: a
d
d
d
ump f
o
r dumping in
b
ar
v
i
n
ok_enumerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
barv
i
nok_e
n
umerate_e: o
p
tio
n
a
lly
use park
e
r's
met
h
od
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdo
o
laege
standard_const
r
aints: take constraints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoola
e
ge
normalizatio
n
.
c: extract
s
tanda
r
d_c
o
nstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verd
o
ola
e
ge
parker/count
_
solutions
.
cc: fix treatment of e
x
istent
i
ally
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
er
d
oolaege
co
m
pile
pa
r
ke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
c
c
: eva
l
ue_de
r
ive:
han
d
le constant polynomials
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
r
doolaege
add
s
ome
t
est set
s
from cases 2004 and
cc
2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
rename barvinok_maxim
i
ze to b
a
r
v
inok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
add a test
for test
_
b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
eva
l
ue_range_propagation:
rem
o
ve redundant po
l
y
n
omi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t_boun
d
: record number of polynom
i
a
l
s
a
s "s
i
z
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test_
b
ound: convert
quasipolyno
m
ials to polyn
o
mia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
test_bound: compare polyn
o
mi
a
l bound algori
t
h
ms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
ver
i
f
y
.
c: optimum:
h
and
l
e
input evaluatin
g
t
o
n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
r
i
fy
.
c: extract eval
u
e
_optimum
from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olaege
v
e
rify
.
c
:
extract common code for verifying o
p
e
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
evalue_r
a
ng
e
_propagation:
add mo
n
otonic
i
ty test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
barvinok_maximiz
e
:
optionally use (basic)
r
ange propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
eg
e
Add some su
p
po
r
t for dealing with evalues t
h
at represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaeg
e
bar
v
inok_enumerate: s
u
p
p
ort
us
e
of
E
uler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
i
mplement Be
r
noulli_s
u
m as conv
e
rs
i
on
f
rom unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoola
e
ge
Bernoulli_sum_evalue: exploi
t
int
e
ger b
o
unds
to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
keep track of number of Be
r
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoull
i
.
c
:
p
rotect s
h
ared evalue from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
t
est Ber
n
o
ulli s
u
ms b
a
sed exact enumera
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvin
o
k_count_
w
ith_op
t
io
n
s: com
p
ute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli
_
s
um_evalue:
o
p
tio
n
al
l
y han
d
le fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
lattice_point
.
h: export fractional_part
w
ith C linka
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerate_with_options: compu
t
e (
e
xact) Bernou
l
li
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdool
a
ege
Bernoulli_sum_ev
a
lue: hand
l
e equali
t
ies
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
B
e
rnoulli_sum_evalue: cut off some r
e
dund
a
n
t parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
o
ol
a
ege
Bernoulli_sum_evalue: mak
e
sure no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n V
e
rdoolaege
Bernoulli_sum_
e
value: remove redundant constraint
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bernoulli
.
c:
minor refact
o
r
i
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_sum: handle
c
ontext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalue: make
sure
e
nough memory is allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
for_each
_
l
o
wer_upper_bou
n
d: add another callback f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
veri
f
y
.
c:
a
djust def
a
u
lt ra
n
g
e
to cont
e
xt
if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
eul
e
r
.
cc: summate_over_d
o
ma
i
n
: o
n
ly conside
r
actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param
_
ut
i
l
.
c: ex
p
ort Param_Vertex_Set
_
Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
P
a
ra
m
_Polyhedron
_
Facet:
pass fa
c
et def
i
n
i
ng constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
ge
n
fun
.
c
c
: parallel_polytopes: don't
bother handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
split_domains_into_or
t
hants: don't reduc
e
evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
evalue_r
e
ad: only
a
l
low terms
t
o
c
ross newli
n
es in
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
eva
l
ue_re
a
d
:
only accept implicit
m
ultiplic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
evalue_read:
a
ccept constra
i
nts contain
i
ng "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
evalue_berns
t
e
in
_
c
o
effi
c
ients: ens
u
re
r
esul
t
partit
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
o
o
laege
bernstein: pi
e
cewise_
l
st: correc
t
ly print and e
v
alua
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remov
e
_all_equalities: keep
remo
v
ing para
m
et
e
r equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
u
p
da
t
e polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: cons
i
stent use of Ke
v
in's i
n
itials
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
doc:
u
pdate now publishe
d
pape
r
s
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdool
a
ege
for_each_lower_upper_b
o
und: allo
w
absence of
lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
rdoola
e
ge
Revert "eadd_partition
s
: t
r
y
t
o combine
multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
aege
e
value_r
e
a
d_partition: pu
t
partitions back in the
s
ame
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue: reduc
e
_evalue:
a
dd note on som
e
missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
bernstein
.
cc: handl
e
in
p
ut
w
ith unions + re
l
ati
o
n
viola
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
Verd
o
o
l
a
eg
e
maxim
i
ze
.
cc: deal with unions i
n
input during ve
r
ification
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaege
evalue
_
subst
i
tute
:
properly
h
andle relations
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdo
o
laege
ev
a
l
ue
.
c
: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rd
o
olaege
e
value_r
e
a
d: co
r
rect
l
y read variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolaeg
e
evalue_rea
d
:
accept top level
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaeg
e
update poly
l
ib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
oolaege
evalue_ba
c
ks
u
b
st
i
t
u
te:
a
dd required mo
d
ulo const
r
aints
commit
|
commitdiff
|
tree
next