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
Sve
n
Verdoolaege
evalu
e
.
c: eva
l
ue_shift_variable
s
: allow shi
f
ting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
laege
summa
t
e
.
c: handle e
q
ualities for all summation algori
t
hms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
sum
m
a
te
.
c
:
ba
r
vinok_summa
t
e: move common
p
ar
t
s of
s
umm
a
tion
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
e
v
alue
.
c: evalue_sum
:
move sign h
a
ndling
i
nto
esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
barvi
n
ok_
e
.
cc:
enumerate_sum: use barvinok
_
s
umm
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summa
t
e
.
c
: extract barvinok_sum
m
at
e
from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rena
m
e
s
u
mmate
.
cc to barv
i
n
o
k_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: reduce_evalue: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
A
dd Laurent ex
p
ansion bas
e
d summation
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
d
o
o
laege
evalue
.
c: extend eequal to hand
l
e
d
o
m
ai
n
s
a
nd Na
N
s
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
b
i
nomial
.
c: ext
r
act bin
o
mial and fact
o
rial
f
r
om
eu
l
er
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolae
g
e
power
.
h: extract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdo
o
laege
introd
u
c
e
evalue_shift
_
variables
commit
|
commitdiff
|
tree
2008-04-25
S
v
e
n Verdoolaege
l
a
ttice_point
.
cc: export relativ
e
_
c
oo
r
di
n
ates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdool
a
ege
la
t
tice_point
.
h: mak
e
s
u
re corr
e
ct evalues
are
used
commit
|
commitdiff
|
tree
2008-04-24
Sven
V
e
rd
o
olaege
l
a
ttice_p
o
int
.
cc: add ceiling
f
unct
i
on
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoolaege
util
.
c: inte
r
n
a
l
ize ug
l
y bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
S
v
en Ve
r
do
o
lae
g
e
lattice_p
o
int
.
cc:
m
u
lti_mo
n
om/lattice_points: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
ven Verdoo
l
aege
doc:
clean up "expone
n
tial substitution
"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
test_bound
.
cc: a
v
oi
d
loss of prec
i
sion caused
b
y conversion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
ba
r
vi
n
ok_
b
ound
:
optio
n
all
y
take maxi
m
al s
i
ze o
f
domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
b
a
rvinok_bound:
a
dd --iterate
o
ptions for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
V
e
rd
o
olaege
verify
.
c: ex
p
ort functi
o
ns for setting and cleari
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
v
e
rify
.
c: evalue_optimum: allo
w
computation of
optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ver
d
o
olaeg
e
berns
t
e
in
.
cc: eval
u
e2ex: don't assume
all perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoola
e
g
e
bound
.
cc: fix call to evalue_c
o
nvert
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoolaege
e{add,mu
l
}_peri
o
dics: plug memory le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
r
doolaege
eval
u
e_bernstein_coe
f
ficients: h
a
n
d
le problems wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n V
e
rdoolaeg
e
update polyli
b
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verdoolaege
lattice_
w
idth
.
c: ski
p
directions that
are i
d
entica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
en Verdool
a
ege
Mak
e
fi
l
e
.
am: add cdd94e-test
to di
s
tr
i
buti
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
o
mega/occ:
o
ptionally use parke
r
for c
o
m
puting ca
r
di
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolaege
n
o
rmali
z
a
tion
.
c:
s
kew_to_p
o
sitive
_
orthant: p
r
o
perly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
omeg
a
/convert
.
cc: relation2Do
m
ain: only
c
ollect
se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoo
l
aege
occ:
a
d
d dump fo
r
dumping in barv
i
nok_enumerate_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oolaege
barvinok_en
u
merate_e: op
t
ionally use
par
k
er's method
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaege
standard_
c
onstra
i
nts: t
a
ke constraints instead of polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
normali
z
ation
.
c: extract stan
d
ard_
c
onstraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdo
o
laege
parker
/
count_solut
i
ons
.
c
c
:
fix
tre
a
tment of existentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
V
erdoolaege
compil
e
park
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
euler
.
cc: evalue_der
i
ve
:
hand
l
e
constant
polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
add some t
e
st sets from cases
2004 and cc 2
0
05
p
a
p
er
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
rename barvinok_maxi
m
iz
e
t
o
barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
ae
g
e
add
a test f
o
r test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_range_pro
p
agation:
r
e
m
ove redundant
p
olyno
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
test
_
bound: record
number of polynomial
s
as "
s
ize"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_bound:
co
n
vert quasipolynomials to pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_bo
u
n
d
:
compare polynomial boun
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
verify
.
c: op
t
imum: handle inpu
t
evaluating to negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
a
e
ge
v
erify
.
c: e
x
t
r
act evalue_optimum fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
olaege
verify
.
c
:
extrac
t
comm
o
n
code for verifying
op
e
ration
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
dool
a
ege
evalue_range_propagation: add monotonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvin
o
k
_maximize: optio
n
ally use
(basi
c
) ra
n
ge pr
o
pagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Add some s
u
pport for dealing with evalues t
h
at represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
ool
a
ege
barvinok
_
enum
e
rate: suppo
r
t use of Euler-Mac
l
aurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaeg
e
i
m
plement
B
ernoulli_s
u
m as convers
i
on from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
B
e
r
noulli_sum_evalue: explo
i
t integer bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
keep tra
c
k of
number of
Ber
n
oulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
ven Ve
r
doolaege
bernou
l
li
.
c: pr
o
te
c
t shared evalu
e
from modifications
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
test B
e
rnoulli
sums based
exact enumeration
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
barvinok_count_wit
h
_
o
p
t
ion
s
: compute (exact)
B
ernou
l
l
i
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
B
e
rnoull
i
_s
u
m_evalue: o
p
tionally handle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h: e
x
port fractional_p
a
rt wi
t
h C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
b
a
rv
i
nok_enu
m
erate
_
with_opt
i
o
ns: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalue: hand
l
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
ulli_sum_evalu
e
: cut o
f
f s
o
me
redundant parts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
sum_evalue: make su
r
e no
empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rn
o
ul
l
i_sum_ev
a
lue:
r
em
o
ve redundant constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
bernoull
i
.
c: mino
r
refactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
Ber
n
oulli_sum: h
a
nd
l
e context
c
onstr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Bernoulli_sum_evalue: make sure
e
nough memory
i
s allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aeg
e
fo
r
_each_lowe
r
_
uppe
r
_bound
:
add an
o
ther
c
allb
a
ck for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
e
g
e
verify
.
c
: adjust defa
u
lt range to context i
f
needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
e
ge
euler
.
cc: summate_
o
ver_domain: onl
y
c
onsider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
o
l
aege
param_util
.
c:
export
Param_Vertex_S
e
t_Facets
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erd
o
o
l
aege
Param_Polyhedron_Fac
e
t: pass fac
e
t defin
i
ng constrai
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
genfu
n
.
cc:
parall
e
l_pol
y
to
p
e
s
: d
o
n'
t
bother handli
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_spl
i
t_d
o
m
ains
_
into_orthants
:
don't reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
evalue_read:
o
nly allow terms to cross
n
ewlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolae
g
e
e
value_
r
ead:
o
n
l
y
accept implicit multiplication o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoola
e
ge
eva
l
u
e_rea
d
: accept c
o
nstraints cont
a
ining "'-' s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ver
d
oo
l
aeg
e
evalue_bernstein_c
o
efficients:
ensure re
s
ult partiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erd
o
olaege
bernstei
n
:
pi
e
c
ewise_lst: correctly print and eva
l
u
ate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
doola
e
ge
r
emove_all_equal
i
t
i
es: keep removing parameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
do
c
: consistent use of Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
S
ven
Verdool
a
ege
d
o
c:
u
pdate now
publi
s
h
ed pa
p
e
r
s
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
for
_
e
a
ch
_
l
o
wer_upper_bound: allow ab
s
ence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
R
e
v
ert "eadd_partit
i
o
n
s
: try t
o
c
o
m
b
ine mu
l
tip
l
e domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdo
o
l
aege
evalue_read_pa
r
tition: put partiti
o
ns back in the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
eval
u
e: reduce_evalue:
a
dd note o
n
some missed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdo
o
laege
bernst
e
in
.
cc: handle i
n
put
w
i
t
h u
n
i
o
ns + relation
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
do
o
la
e
ge
m
aximi
z
e
.
cc: deal wit
h
unions in input during ve
r
ificat
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdool
a
ege
evalu
e
_sub
s
titute: properly h
a
ndle
r
elations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c
:
c
lean u
p
emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalu
e
_read:
c
orrectly r
e
a
d
variable names
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue_read: accept
top level "relatio
n
"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolaeg
e
u
p
date polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdoolaege
ev
a
lue_backsub
s
titute: add required modulo constrain
t
s
commit
|
commitdiff
|
tree
next