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
Makefile.am: add cdd94e-test to distribution
2008-04-04
Sv
e
n Verdoolaege
Makefile
.
am: add
c
dd94e-test to distribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
omega/
o
cc: optional
l
y use
p
a
rker for computing cardi
n
ality
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
no
r
m
a
lization
.
c:
skew_t
o
_p
o
sitiv
e
_ortha
n
t:
proper
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
om
e
ga/convert
.
cc: relation2Dom
a
in: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolaege
occ: a
d
d dump
for d
u
mpi
n
g
in ba
r
vi
n
ok_e
n
umerate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven V
e
rdoolaege
b
a
rvinok_en
u
merate_e: opt
i
onally use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sv
e
n V
e
rd
o
olaege
standard
_
co
n
straints:
t
ake const
r
aint
s
instea
d
of
polyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verd
o
olae
g
e
normalizati
o
n
.
c
:
e
xtract
standa
r
d_constraint
s
from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sve
n
Verdoolaege
p
arker/cou
n
t_s
o
l
u
tio
n
s
.
cc: fix tre
a
tment of exist
e
ntially
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
A
d
d parker
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oola
e
g
e
euler
.
cc: evalue_derive: hand
l
e consta
n
t polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
add some test set
s
from cases 2004 and cc 2005 papers
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
Verdoolaege
rename b
a
rvinok_maximize to barvinok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolae
g
e
a
dd
a te
s
t for test_b
o
und
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
e
v
alue_range_propagation: remove red
u
ndant poly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
tes
t
_
b
ound: re
c
or
d
number of
p
olynomials as "size
"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
test_b
o
und
:
convert quasipolyn
o
m
i
als to p
o
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
doolae
g
e
te
s
t_boun
d
:
comp
a
re po
l
ynomial
b
ound algorit
h
ms
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
olae
g
e
v
e
rify
.
c: optimum
:
handle input eva
l
uat
i
ng to neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
verify
.
c: extr
a
ct e
v
a
l
u
e_opt
i
mum from maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
verify
.
c
: ext
r
act
common code for verify
i
ng operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdool
a
ege
evalue_range_prop
a
gation: add m
o
notonicity test
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
e
rdoolaege
barvinok_maximize: optiona
l
ly
u
se (basic
)
range propagation
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
Add so
m
e suppor
t
for de
a
ling with evalues
th
a
t
r
epresent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvinok_enumerat
e
: sup
p
ort use of Euler-Maclaurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
V
erdoolaege
impl
e
ment
Bernoulli_sum as
convers
i
on from
u
nweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
Bernoulli_sum_evalue
:
exploit i
n
teger b
o
unds to r
e
d
uc
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
k
e
ep track
o
f number of
B
e
rnoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
b
er
n
oull
i
.
c: prote
c
t shar
e
d eval
u
e f
r
om
m
o
difications
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
t
est
B
ern
o
ulli sums based exa
c
t
en
u
m
eration
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ver
d
oolaege
ba
r
vinok_count_wit
h
_options:
c
ompute (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Bernoulli_sum_evalu
e
: optionally ha
n
dle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
lattice_point
.
h:
e
x
port fractional_
p
art with C link
a
ge
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
lae
g
e
barvinok_enum
e
rate_with_opti
o
ns:
c
o
m
pute
(exac
t
)
Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernou
l
li_su
m
_evalue:
handl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Bernoulli_sum_
e
value: c
u
t off s
o
me redundan
t
pa
r
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
oolaege
Bernoulli_sum_evalue: m
a
ke
s
ure no em
p
ty partitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoulli_sum_evalu
e
: remov
e
r
e
dund
a
nt
constra
i
n
t
in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oolaege
bernoulli
.
c: minor re
f
acto
r
i
n
g
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
Be
r
nou
l
li_sum: ha
n
d
l
e co
n
tex
t
constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_
e
va
l
ue:
m
ake
s
ure enough me
m
ory is allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
fo
r
_each_l
o
wer
_
upper_bound: add another callback for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
verify
.
c: a
d
just default range to contex
t
i
f
n
eeded
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
e
rdo
o
laege
eule
r
.
cc: summate_over_dom
a
in:
onl
y
consider ac
t
ual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
d
o
ola
e
ge
pa
r
am
_
util
.
c: export Par
a
m
_
Vertex_Set_Face
t
s
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
a
ege
Param_Polyhedron_Facet: p
a
s
s
face
t
d
e
fining constr
a
in
t
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
gen
f
u
n
.
cc:
parallel_polytopes: don
'
t bother h
a
ndling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
e
value
_
s
plit_
d
omains_into
_
or
t
h
ants:
don'
t
re
d
u
c
e e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
eval
u
e
_read
:
onl
y
allow terms to cross newline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
e
ge
evalue_read: only accept impl
i
cit multiplication
on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eval
u
e_read: accept constraints
c
ontaining
"
'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Ver
d
oolaege
evalue
_
bernstein_coefficients:
ensure result
p
artitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdool
a
ege
ber
n
stein: piecewise_l
s
t: corre
c
tly print and evaluat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
re
m
o
v
e_all
_
equalities: keep r
e
moving parameter equ
a
l
itie
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoolaege
upd
a
te pol
y
lib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoola
e
ge
doc:
consistent
u
se of
K
evin's i
n
it
i
a
l
s
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoo
l
aege
d
o
c: upd
a
te
n
ow published pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sv
e
n Verdoola
e
ge
for_each_lower_upper
_
b
ound: allow
absence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
Revert "eadd_par
t
itions: try to combine multipl
e
domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolae
g
e
evalue_
r
ead_pa
r
tition: put partitions back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
v
en Verdo
o
lae
g
e
evalue: reduce_evalue: a
d
d note on some m
i
ssed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
b
e
rnstein
.
c
c:
handle input with union
s
+ relation violat
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaeg
e
m
a
ximize
.
c
c
: deal
w
ith
unions in input during
verifica
t
ion
commit
|
commitdiff
|
tree
2008-03-10
Sven Verd
o
o
laege
evalue_substitute: properly ha
n
dl
e
re
l
a
tions
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: cle
a
n up emul and
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
e
value_r
e
ad: corr
e
ctly
rea
d
var
i
able names
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdoolaege
evalue_read: accept top leve
l
"relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
e
r
doolaege
up
d
a
te pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
oolaege
eva
l
ue
_
b
a
cksubstitute: add required mod
u
l
o cons
t
raint
s
commit
|
commitdiff
|
tree
2008-02-26
Sven Verd
o
olaeg
e
eval
u
e
.
c
:
*_partitions: si
m
plify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
doc
:
more
spec
i
fic informa
t
ion on
buggy cddlib v
e
r
s
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven
V
erd
o
olaeg
e
conf
i
gure
.
in: requir
e
cddl
i
b
0
.
9
4e by testing for
b
ug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Ver
d
oolaege
configure
.
in:
only c
o
mp
i
le occ if code
_
gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
barvinok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaeg
e
add some tests f
o
r im
p
l
e
m
enta
t
ion of projection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
doc: docum
e
nt new optio
n
s and ne
w
app
l
ications
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaeg
e
AUTH
O
R
S
: update support
i
nf
o
r
matio
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
genfun
.
cc: short
_
ra
t
:
:p
r
int: correctly print p
o
lynomi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
dool
a
ege
Exp
o
rt series
a
s
b
a
rvin
o
k_enumerat
e
_series a
n
d us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdo
o
laege
remo
v
e_parameter_equalities
:
stop "remov
i
ng" eq
u
al
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
Verdoolaege
serie
s
:
leave f
r
ee
i
n
g
o
f P argum
e
nt
t
o calling functi
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
do
c
:
d
ocu
m
ent im
p
lementation o
f
the pr
o
j
e
c
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
a
d
d
barvinok_enumerate_e_series
i
mpl
e
menting the projec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ve
n
Verdoo
l
a
e
g
e
g
e
nfun
.
c
c: fix
and
d
ocument parall
e
l
p
olytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only comp
i
le zs
o
lve if gcc 3
.
4 or lat
e
r is ava
i
lable
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
r
d
o
olaege
Move GiNaC-independent part of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoola
e
g
e
polylib: u
p
date
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
laege
doc: ho
w
to coun
t
the n
u
m
b
e
r
of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sv
e
n Verdoolaege
doc/implementation
.
tex: avoi
d
multiply de
f
ined
label
commit
|
commitdiff
|
tree
2007-11-21
Sven
Ve
r
dool
a
e
ge
lattice_
w
idth
.
c: try vertices of previous int
e
ger hul
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
er
d
oolaeg
e
doc: document
i
nteger hu
l
l computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
d
oolaege
hul
l
.
c: add al
l
points
found by sampling directly
to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Possible optim
i
z
a
ti
o
ns for generali
z
e
d b
a
s
is reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n Verdoolaege
Support use of
generalized b
a
sis red
u
ction
t
o comput
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
add Polyhed
r
on_Integer_Min
i
mu
m
for com
p
uting the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Ve
r
d
o
o
l
a
ege
d
o
c: do
c
um
e
nt generalized basis
redu
c
tion based intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
o
o
laege
doc/
b
a
r
v
i
n
ok
.
bi
b
: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdool
a
ege
a
d
d
m
o
re missing a
s
sert
.
h #includes
commit
|
commitdiff
|
tree
2007-11-17
Sve
n
Verdoola
e
ge
e
v
a
l
u
e
.
c: add m
i
ssin
g
inclu
d
e o
f
a
l
loca
.
h
commit
|
commitdiff
|
tree
next