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
barvinok 0.30
2008-05-04
Sven
V
erdoolaeg
e
doc:
document more --summation methods for barv
i
nok_su
m
m
a
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
d
oo
l
aege
opti
o
n
s
.
c: re
n
a
me "barv
i
nok" summation metho
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolae
g
e
Ma
k
e
f
i
le
.
am:
check
-
euler: also chec
k
lauren
t
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c: bar
v
in
o
k
_
sum
m
ate: handle
p
roducts of
pol
y
tope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c:
e
x
p
ort
evalue_reorder_te
r
ms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
bernstein: numeric2
v
alue: fix typo to al
l
ow cor
r
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdool
a
ege
util
.
c: Factor_Contex
t
: extra
c
ted from barvino
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summa
t
e
.
c: b
a
rvi
n
ok_summate: ignore fl
o
ors inde
p
endent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c
:
add evalue_f
l
oor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
ve
n
Verdoolaege
omega/occ:
print barvin
o
k ve
r
sion
n
u
m
ber
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
doc: u
p
da
t
e some
re
f
erences
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
dool
a
ege
Make laurent ba
s
ed summ
a
t
i
on the default
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ve
r
do
o
l
a
ege
summate
.
c: barvinok_summate: hand
l
e quas
i
-pol
y
nomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
o
laege
reduce_evalue
:
extract out ev
a
lue_red
u
ce_si
z
e
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
eva
l
u
e
.
c
:
e
value_shif
t
_varia
b
les: allo
w
shiftin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
aege
s
ummate
.
c:
han
d
le equalities for all summation al
g
orit
h
ms
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
summate
.
c:
b
arvino
k
_
s
umma
t
e: mo
v
e common parts of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdo
o
laege
eval
u
e
.
c:
e
value_sum: move si
g
n handling into esum_over_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
b
a
rvinok_e
.
cc: enumerate_sum:
u
se
b
a
rvinok_
s
u
mma
t
e
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
s
ummate
.
c: extract
b
arvinok_
s
ummate fro
m
b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
rename sum
m
ate
.
cc to
b
ar
v
inok_summate
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
l
a
ege
evalue
.
c:
reduce_
e
va
l
ue: red
u
ce floor
w
i
t
h constan
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n
V
erdo
o
l
a
ege
Add La
u
rent expan
s
ion based summ
a
tion
commit
|
commitdiff
|
tree
2008-04-25
Sven V
e
r
d
oo
l
ae
g
e
e
value
.
c
: exte
n
d eequal to h
a
n
dle d
o
mains and NaNs
commit
|
commitdiff
|
tree
2008-04-25
Sve
n
Verdool
a
ege
binomial
.
c: extract binomi
a
l
and factor
i
al
f
rom euler
.
cc
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
power
.
h: e
x
tract fro
m
euler
.
c
c
commit
|
commitdiff
|
tree
2008-04-25
Sven Verdoolaege
in
t
r
o
duce evalue_shif
t
_varia
b
l
e
s
commit
|
commitdiff
|
tree
2008-04-25
Sv
e
n Verdo
o
laeg
e
lattic
e
_p
o
int
.
cc: export
r
elati
v
e_
c
oord
i
nates
commit
|
commitdiff
|
tree
2008-04-24
Sven Verdo
o
laege
latti
c
e_poin
t
.
h:
make sure correct evalue
s
are used
commit
|
commitdiff
|
tree
2008-04-24
Sven Ve
r
doolaege
latt
i
ce_poi
n
t
.
cc: add
c
eiling
f
u
nction
commit
|
commitdiff
|
tree
2008-04-24
Sven V
e
rdoolaege
uti
l
.
c: internalize
u
gly b
v
_ceil3
commit
|
commitdiff
|
tree
2008-04-17
Sve
n
Verdoolaege
l
a
ttice_point
.
cc:
mu
l
t
i
_monom/l
a
ttice_points
:
return
.
.
.
commit
|
commitdiff
|
tree
2008-04-14
Sv
e
n Verdoolaege
doc: clean up "exponential substitution"
sect
i
on
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bou
n
d
.
cc:
av
o
id
l
o
s
s
of preci
s
ion
caused
b
y conver
s
ion
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Ve
r
doolaege
b
a
rvinok
_
bound: optionally take
maximal size of doma
i
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdoolaege
barvin
o
k
_
bo
u
n
d
: add --ite
r
ate options for eva
l
u
ating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
ve
r
ify
.
c: export
f
unctions for settin
g
a
nd clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en
Verdoolaeg
e
verify
.
c: evalue
_
optimum: allow compu
t
ation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
e
rnstein
.
cc:
e
v
alue2ex:
don't assume all
perio
d
ic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
bound
.
cc: f
i
x call
t
o evalue_co
n
vert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e
{
a
d
d,mul}_periodics: plug memory leaks
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ve
r
doolaege
e
v
alue_bern
s
tein_coefficients: handle problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven V
e
rdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdoolaege
latt
i
ce_width
.
c: skip
d
ire
c
tions that are identical
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verdoolaege
Makefile
.
am: add c
d
d94
e
-test to
distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdool
a
ege
om
e
ga/occ: optionally
u
s
e p
a
rker for computing c
a
rdina
l
ity
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
V
erdoolaege
normaliz
a
tio
n
.
c:
skew_to_positive_ort
h
ant: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n Verd
o
olaege
omega
/
conve
r
t
.
cc
:
relation
2
Domain:
o
nly
c
o
l
lect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
occ: add dump for
dumping in barvinok_enume
r
a
t
e_e format
commit
|
commitdiff
|
tree
2008-04-03
S
v
e
n
Ver
d
oolaege
ba
r
vinok_en
u
merate_e: optio
n
ally use p
a
rk
e
r's m
e
thod
commit
|
commitdiff
|
tree
2008-04-03
Sven
V
erdoolaege
standard_co
n
straints:
t
a
ke co
n
straints instead of polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olaege
normaliza
t
ion
.
c: extract standard_constraints from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
v
en
Verdoolaege
parker/count_solutio
n
s
.
cc: fix tre
a
tme
n
t of exi
s
tenti
a
lly
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoo
l
aege
co
m
pile parke
r
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n Verdoolaege
A
d
d p
a
r
k
er
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
uler
.
cc: evalue_derive: handle constant
p
olynomial
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoola
e
ge
add some test
s
e
t
s from case
s
2004 and cc 2
0
05 papers
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
rena
m
e barvinok_maximize to barvinok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
er
d
oolaege
ad
d
a test
f
or t
e
st_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
eval
u
e_
r
an
g
e_propagation: remove re
d
un
d
ant polynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Ve
r
do
o
lae
g
e
test_bou
n
d: record number o
f
p
olyno
m
ial
s
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ve
r
doo
l
aege
t
e
st_bo
u
nd: c
o
nvert quasipolynomials to p
o
lyn
o
mials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doola
e
g
e
t
e
s
t_bound: compare polynom
i
al bound algorithms
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
verify
.
c: optimum: handle input ev
a
luating
t
o
negative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoo
l
aege
verify
.
c:
e
xtra
c
t
e
v
alue_optimum from maximize
.
cc
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
verify
.
c: ex
t
ract common code for ver
i
f
ying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
e
v
alue_
r
ange_propaga
t
ion: add
m
onot
o
nicity t
e
st
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok
_
maximize
:
optionally use
(basic) range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
a
e
ge
Ad
d
some support for dealin
g
with evalues that r
e
pre
s
en
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
barvinok_enum
e
r
ate:
s
upport use of E
u
ler-Maclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
implement Bernoulli_sum as conv
e
rsion fro
m
un
w
ei
g
hted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Bernoull
i
_sum_evalue:
exploit integer boun
d
s to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track
of
n
umber of
Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
bernoulli
.
c
: p
r
otect shared evalue from modificati
o
ns
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
test
B
ernoull
i
s
ums based ex
a
c
t enum
e
ration
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaeg
e
b
arvinok
_
count_with
_
o
ptions
:
com
p
ut
e
(exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
ola
e
ge
Bernoulli
_
sum_eva
l
ue:
o
ptio
n
a
lly handle fractio
n
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_poin
t
.
h: expo
r
t fra
c
tional_pa
r
t with C linkage
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
b
arvinok_enumerate_with_
o
pti
o
ns: co
m
pute
(ex
a
ct) Be
r
no
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolaege
Bernoulli_sum_evalue: handle eq
u
ali
t
ie
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdool
a
ege
Bernoulli_su
m
_evalue: cut off some
redu
n
dant par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
Bern
o
ulli_
s
u
m_evalue: m
a
k
e
s
ure no empty
parti
t
io
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
Bernou
l
li_su
m
_
e
value: remove redunda
n
t constraint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
bernoull
i
.
c: minor refacto
r
ing
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verd
o
olaege
Bernoull
i
_sum: h
a
n
dle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoolaege
for_each_
l
o
w
er_upper_bound: add another callback
f
or
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
verify
.
c: adjust
d
ef
a
ult rang
e
to
context if n
e
e
ded
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
eule
r
.
cc: sum
m
ate_over_domain
:
only cons
i
de
r
act
u
al
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
param_uti
l
.
c: export Pa
r
am_Ver
t
ex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Para
m
_
Polyhedro
n
_Facet:
pas
s
f
a
cet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdool
a
ege
genfun
.
cc
:
parallel_pol
y
topes: don't bothe
r
handling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
v
al
u
e_split_domains_into_ortha
n
ts: don't reduce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalu
e
_read: only allow ter
m
s to cross newl
i
nes
insid
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaeg
e
e
v
alue
_
read: only accept implicit
mult
i
plicat
i
on o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
evalue_read: accept const
r
a
ints containing "'-' space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
evalue_bernstein_coefficients: ensure r
e
sul
t
partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
bernstein: pi
e
cewi
s
e_lst: correctly print and
e
valuate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verd
o
o
l
a
ege
rem
o
ve_all_equali
t
ies: keep remo
v
in
g
parameter
equalities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
Verdoolaege
u
pdate pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaege
d
oc: c
o
nsi
s
tent use
o
f Kevin's initials
commit
|
commitdiff
|
tree
next