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_bound: add --iterate options for evaluating evalue in each point
2008-04-08
Sv
e
n V
e
rdoolaege
barvino
k
_
b
ound: add --iterate options for evaluating
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
en Verd
o
olaege
v
erify
.
c: expor
t
fun
c
tions for setting and clearing
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Ve
r
doo
l
a
e
ge
verify
.
c:
e
valu
e
_optim
u
m: allow computation of optimum
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
Sv
e
n Ver
d
oolaege
b
ernstein
.
cc: evalue2ex: don't assume all per
i
odic
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
ven Verdoolaege
bound
.
cc: f
i
x cal
l
to evalue_co
n
v
e
rt
commit
|
commitdiff
|
tree
2008-04-08
Sve
n
Verd
o
ol
a
ege
e{
a
dd
,
mul}_periodics: plug memor
y
le
a
ks
commit
|
commitdiff
|
tree
2008-04-08
Sven
V
erdoo
l
aege
e
value_berns
t
ein_coeff
i
cie
n
ts
:
handl
e
pro
b
l
ems with
.
.
.
commit
|
commitdiff
|
tree
2008-04-08
S
v
e
n
V
erdoolaege
upd
a
te
polylib
commit
|
commitdiff
|
tree
2008-04-05
S
v
en Verdo
o
la
e
ge
la
t
tice_w
i
dth
.
c
:
skip dir
e
ctions that are id
e
nt
i
cal
.
.
.
commit
|
commitdiff
|
tree
2008-04-04
Sven V
e
rdool
a
ege
Ma
k
ef
i
le
.
am: add cdd94e-test to distribut
i
on
commit
|
commitdiff
|
tree
2008-04-03
S
v
en
Verdoolaege
omeg
a
/
occ: optionally use parker for compu
t
ing cardinal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
S
ven
V
e
rdool
a
ege
norm
a
lization
.
c: skew_to_positive_orthan
t
: properly
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
omega
/
convert
.
cc: relation
2
Domain: only collect set
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
e
g
e
occ: a
d
d dum
p
fo
r
dumping in b
a
rvino
k
_en
u
merate_e format
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdool
a
ege
barvinok_enu
m
erate_e: optio
n
a
l
ly use parker's method
commit
|
commitdiff
|
tree
2008-04-03
Sven
Verdoolaege
st
a
ndard_constraints: take con
s
train
t
s instead of p
o
lyhedron
.
.
.
commit
|
commitdiff
|
tree
2008-04-03
Sven Verdo
o
laege
normal
i
zatio
n
.
c: extract st
a
ndard_cons
t
rain
t
s from
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
S
ve
n
V
e
rd
o
olaege
par
k
er/count_solutio
n
s
.
cc: fix treatment of
existential
l
y
.
.
.
commit
|
commitdiff
|
tree
2008-04-02
Sven Ve
r
doolaege
compile parker
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
V
erdoolaeg
e
Add parke
r
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
e
uler
.
cc: evalue_
d
er
i
ve: han
d
le
constan
t
p
olynomia
l
s
commit
|
commitdiff
|
tree
2008-03-31
S
v
en V
e
rdoo
l
aege
add some test sets f
r
o
m
cases 2
0
04 and
cc 2005 paper
s
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
rename barvinok_maximize to barv
i
n
ok_boun
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
add
a test for test_bou
n
d
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
evalue_rang
e
_propagation: remove r
e
dun
d
an
t
pol
y
nom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdoolaege
test_bound:
record number of polynomials
as "size"
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
test_boun
d
: convert
quasipolynomials to
p
o
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Ver
d
oola
e
ge
test_bound: comp
a
re
p
olyno
m
ial bo
u
n
d
algorithms
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n Verdo
o
laeg
e
v
erify
.
c: opt
i
mum: handle in
p
ut evaluating t
o
n
egative
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
doolaege
verify
.
c: extract
e
valu
e
_opt
i
m
u
m
f
r
om maximize
.
c
c
commit
|
commitdiff
|
tree
2008-03-31
S
ven V
e
rdoolaege
ve
r
i
f
y
.
c: extract commo
n
code for
v
erifying opera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_range_p
r
opagatio
n
:
a
dd monoto
n
i
c
ity test
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
b
arvi
n
ok
_
maximize:
o
ption
a
l
l
y use (basic) range propagatio
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
Add some supp
o
rt for d
e
aling
w
it
h
ev
a
lues that represent
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
ba
r
vinok_enumer
a
te: suppor
t
use of
E
uler-M
a
claurin
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n V
e
r
d
o
olaege
i
m
plement Bernoull
i
_s
u
m as conversion f
r
om unweighted
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
V
erdoolaege
Bernoulli_sum
_
evalue: exploi
t
int
e
g
e
r
b
o
unds
to reduce
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
keep track of number of Be
r
noulli sums
commit
|
commitdiff
|
tree
2008-03-31
Sven Ver
d
oolaege
bernoul
l
i
.
c: protect s
h
ared evalue fr
o
m modification
s
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ver
d
o
olaeg
e
test Bernoulli
sums based exa
c
t en
u
merati
o
n
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
laege
barvinok_
c
o
u
nt_with_o
p
tions: compute (exact) Berno
u
lli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoolaege
Bernoull
i
_su
m
_ev
a
lue: optionally
h
a
ndle fractional
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
erdo
o
laege
l
attice_point
.
h: export fractional_pa
r
t wi
t
h C linkage
commit
|
commitdiff
|
tree
2008-03-31
S
ven Verdoola
e
ge
barvinok
_
e
n
umerat
e
_
w
it
h
_options
:
co
m
pu
t
e (exact) Bernoulli
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
e
n
V
erdoola
e
ge
Bernoulli_su
m
_evalue: handl
e
equalities
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Ver
d
oolaege
Bernoulli
_
sum_evalue: cut off
s
om
e
redundan
t
part
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdo
o
la
e
ge
Bernoulli
_
sum_ev
a
lue: make su
r
e no empty p
a
rtition
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sv
e
n
Ve
r
do
o
l
a
ege
B
e
rno
u
lli_sum_evalue: remo
v
e r
e
d
un
d
a
n
t const
r
aint in
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
b
e
rnoull
i
.
c
:
minor ref
a
ctoring
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolae
g
e
Bernoulli_sum: handle context
constr
a
ints
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdool
a
ege
Berno
u
lli_
s
u
m
_e
v
a
l
ue: m
a
ke
s
ure enough
memory i
s
allocated
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verdoolaege
for_each_l
o
wer_upper_bound: add another call
b
ack for
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Ve
r
doolaege
v
e
rify
.
c
:
adjust defau
l
t
r
a
n
ge to cont
e
xt if nee
d
ed
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
rdoolae
g
e
e
uler
.
cc: summate_
o
ver_dom
a
i
n: only consider actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Verd
o
ol
a
ege
param_util
.
c
: expo
r
t Pa
r
a
m
_Vertex_Set_F
a
cets
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoo
l
aege
Param_Polyhedron_Face
t
: pass face
t
defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven V
e
r
d
oolaege
genfun
.
cc:
parallel_polytopes: don't
bother ha
n
dling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_s
p
lit_
d
o
mains_into_orthants: don
'
t reduce e
v
a
lue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ven
V
e
rdoolaege
eval
u
e_read: only allow term
s
to cross n
e
wlines
i
n
s
ide
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_r
e
ad: only accept implicit multiplic
a
tion on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
V
erdoolaege
evalue_read: accept constraints
c
ontaining "'-' s
p
a
c
e
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoolaege
evalue_bernstein_coefficients: ensu
r
e result partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
o
olaege
be
r
ns
t
ein: piecewise_ls
t
: correctly print and evaluate
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
re
m
ov
e
_all_equ
a
lities:
keep remov
i
n
g par
a
meter
e
q
u
a
lities
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
u
p
date
polylib
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaeg
e
doc: consistent use of Kev
i
n's initials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc
:
up
d
ate no
w
published papers
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
doolaege
for_e
a
ch_lower_up
p
er_bound:
a
llow abs
e
nce of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
a
ege
Revert "e
a
dd_partitions: tr
y
t
o
c
omb
i
n
e
multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ve
r
d
oolaege
evalue_read_
p
a
r
tition:
put partitions bac
k
in
t
he same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Ver
d
ool
a
e
ge
evalue: reduce
_
evalue: add note on some missed opportun
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
rdoola
e
ge
bernst
e
in
.
cc: handle input with un
i
ons
+
rel
a
t
io
n
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
o
l
ae
g
e
maximize
.
cc: deal with u
n
i
o
ns in i
n
put durin
g
ver
i
fication
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdo
o
laege
evalue_substitute: properly handle relations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: clean up emul and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven Ver
d
oolaege
eval
u
e
_read
:
correctly re
a
d variable name
s
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
e
rdoolaege
evalue
_
rea
d
: acce
p
t
top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdo
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoolaege
evalue_backsubstitut
e
: add requi
r
ed m
o
dulo constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *_
p
art
i
tions: s
i
mplify constraints before
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sven Verdoolaege
d
oc: more specif
i
c
in
f
ormatio
n
on buggy cddlib vers
i
ons
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdo
o
la
e
g
e
configur
e
.
i
n
: require cddli
b
0
.
94e by te
s
ti
n
g for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rd
o
olaege
c
o
n
figure
.
in: only compile occ i
f
code_ge
n
li
b
ra
r
y
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
ba
r
vi
n
ok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
a
d
d some
t
ests for
i
mp
l
ementation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
d
o
cum
e
nt new
o
ptio
n
s a
n
d new
app
l
icati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
AUTHOR
S
: u
p
date support informati
o
n
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
en
f
un
.
cc: s
h
ort_rat
:
:
p
rin
t
:
c
o
rrectly pr
i
nt p
o
lynomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolae
g
e
Expo
r
t
series
a
s barv
i
no
k
_enumerate_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdool
a
e
g
e
rem
o
ve
_
parameter_equalities
:
stop "re
m
oving" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave free
i
ng of P argume
n
t
to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aege
doc: document imp
l
ementati
o
n of
t
he projection
theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
add barvinok_enumerate_e_se
r
ies implementing the pr
o
jection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
genfu
n
.
c
c
: fix
and documen
t
parall
e
l polytopes
c
la
s
s
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doo
l
aege
Only compile
zsolve if gcc 3
.
4 or
later
is availa
b
le
commit
|
commitdiff
|
tree
2008-01-16
S
ven Ver
d
oolaege
Mov
e
GiNaC-independent p
a
rt of library to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olaege
polylib: upda
t
e
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdo
o
lae
g
e
doc:
h
ow
t
o count the numbe
r
of
e
l
ements in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sve
n
Verdoolaege
d
oc/impleme
n
tation
.
tex: a
v
oi
d
multiply de
f
ined label
commit
|
commitdiff
|
tree
2007-11-21
S
v
en V
e
rdoola
e
ge
lattice
_
width
.
c:
try vertices of pre
v
iou
s
integer hulls
.
.
.
commit
|
commitdiff
|
tree
next