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
lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)
2008-04-17
Sven Verdoolaege
la
t
t
ice
_
point
.
cc:
m
ulti_monom/la
t
tice_points:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
S
v
e
n
Verdoo
l
a
e
ge
doc: cl
e
an up "exponential substitution" sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoola
e
ge
te
s
t_bound
.
cc: avoi
d
loss
o
f precisio
n
cau
s
ed by conversio
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvi
n
ok
_
b
o
und: op
t
ionall
y
t
a
k
e maximal size of
domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
Verdoolaege
bar
v
i
n
ok_
b
ou
n
d: a
d
d -
-
iter
a
te
options
for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
verify
.
c
:
export
f
uncti
o
ns fo
r
setting an
d
clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
verify
.
c:
e
v
a
lue_optimum: allow computation
of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolae
g
e
bernstein
.
cc: ev
a
lue2ex: don
'
t
a
ssume
all periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rd
o
olaege
b
ound
.
cc: fi
x
call to evalue_
c
o
n
v
e
r
t
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{
a
dd,m
u
l}_periodics: plug memo
r
y l
e
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
e
rdoolaege
evalue
_
b
ernstein_coeffi
c
ients: han
d
le problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaeg
e
u
p
date polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolaeg
e
lattice
_
width
.
c: skip dir
e
ctions that are id
e
ntical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdoolaege
M
a
k
e
f
i
l
e
.
am: add cdd94e
-
test
t
o distri
b
ution
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
omega/occ: opt
i
onally us
e
parker fo
r
computing cardinality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
o
o
laege
normalization
.
c: s
k
ew_to_
p
ositiv
e
_orth
a
nt: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Ver
d
oolaeg
e
om
e
ga/conv
e
r
t
.
cc: re
l
ation2Dom
a
in: only collec
t
se
t
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaeg
e
occ: add d
u
mp for dumping
in barv
i
nok_en
u
me
r
a
t
e_e forma
t
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
ba
r
vinok_
e
n
umerate_e: op
t
i
onally use parker's m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rdoolaege
standard_
c
onstraints: tak
e
c
ons
t
raints inst
e
ad of polyhedr
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaege
normalizat
i
o
n
.
c: e
x
tract stan
d
ard_constr
a
ints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
parker/count_soluti
o
ns
.
cc:
f
ix treatment of existenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
c
omp
i
le parker
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Add
p
ark
e
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
euler
.
c
c: ev
a
lu
e
_
d
erive
:
handle constant polynomi
a
l
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoolaege
add some
t
est sets from cases
2004 and
cc 2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
r
ename barvinok_maximiz
e
to
b
a
rvino
k
_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
add a test for test_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
evalue_range_propaga
t
ion: remo
v
e redundant
po
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
tes
t
_bound
:
r
ecord number of polynomial
s
as "si
z
e"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
laege
test_bound: c
o
nvert
quasipolynomials to polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
test_bound: compare polyn
o
mial bound
a
lgorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoo
l
aege
v
erif
y
.
c: optimum: h
a
ndle input evaluating
t
o
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
verify
.
c: extract eva
l
ue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
ol
a
ege
verify
.
c: ex
t
r
act common code for verif
y
ing operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_range_propagation
:
add monotonicity
t
est
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
r
d
oolaege
barvinok_maximize: optiona
l
ly
use (basic) ra
n
ge propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
laege
A
dd some su
p
p
ort for deal
i
ng wit
h
evalues that rep
r
esent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
barvinok_enu
m
erate: supp
o
r
t
u
se of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
impl
e
ment B
e
rnoulli_sum
as convers
i
on from unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Be
r
noulli
_
su
m
_evalue: exploit inte
g
e
r bounds to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
ke
e
p track of number of
B
ernoulli
sum
s
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bernoulli
.
c: protect sh
a
red
e
value from modificati
o
n
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test Bernoulli
s
ums based exact
e
numeration
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
barvin
o
k_count_with_options: compute (ex
a
ct) Ber
n
o
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
Verdoolaege
B
e
rn
o
ul
l
i_
s
um_e
v
alue: op
t
io
n
ally
handle fra
c
ti
o
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
oolaege
lattice_point
.
h:
e
xport fractio
n
a
l_part w
i
th C linkag
e
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
barvinok_enumerate_with_options: compute (e
x
a
c
t)
B
ernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
g
e
Bernoulli_
s
u
m
_evalue: handle e
q
ualities
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_su
m
_evalue: cut off some
redundant p
a
rts
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Berno
u
lli_sum_
e
value: make sure no
empty pa
r
tit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdoola
e
g
e
Bernoul
l
i_su
m
_evalue: rem
o
ve r
e
dundant con
s
traint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoulli
.
c: minor refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdool
a
ege
B
ernou
l
li_sum: ha
n
dle con
t
ext constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ve
r
doola
e
ge
Be
r
n
o
ull
i
_sum_evalue: m
a
ke su
r
e enough memo
r
y
is all
o
cated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
f
or_e
a
ch_lower_upper_bound: add
an
o
ther ca
l
lback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: adjus
t
default
range to c
o
nt
e
x
t
if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
euler
.
cc: summate_over_domain: only conside
r
actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
ola
e
ge
param_util
.
c:
expo
r
t
Param_
V
ertex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
P
aram
_
P
o
lyhedr
o
n_Facet
:
pass facet d
e
fining c
o
nstra
i
nt
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdo
o
laeg
e
gen
f
un
.
cc: para
l
lel_polytopes: don'
t
bother ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue
_
split_d
o
m
a
ins_into
_
o
rthants:
d
on't reduce eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
o
olaege
ev
a
lue_re
a
d: only a
l
lo
w
te
r
ms to cross newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoola
e
ge
evalue_read: only acc
e
pt impli
c
i
t
multiplication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
lae
g
e
evalue_read: accept con
s
tra
i
n
ts contai
n
ing "'-' sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rd
o
olaege
evalue_be
r
nstei
n
_coeffici
e
nts: ensure result partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n V
e
r
doolaege
b
e
rn
s
tein: piecewise_lst: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove_al
l
_e
q
u
a
litie
s
: keep rem
o
ving
p
a
rameter equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
update p
o
l
y
l
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc: c
o
nsistent use of
Ke
v
in's initi
a
l
s
commit
|
commitdiff
|
tree
2008-03-24
S
ven Verd
o
olaege
doc: update now published papers
commit
|
commitdiff
|
tree
2008-03-24
S
ven Ve
r
doolaege
fo
r
_
e
a
c
h
_lower_upper_bound: allow a
b
s
ence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "ea
d
d_
p
artitions: tr
y
to
combine multiple domai
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en
Verdoolaeg
e
e
v
alue
_
read_partition:
p
ut partitions back in t
h
e same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
evalue: re
d
uce_evalue: add
n
ote on some missed opportunitie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
b
e
r
n
s
tein
.
cc: handl
e
input wit
h
unions
+ relation violate
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ve
r
doolaege
maximize
.
cc: deal with unions in inpu
t
during verification
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ve
r
doolaege
evalu
e
_substitu
t
e: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Ver
d
oolae
g
e
e
valu
e
.
c:
clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolae
g
e
e
v
alue_read: correc
t
ly read varia
b
le name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read:
a
ccept top level "rel
a
t
ion"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdoolaege
u
pdate polylib
commit
|
commitdiff
|
tree
2008-02-29
S
ven Verdoolaege
evalue_b
a
cksubstitute
:
add r
e
quired modulo constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalu
e
.
c: *_
p
artitions:
simplify constr
a
ints b
e
for
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
do
c
: m
o
re specific informa
t
ion on buggy cdd
l
ib vers
i
o
n
s
commit
|
commitdiff
|
tree
2008-01-28
Sven V
e
rdoolaege
configure
.
in: require c
d
d
l
ib 0
.
94e by testing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ve
r
doolaege
configure
.
in: only compile occ
i
f code_
g
en library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoolaege
bar
v
inok
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
o
lae
g
e
ad
d
some
t
ests for imple
m
e
n
tation o
f
project
i
on th
e
orem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
do
c
:
docu
m
ent
n
ew options an
d
ne
w
applicati
o
n
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
AUTHOR
S
: update supp
o
rt in
f
ormation
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
oolaeg
e
genfu
n
.
cc
:
short_rat::print: correctly pr
i
nt pol
y
no
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
r
dool
a
ege
E
xport
s
e
ries as
barvinok_enumer
a
te_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
remove_
p
a
rame
t
e
r_equa
l
iti
e
s
: stop "removin
g
" equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
serie
s
:
leav
e
freeing
of P argumen
t
to c
a
l
l
i
ng
funct
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ve
r
doolaege
doc: doc
u
ment
i
mplementation of th
e
projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
add barvinok
_
enu
m
erate_e_seri
e
s imple
m
e
n
ting the
p
rojection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
gen
f
un
.
c
c:
fix and d
o
cume
n
t para
l
l
e
l polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
O
nly
compile zsolve i
f
g
c
c
3
.
4 or later is a
v
aila
b
l
e
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoola
e
ge
Move GiNaC-indep
e
ndent part of lib
r
ary to b
a
rvinok
.
.
.
commit
|
commitdiff
|
tree
next