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
rename summate.cc to barvinok_summate.cc
2008-05-03
Sven Verdoola
e
ge
rena
m
e summate
.
c
c to barvinok
_
sum
m
a
t
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
eva
l
ue
.
c: reduce
_
evalue: r
e
duce floor with cons
t
a
nt
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
Add Laurent expans
i
on based su
m
ma
t
i
on
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
evalue
.
c: extend
e
equa
l
t
o
handle domains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdo
o
laege
binomial
.
c
:
extract
binomial and
f
ac
t
orial from euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
S
v
en V
e
rdoolaege
power
.
h: extr
a
c
t from eule
r
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven
Verdoo
l
ae
g
e
i
ntroduce
e
value_shift_
v
ariables
commit
|
commitdiff
|
tree
2008-04-25
S
ve
n
V
e
rdoolaege
l
a
t
t
ic
e
_point
.
cc: export relative_coordinates
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
l
a
ttice
_
poi
n
t
.
h:
m
ake sure
correct evalue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
do
o
laeg
e
lattic
e
_point
.
cc: add ceil
i
n
g
f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdoolaeg
e
ut
i
l
.
c: inter
n
al
i
ze ugly bv_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sv
e
n
V
e
r
doolaege
lattice_point
.
c
c
:
multi_monom
/
lattice_points
:
r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sven Verd
o
olaege
doc: cle
a
n up "exponential substitution" s
e
ction
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
test_bound
.
cc:
avoi
d
loss
o
f
preci
s
ion
c
ause
d
by conv
e
rsion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verdoolae
g
e
barvinok_
b
ound:
o
ptionall
y
take maximal
size o
f
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
Verdoolaege
b
arvinok_bo
u
nd: add --iterate op
t
io
n
s for
e
v
a
luatin
g
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdo
o
lae
g
e
ve
r
ify
.
c: export functions fo
r
s
e
tting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
verify
.
c:
evalue_op
t
imum: allow computation
o
f opt
i
mum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bernstein
.
cc:
e
v
alue2e
x
:
d
on'
t
a
ssu
m
e
a
l
l peri
o
dic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
c
c
:
fix call to ev
a
lue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
e{add,mul}_perio
d
ics: plug me
m
ory l
e
aks
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_b
e
rnstein
_
coe
f
fic
i
ents: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rd
o
olaege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-04-05
Sve
n
Verd
o
olaege
latt
i
c
e
_width
.
c
:
skip directions t
h
at
a
re ident
i
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Ver
d
oo
l
a
ege
Makef
i
le
.
am: add c
d
d94e-te
s
t
t
o
distr
i
bution
commit
|
commitdiff
|
tree
2008-04-03
S
ven Ve
r
d
o
o
laege
o
m
eg
a
/oc
c
: opti
o
nally use
parker fo
r
computing cardinal
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
no
r
ma
l
izat
i
on
.
c:
sk
e
w_to_positive_ort
h
a
n
t: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
ome
g
a/conver
t
.
cc: relatio
n
2Dom
a
in: only
c
ollec
t
set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Verdoolaeg
e
occ: add dump
for dumping in bar
v
inok_enumerate_e form
a
t
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
e
r
d
ool
a
e
ge
barvinok_enum
e
rate_
e
:
optionally use park
e
r's method
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
standard_
c
onstraints: take c
o
nstrain
t
s instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en V
e
rdoolaege
normalizati
o
n
.
c: extract st
a
ndar
d
_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en Verdo
o
laege
parker/coun
t
_solutions
.
cc: fix t
r
e
a
tment of e
x
istentia
l
ly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ven Verdo
o
lae
g
e
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdo
o
laege
Add parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
euler
.
c
c
: evalue_der
i
v
e
: hand
l
e constant
polynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
add s
o
me tes
t
sets from
c
ase
s
2004 a
n
d cc 2
0
05 pap
e
rs
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
renam
e
barvi
n
ok_maxim
i
z
e
to b
a
r
v
ino
k
_
bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
add a test for te
s
t_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
value_r
a
nge_propagat
i
on: remove redund
a
nt polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
te
s
t_bound: record
n
umber of polynomials as "s
i
z
e
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olae
g
e
t
e
st_boun
d
: conver
t
q
u
asipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
ol
a
ege
test_
b
ound: compare pol
y
nomi
a
l bound a
l
gorithms
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
e
rdoolaege
ve
r
i
f
y
.
c: opti
m
u
m
: handle input e
v
al
u
a
t
i
ng t
o
n
ega
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
eg
e
v
e
rify
.
c
:
ex
t
ract evalue_optimum from maxim
i
ze
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: extract com
m
on code for ver
i
fying o
p
e
rati
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
ev
a
lue_range_p
r
op
a
gat
i
on: a
d
d monotoni
c
ity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
ool
a
ege
barvinok_ma
x
imize: op
t
ionall
y
use (basi
c
)
ran
g
e propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
Add so
m
e support for dealing wi
t
h evalues that
r
epre
s
ent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvin
o
k_enumerate
:
supp
o
r
t use of E
u
l
er-M
a
c
lauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
imple
m
ent Berno
u
lli_sum as conversi
o
n f
r
om
unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
r
do
o
laeg
e
Bernoulli_su
m
_e
v
alue: exploit
i
n
t
e
ger b
o
unds to
r
educe
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
eep track of numb
e
r
of Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
berno
u
ll
i
.
c: protect shared eval
u
e from modif
i
ca
t
ions
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdo
o
laege
test Bern
o
ulli
s
u
ms based
e
xact enumeratio
n
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
barvin
o
k_count_with_o
p
tions: com
p
ute (exact)
B
e
r
noulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
l
i_su
m
_evalue: opt
i
onally
h
a
n
d
le fract
i
onal
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
lattice_
p
oint
.
h: exp
o
rt frac
t
ional_pa
r
t with
C li
n
kage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_enumer
a
t
e
_with_
o
ptions
:
comput
e
(e
x
a
c
t) Bern
o
ulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
Bernoulli_s
u
m_e
v
alue: handle equalities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
l
a
ege
Bernoulli
_
sum_eval
u
e:
cut off
s
ome redundant
p
arts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_
s
um_
e
valu
e
:
mak
e
su
r
e no empty partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
Bernoulli_
s
um_evalue: remove redu
n
dant co
n
straint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoolaege
b
e
r
noulli
.
c: minor
r
efactoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli
_
su
m
: handle co
n
text constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
B
e
r
nou
l
li_sum_ev
a
lue: make sure enough memory is
all
o
c
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
for_each_lower_upper
_
b
o
und: add another callback f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
v
erify
.
c: adjus
t
default r
a
nge to c
o
ntext
i
f needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eul
e
r
.
cc: summate
_
o
ver_domain: only co
n
sider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
param_util
.
c: e
x
p
ort Param_
V
ertex_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
d
oolaege
Param_Polyhedron_Face
t
:
p
a
ss face
t
defining
c
onst
r
aint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
gen
f
un
.
cc: p
a
rallel_po
l
ytopes: do
n
'
t
b
oth
e
r handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolae
g
e
e
v
alue_split_domains_into_or
t
hants: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
evalue_read:
o
nly
a
llo
w
term
s
t
o cross
n
ewli
n
es
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
evalue_re
a
d: only accept im
p
licit
m
ultiplicat
i
o
n
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
evalue_read: ac
c
ept cons
t
rain
t
s con
t
aining "'-' spac
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
e
value_
b
ernst
e
i
n
_c
o
e
f
ficients:
ens
u
re result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
bernstein: piecewise_
l
st: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Ver
d
oo
l
aege
remove_all_equali
t
ies: keep removing parame
t
er
e
q
u
al
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolaeg
e
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
S
v
e
n
V
e
rdoolae
g
e
doc:
c
o
n
sistent u
s
e of Kev
i
n
's in
i
tials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verd
o
o
laege
do
c
: update
n
o
w published paper
s
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verd
o
olae
g
e
fo
r
_each_lower_u
p
per_
b
ou
n
d:
all
o
w absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
a
e
ge
Revert "eadd_pa
r
t
i
t
ions: try to com
b
ine mul
t
ip
l
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
Ve
r
d
o
olaege
evalue_r
e
a
d_partition: put parti
t
ions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
eval
u
e: reduce_e
v
alu
e
: add note
on some
m
issed o
p
po
r
t
uni
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoo
l
aege
be
r
nstein
.
cc:
han
d
le
input with u
n
ions + r
e
lation violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
maxim
i
ze
.
cc: deal
with unio
n
s
i
n input during verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
evalue_substitut
e
: prop
e
rly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
olaege
evalue
.
c: clean up emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
e
value_r
e
ad: corr
e
ctly read
v
a
ri
a
b
le n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erdoola
e
ge
evalue_read:
a
c
c
ept top leve
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven
Verdo
o
laege
evalue_
b
acksubstitut
e
: add required
modul
o
con
s
trai
n
t
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolaege
eval
u
e
.
c:
*
_
partitions: simplify con
s
t
r
a
ints befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoo
l
aege
doc: more specific infor
m
ation on buggy cddl
i
b ve
r
sions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ve
r
dool
a
e
g
e
c
on
f
igur
e
.
in: requi
r
e cdd
l
ib
0
.
94e by te
s
ting for bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doola
e
ge
configure
.
i
n: only
compile occ if code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
doolaege
ba
r
vinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
add some tests fo
r
implementation of projection theorem
commit
|
commitdiff
|
tree
next