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
doc: clean up "exponential substitution" section
2008-04-14
Sven Ver
d
oolaege
do
c
: c
l
ean up "exponential substi
t
uti
o
n"
section
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
test_bound
.
cc: avoid lo
s
s of
precision
c
aused b
y
c
onvers
i
on
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Verdoolaege
barvinok_bound: option
a
lly ta
k
e
maximal
size
of domains
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verd
o
olaege
b
a
rvi
n
ok_bound:
a
dd --it
e
r
a
te options for
e
v
aluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoolaege
verify
.
c
:
export function
s
f
o
r setting a
n
d clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verdool
a
eg
e
v
e
rify
.
c
:
ev
a
lue_o
p
timum: allow comput
a
t
i
on of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
b
ernstein
.
cc: evalue2
e
x: don't
as
s
ume a
l
l periodic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
ool
a
e
ge
bound
.
c
c
: fix call to eva
l
ue_convert
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
e{a
d
d,mul}_periodics:
plug memory lea
k
s
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
evalue_bern
s
tein_coe
f
ficien
t
s
: hand
l
e problems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-04-05
Sven Verdoolae
g
e
lattice_width
.
c: skip d
i
re
c
tions that
a
re
i
denti
c
al
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven Verd
o
olaege
M
akefile
.
am: add
c
dd94
e
-t
e
st t
o
di
s
tribution
commit
|
commitdiff
|
tree
2008-04-03
Sven Ver
d
oo
l
aege
ome
g
a/occ: optiona
l
ly use parker
f
o
r
compu
t
ing car
d
inal
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doolaege
no
r
maliza
t
ion
.
c: skew_
t
o_
p
osi
t
ive_
o
r
t
hant:
p
rope
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Ve
r
doo
l
aege
o
m
ega
/
c
onv
e
rt
.
cc: re
l
ation2Domai
n
:
only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven Verdoolaeg
e
occ: add d
u
m
p for d
u
mp
i
ng in
barvinok_enumerate_e for
m
at
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdoolae
g
e
barvinok_enumerate_e: optiona
l
ly u
s
e
parke
r
's method
commit
|
commitdiff
|
tree
2008-04-03
Sve
n
Verdoolaege
standa
r
d
_
constr
a
in
t
s: tak
e
const
r
ain
t
s instead of polyhedro
n
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
v
en Verdoolae
g
e
normalization
.
c: extract stand
a
rd_constraints
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdool
a
ege
par
k
er
/
count_sol
u
t
io
n
s
.
cc: fix t
r
eatment of existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Verdoolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaeg
e
Ad
d
parker
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
eul
e
r
.
cc: evalue_d
e
rive: h
a
ndle c
o
n
stant polynomials
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolaege
add so
m
e test
sets f
r
o
m
cases 2004 and cc
2
005 papers
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
rename barvinok_maximiz
e
to bar
v
i
nok_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
add
a
te
s
t
for t
e
st_bound
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdo
o
l
a
e
ge
evalue_range_
p
rop
a
g
ati
o
n:
r
emove red
u
ndant polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
t
e
s
t_bound
:
recor
d
number of polyn
o
mials as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolaege
test_bo
u
nd: convert quasip
o
l
ynomials
t
o p
o
l
y
nomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
test_bound: compare polyno
m
ial bou
n
d algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
v
e
r
i
fy
.
c: optimum:
h
an
d
le input evaluating to
n
eg
a
tiv
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
v
erify
.
c: extr
a
ct e
v
alue_optimum
from max
i
mi
z
e
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
ver
i
f
y
.
c: extract com
m
on code
f
or verifying operation
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoola
e
ge
e
v
alue_
r
a
nge_pr
o
pa
g
ati
o
n: a
d
d monotonici
t
y
test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
o
l
aege
barvinok_maximi
z
e: optional
l
y use (basic) rang
e
propagation
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Ve
r
doolaege
A
d
d
so
m
e support for dealing wit
h
evalues
t
hat repr
e
sent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoo
l
aege
barvinok_enumerat
e
:
s
upport u
s
e of Euler-Maclauri
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoo
l
aege
i
m
p
l
ement Bernoulli_sum as conversio
n
from unweight
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bernoull
i
_sum_evalue
:
expl
o
it integer bounds to
r
e
d
uce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verd
o
olaege
keep track of number
o
f Bernoulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
b
e
rnoulli
.
c:
p
r
o
tect sh
a
re
d
evalue from modific
a
t
i
ons
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
a
ege
t
est Be
r
noulli
s
ums based exac
t
enu
m
e
r
a
t
i
on
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
barvin
o
k_
c
o
u
nt
_
with_opti
o
ns: com
p
u
te (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Bern
o
ulli_sum_evalu
e
: optionally handle fra
c
tional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaeg
e
lattice_point
.
h: export
fra
c
ti
o
nal_part
wi
t
h C lin
k
a
g
e
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
o
olaege
bar
v
inok_enume
r
ate_wit
h
_options: compute (exact) B
e
rnoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oola
e
ge
Bernoulli_s
u
m_evalue:
h
andle equal
i
ties
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdoolaege
Berno
u
lli_s
u
m
_
evalue: cut off some redu
n
d
a
nt par
t
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
do
o
l
a
ege
Bernoulli_sum_evalue: ma
k
e s
u
re no
e
mpty pa
r
titions
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Verdoola
e
ge
Bernoulli_
s
um_e
v
alue: rem
o
ve redundant co
n
straint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
e
rnoull
i
.
c: minor re
f
actoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
o
ulli_sum: handle context constraints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Ber
n
oulli_sum_evalu
e
:
make
sure e
n
ough me
m
ory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verdoolae
g
e
for_each_lower_upper_bou
n
d: add
another call
b
ack
for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
verif
y
.
c
: ad
j
ust d
e
fault range to con
t
ext if needed
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
eu
l
er
.
cc:
s
ummate_over_doma
i
n
:
onl
y
consi
d
e
r
a
c
tual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
para
m
_uti
l
.
c:
e
xport Param_Vertex
_
S
et_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Param_Polyh
e
dron_Facet: pas
s
facet de
f
ining
c
onstraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
genfu
n
.
cc: parallel_polytopes:
don't bothe
r
h
a
n
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoo
l
aege
ev
a
lue_sp
l
it_do
m
a
ins
_
in
t
o
_or
t
han
t
s:
don't
r
e
duce evalue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
d
o
olaege
e
v
alu
e
_read: only allow terms to cros
s
n
ewline
s
inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
ev
a
lu
e
_read: onl
y
ac
c
ept implicit m
u
ltipl
i
cation
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
e
va
l
ue_re
a
d: accept constraints contai
n
ing "'-'
s
pace
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
evalue_ber
n
stein_coefficients
:
ensure result
partit
i
ons
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdo
o
laege
bernstei
n
: piecewise_l
s
t
: corr
e
ctly print a
n
d
e
valuat
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
laege
remove_a
l
l
_
equalities:
k
e
e
p remov
i
ng
para
m
ete
r
eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
ve
n
V
e
r
d
o
o
laege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
d
o
c: consiste
n
t use of K
e
vin's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
rdoolaege
d
o
c: update now p
u
bli
s
hed papers
commit
|
commitdiff
|
tree
2008-03-24
Sven V
e
r
d
oolaege
for_each
_
lower_upper_bound: all
o
w absence of
l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
erdoolaege
R
evert "eadd_part
i
tio
n
s
:
try to c
o
mbin
e
multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
evalue_read_parti
t
ion: put partitions back i
n
the
same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rd
o
olae
g
e
e
v
alue: reduce_ev
a
lue: add
n
ote on some m
i
ss
e
d op
p
ortun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdo
o
l
aeg
e
b
ernstein
.
cc:
h
andle input wit
h
unions + relation v
i
ol
a
ted
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdo
o
laege
maximi
z
e
.
c
c
: deal with
u
nions
i
n
i
n
p
ut
d
uring verifi
c
ation
commit
|
commitdiff
|
tree
2008-03-10
S
ven
V
erdoolaege
evalue_substitu
t
e:
p
rope
r
ly handle rel
a
tio
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
valu
e
.
c: clean up emul and e
a
dd
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: c
o
rrectl
y
read variable
n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
Sven
Verdoolae
g
e
evalue_read: accept top
l
evel "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n
V
erd
o
olaege
update
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ve
r
do
o
laege
e
value_backsubstitute: add r
e
quired modul
o
constraints
commit
|
commitdiff
|
tree
2008-02-26
Sven Ve
r
doolae
g
e
evalue
.
c:
*
_pa
r
titions: simplify co
n
s
t
rain
t
s before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verd
o
olaege
doc:
m
ore speci
f
ic informa
t
ion on buggy cddlib ver
s
ions
commit
|
commitdiff
|
tree
2008-01-28
Sven Ver
d
oo
l
aege
configure
.
in
:
req
u
i
re
c
ddlib 0
.
94
e
b
y
te
s
ting for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verd
o
olaege
conf
i
gure
.
in: onl
y
compile occ if
c
o
de_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdool
a
ege
barvinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdool
a
ege
add so
m
e tests for i
m
plementation of projection the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc: doc
u
me
n
t
ne
w
optio
n
s a
n
d new applica
t
ions
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoola
e
ge
AUTH
O
RS
:
up
d
at
e
support informa
t
ion
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olaeg
e
genfun
.
cc
:
sh
o
rt_rat::print:
c
orrectly
pri
n
t
p
oly
n
omi
a
ls
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoo
l
aege
Export se
r
ies as b
a
rv
i
nok_enumerate_s
e
ries an
d
use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
remove_
p
arameter
_
equalities:
st
o
p "removin
g
" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolae
g
e
se
r
ies:
leave freeing of P
argument to calling fu
n
ction
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
d
oc: doc
u
ment impl
e
mentati
o
n of the projec
t
ion theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoolae
g
e
add barvinok_enumer
a
te_e_series
implementin
g
the pro
j
e
c
tio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolaeg
e
genfun
.
cc: fix a
n
d doc
u
ment parallel pol
y
topes
c
lass
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
Only compile zsolve
if gcc
3
.
4
o
r later is
avai
l
able
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
Move GiNaC
-
independent part o
f
library t
o
barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
Verdoolaege
poly
l
ib: update
commit
|
commitdiff
|
tree
next