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: export evalue_reorder_terms
2008-05-04
Sven Verdo
o
la
e
ge
e
v
alue
.
c:
e
x
p
ort eva
l
ue
_
reorder_t
e
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstei
n
: numeric2val
u
e: fix typo to al
l
ow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
util
.
c:
Facto
r
_Context: e
x
tracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verd
o
olaege
summate
.
c: barvinok_su
m
mate:
i
gno
r
e floor
s
inde
p
enden
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
oolaege
evalue
.
c: add evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n Ve
r
doolaege
o
mega/occ: print bar
v
inok version number
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
doc:
upda
t
e
s
o
me reference
s
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent based summati
o
n the d
e
f
a
ult
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoo
l
aege
summate
.
c: ba
r
vinok_s
u
mmate: handle
q
uasi-
p
olyn
o
m
ials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
red
u
ce_evalue: ex
t
ract out evalue_
r
ed
u
ce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c:
e
value_shift_var
i
ables:
allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven V
e
rdool
a
ege
s
u
m
m
ate
.
c
:
h
and
l
e equalities
f
or
a
l
l summation a
l
gorit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
s
um
m
ate
.
c: barvinok_s
u
mmat
e
: move common parts
of summati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdo
o
laege
eva
l
ue
.
c:
evalue_
s
um
:
m
o
ve sign
h
andling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
barvi
n
ok_
e
.
cc: enumerate_sum: use barv
i
nok_su
m
mate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summ
a
te
.
c: extract barvinok_summa
t
e from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaeg
e
rename s
u
mmate
.
cc to barvinok_su
m
mat
e
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalu
e
.
c: reduc
e
_evalu
e
:
reduc
e
fl
o
or with constant
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verd
o
olaege
Add Laurent
e
x
p
an
s
ion based
su
m
mation
commit
|
commitdiff
|
tree
2008-04-25
S
v
en V
e
rdoolaege
ev
a
l
ue
.
c: extend e
e
qual
to handle d
o
ma
i
ns a
n
d NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
binomial
.
c
: extr
a
ct binomial and factorial from eul
e
r
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdoolae
g
e
po
w
er
.
h:
e
x
tract from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en Verdoolaeg
e
introduce evalue_shift_variab
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
S
ven Verdool
a
e
g
e
latt
i
ce_
p
oint
.
cc: export relati
v
e_coo
r
dinate
s
commit
|
commitdiff
|
tree
2008-04-24
S
ven Verdoola
e
ge
lattice_point
.
h: m
a
ke sure
c
orrect evalues
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaege
latti
c
e_poin
t
.
cc: add ceiling f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoola
e
ge
util
.
c: internalize ugly bv_
c
eil3
commit
|
commitdiff
|
tree
2008-04-17
Sven Verdoo
l
a
ege
lat
t
ice_
p
oint
.
c
c: multi_monom/lattice_p
o
ints: return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n
Verdoolaege
doc
:
cl
e
an up
"
ex
p
onential substit
u
t
i
on" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolaege
test
_
bound
.
cc: avoid
l
o
s
s of precis
i
on
caused by
c
onver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
barvinok_bound: opti
o
nally
t
ake maximal size of domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
barvinok_bound: add
--iter
a
te opt
i
ons for evaluat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
verify
.
c: export functions for se
t
ting and
clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolae
g
e
verify
.
c
: ev
a
l
ue_optimum: allo
w
computatio
n
of opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aege
be
r
n
stein
.
cc:
eval
u
e2ex:
don't assume
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdool
a
e
ge
b
ound
.
c
c
:
fix call
t
o
eval
u
e_
c
o
n
ve
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoo
l
aeg
e
e{ad
d
,mul}_periodics: plug memor
y
l
eaks
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
V
e
rdoo
l
aege
e
value_b
e
rnstein_coe
f
ficients:
h
a
n
d
l
e prob
l
ems wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
d
o
ol
a
ege
u
p
date
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-04-05
S
ve
n
Verdoolaege
lat
t
ice_width
.
c: skip directio
n
s that are id
e
ntica
l
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
S
v
e
n
Verdoolaege
M
ak
e
file
.
am: a
d
d
c
dd94e-test to distributi
o
n
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
g
e
o
m
e
g
a
/occ: o
p
tionally use parker for computing cardin
a
lity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
dool
a
ege
no
r
malization
.
c
:
skew_t
o
_positive
_
o
r
thant:
prop
e
rl
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rd
o
olaege
omega/c
o
n
v
e
rt
.
cc: relatio
n
2Do
m
a
in:
o
nly coll
e
ct s
e
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doola
e
g
e
occ
:
add dump for dumping in barv
i
n
o
k_enumerate
_
e
format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
barvino
k
_enumerat
e
_e: o
p
t
ion
a
lly u
s
e parker'
s
me
t
hod
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoola
e
ge
standard_constraints: take c
o
nstraints instead of
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
normal
i
zation
.
c
: extract standard_cons
t
raints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doo
l
aege
parker/count_solutio
n
s
.
cc: fix
treatment of
exist
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven
Verdoolaege
c
ompile parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
A
dd
p
ark
e
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
euler
.
cc:
e
value_d
e
r
ive: handle co
n
stant polynom
i
a
ls
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
a
dd some test sets f
r
om ca
s
es 2004
a
n
d cc 200
5
papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdool
a
ege
renam
e
barvinok_maximi
z
e
to barvi
n
ok_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_r
a
nge_propagatio
n
: remove redundan
t
pol
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doo
l
aege
test_b
o
und: record number of polyn
o
m
ia
l
s as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olae
g
e
test
_
bound
:
c
o
nve
r
t quasipolynomi
a
ls to
p
olynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaeg
e
t
e
st_
b
ound
:
compare po
l
y
n
omial bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
verify
.
c
:
o
ptimum: ha
n
dle inp
u
t evalua
t
ing to negativ
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
rify
.
c: extract
evalue_optim
u
m from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
ver
i
fy
.
c
:
extract common code for veri
f
yi
n
g o
p
e
r
ation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olae
g
e
eval
u
e_range
_
propagation: add m
o
notoni
c
ity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok
_
m
aximize: option
a
lly use (basic)
range propagatio
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Ve
r
doolae
g
e
Add
some support for dealing
with evalues
that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
barvinok_
e
num
e
r
a
te: suppor
t
u
se of Euler-M
a
cl
a
u
rin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
implement Bernoulli_sum as
conversio
n
from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Ber
n
oulli_sum_evalue: exploit in
t
ege
r
bounds to r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of
n
umber of
B
e
rnoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
bernoulli
.
c
: protect shared e
v
alue fro
m
modifications
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolae
g
e
test
Bernoulli
sum
s
based exact enumera
t
io
n
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
barvinok_count_with_
o
p
t
ions: compute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum
_
evalue: opt
i
onal
l
y
h
andle fr
a
cti
o
nal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattic
e
_poin
t
.
h
:
export
fraction
a
l_part with
C
l
inkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enum
e
ra
t
e_with_options: compute (e
x
act)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
Bernoulli_sum_evalue: handl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ve
r
doolaege
B
e
rnoulli_sum_evalue:
cut off some r
e
dundant pa
r
ts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_sum_e
v
alue: make sure no empty part
i
tions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
B
e
rnoulli_sum
_
evalue: remov
e
red
u
ndant co
n
stra
i
nt in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
bernoulli
.
c
:
minor refa
c
toring
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdool
a
ege
Bernoul
l
i_sum: h
a
ndle con
t
e
x
t c
o
nstraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolae
g
e
Be
r
noulli_su
m
_evalu
e
: m
a
ke sure
enough memory
is allocat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doolaege
for
_
each_lower_upper_bou
n
d
:
add another callback
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
ver
i
fy
.
c: adjus
t
default
ra
n
ge to context if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
e
u
ler
.
cc: summate_over_domai
n
: on
l
y
c
o
nsider actu
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laeg
e
param_uti
l
.
c: export Param_Verte
x
_
Set_Facet
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
Param_Polyhedron_Facet: pa
s
s fac
e
t defining c
o
nstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
genfu
n
.
cc
:
pa
r
allel_po
l
ytopes: d
o
n'
t
b
other handlin
g
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
e
value_
s
pl
i
t_d
o
mains_into_orthants:
d
o
n
'
t
r
educ
e
e
value
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_read:
o
n
l
y al
l
ow
te
r
ms to cross newlin
e
s
i
ns
i
de
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
evalue_read: only accept implici
t
multi
p
lication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
o
laege
evalue_read: accept co
n
straints
cont
a
ini
n
g
"
'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
eval
u
e_ber
n
stein_co
e
f
ficien
t
s: ensu
r
e result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdool
a
ege
b
ern
s
te
i
n: piecewise_lst: correct
l
y prin
t
an
d
e
v
aluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaege
rem
o
ve_all_equalities: k
e
ep
remo
v
ing paramete
r
equal
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
update
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
doc:
c
onsistent use
o
f Kevin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
d
oc:
update now published paper
s
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verdo
o
laege
for_
e
a
c
h
_
lowe
r
_uppe
r
_bound: allow absenc
e
of lo
w
er
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
olae
g
e
Revert "eadd_part
i
ti
o
ns: try t
o
combi
n
e multipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
next