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: fix primal decomposition example + clean-ups
2007-03-11
Sven
V
er
d
o
olaege
doc: fi
x
primal decomposition exampl
e
+ c
l
ea
n
-
u
ps
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
Docume
n
t
prim
a
l de
c
ompos
i
tion
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verdoolae
g
e
bar
v
i
nok
.
cc: barvi
n
o
k_enumera
t
e:
f
ix lower bo
u
nd appro
x
ima
t
i
on
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
evalue_s
p
lit_periods: gracefully handle zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barv
i
nok_maximize: handle zero
i
nput
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdo
o
laege
barvinok_enumerate_e: clean up allocation
o
f o
p
tio
n
s
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
ege
barvinok
.
c
c
: h
a
n
d
le
c
ase wh
e
re nothing is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
Verdo
o
laege
e
value_conv
e
rt:
support printing a
quasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verd
o
olae
g
e
lattice_point
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdo
o
laege
e
value
.
c: extra
c
t eva
l
u
e
_extract_a
f
fine
f
rom bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
dool
a
e
g
e
be
r
nste
i
n
.
cc: bernstein_coefficients_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_coefficie
n
ts:
o
ptional
l
y op
t
imize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
oolaeg
e
bernstein_co
e
fficients: f
a
c
t
o
r
ize domain if p
o
ssible
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olaege
Pol
y
h
e
dr
o
n_Factor
:
optionally ret
u
rn relation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ven Verdool
a
e
g
e
be
r
nstein:
e
xpo
r
t
replaceVaria
b
lesInPolynomia
l
commit
|
commitdiff
|
tree
2007-03-01
S
v
en Ve
r
doolaege
bernst
e
in
.
cc: e
v
alue2ex: represen
t
fra
c
tional by
s
c
ale
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
S
v
en Verdoolaege
b
a
rvin
o
k
_
ma
x
imize:
f
ix handling of UNIONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoola
e
g
e
bernste
i
n_coefficients: skip empty
subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Ve
r
dool
a
ege
barvin
o
k_maximize:
f
i
x
detecti
o
n
of en
d
of domain specificatio
n
commit
|
commitdiff
|
tree
2007-02-27
S
v
en V
e
rdoolaege
barvinok_
m
axi
m
ize:
ad
d
in
p
ut conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Ve
r
do
o
l
aege
evalue_c
o
nvert: extracted from barv
i
nok_enum
e
rate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
S
ven Verdool
a
e
g
e
util
.
c:
mov
e
Polyhedron_i
s
_u
n
bounded from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
e
r
doola
e
ge
bernstein_coefficient
s
:
sk
i
p infinite (sub)d
o
mains
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolaege
b
a
rvinok_maximize: let user sp
e
cify variables
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoolae
g
e
ber
n
stein
_
c
oefficients: skip
computa
t
ions if
d
omai
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoolae
g
e
barvinok_maximi
z
e: fix access to fre
e
d mem
o
ry
commit
|
commitdiff
|
tree
2007-02-26
H
arald Devos
minimize as option
o
f
b
arvinok
_
m
ax
i
mize
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bernstein/pi
e
cewise_lst
.
c
pp: add mini
m
ize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bar
v
inok_maximi
z
e:
r
ead
domains with
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
e
rdoolae
g
e
u
s
e
Gi
N
aC c
f
lags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoolaege
b
a
rvinok_ma
x
im
i
ze: optional
l
y
c
all eva
l
ue_s
p
l
i
t_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
e
rd
o
olaege
evalue
.
c: add evalue
_
s
p
lit_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
util
.
c: valu
e
_l
c
m:
m
a
r
k
argu
m
ents const
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoola
e
ge
e
v
a
lu
e
.
c
:
poly
n
omial_projectio
n
: allo
w
NULL R arg
u
ment
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c
:
e
x
tract
f
iddl
i
ng with coe
f
ficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdool
a
ege
evalu
e
_berns
t
ein_coefficients: handle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
V
erdoo
l
a
e
ge
b
a
rvinok_maxim
i
ze: rea
d
e
v
al
u
es w
i
th periodics
commit
|
commitdiff
|
tree
2007-02-21
Sv
e
n
Verdoo
l
aege
evalue_bernstei
n
_c
o
efficients: handle periodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoo
l
aege
ber
n
s
tei
n
: bern
s
tein
E
xpan
s
io
n
:
a
ccept li
s
t of polynomia
l
s
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdo
o
l
a
ege
b
a
rvinok
_
maximize: m
a
k
e evalue parse
a lit
t
le bi
t
more
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdo
o
laege
barvinok_enumerate*
:
b
e l
e
ss
c
ha
t
t
y
b
y default
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoolaege
count/
e
numerate: warn
if inp
u
t is a union
commit
|
commitdiff
|
tree
2007-02-19
Sv
e
n Verdoolaege
DomainIn
c
ludes
:
d
e
tect more cases + adapt
d
o
cumentatio
n
commit
|
commitdiff
|
tree
2007-02-19
Sven Verdoolaege
evalue_ber
n
st
e
in_coe
f
fici
e
nts: han
d
le f
r
act
i
onals i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-19
Sven
Verdoo
l
aege
eva
l
ue_ber
n
stein_coef
f
icients: handle
floorings i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Ver
d
ool
a
ege
barvin
o
k_m
a
ximize:
new tool fo
r
m
a
xi
m
izin
g
p
i
ecew
i
se
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
S
v
en Verd
o
olaege
evalue
.
c: ev
a
lue_
f
r
ac2polynom
i
al: imp
r
ove acc
u
ra
c
y
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
evalue
.
c:
a
dd comm
e
nt
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoolaege
evalue
.
c: a
d
d function f
o
r
checking nesting of an evalue
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n Verdoolaege
evalue
.
c: add miss
i
ng t
e
rms
r
e
orderings
i
n evalue_rang
e
_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
S
v
e
n Ve
r
doolaege
e
v
alue
.
c: make argum
e
nts of eequal and evalue
_
denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
d
o
ol
a
ege
barvinok_
e
numerate_
e
: add --
v
e
r
bose
o
ption
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
b
e
rnstein: mark argument
o
f value2n
u
meric const
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdoolaege
b
e
r
n
st
e
in
.
cc: add
(
optional) option
s
argument to evalue_bern
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
a
d
d missi
n
g virtual
d
estructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Verd
o
olaege
genfun
.
cc
:
renam
e
s
t
ruc
t
cone
t
o avoid
c
o
n
fl
i
c
t
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sve
n
Verdoolaege
d
o
c:
i
nteger points
i
n the f
u
ndamen
t
al paral
l
elepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
er
d
oolaege
v
erif_ehrh
a
rt
.
c: clea
n
up indentation
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Ver
d
oolaege
ver
i
f_
e
hrhart: optionall
y
co
n
tinue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdool
a
ege
verif_eh
r
hart: c
o
m
bine check_poly from barvinok_enu
m
erate_
e
.
c
c
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
v
erif_ehrhart
.
c: c
h
eck lower and up
p
er po
l
ynomial appro
x
imations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
v
e
r
ify
.
h
:
move barvinok_opt
i
ons into veri
f
y
_o
p
tions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
o
l
aege
ba
r
v
ino
k
_enumera
t
e: p
a
ss param
e
ter
nam
e
s
to check_poly
commit
|
commitdiff
|
tree
2007-02-14
Sven Ve
r
doo
l
aege
b
arv
i
n
o
k_enumerate:
m
ore poly
n
omm
i
al approximat
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Ver
d
oolaege
eval
u
e
.
c:
a
dd evalue
_
fra
c
2
p
oly
n
omial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
ev
a
l
ue
.
c:
e
xtract eval
u
e_split_domains_into_o
r
th
a
nts
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaeg
e
polysi
g
n
.
c: fix
cdd_polyhedro
n
_affi
n
e_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
l
a
ege
Makefile: only che
c
k lexmin if
i
t has b
e
e
n
c
ompiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Param_Polyhedron_Scale_Intege
r
proto
t
y
p
e
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
lattice_
p
oint
.
c
c
: add sanity
c
h
eck fo
r
index of cone
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
V
e
rd
o
o
l
aege
test:
i
nitial
i
ze nbMa
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
d
oolaege
bar
v
inok_e
n
um
e
rate: o
p
tionally c
o
mpute
a
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
Pro
v
ide replacement for new PolyLib
f
u
nction Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
o
o
laege
add e
v
alue_di
v
(ada
p
ted
f
ro
m
PolyLib
)
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
tes
t
: simple test for Poly
L
i
b's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
Verdoolae
g
e
Makefile
.
a
m: add
d
ependencies
f
o
r
c
h
ecks
commit
|
commitdiff
|
tree
2007-02-11
Sven
Verdo
o
laege
gen
f
un
.
cc: short
_
rat::normalize: micro-optimi
z
atio
n
s
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Verdoolaege
QQ:
c
anonicalize on read and multiplicatio
n
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdool
a
e
g
e
do
c
:
bar
v
inok_series r
e
quires polyhedron t
o
have *r
e
v
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makefil
e
.
am: check barvinok_enumerate
--series d
u
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
barvino
k
_enumerate: comput
e
serie
s
of polyhedra
w
it
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
tes
t
all
speciali
z
ation alg
o
rithms du
r
ing m
a
ke check
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
ool
a
ege
p
a
ss options through to barvinok_coun
t
in b
a
rvinok_en
u
merate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
H
a
ndle non-unimodul
a
r cones
i
n dual
de
c
omposi
t
i
on
commit
|
commitdiff
|
tree
2007-02-08
Sven Ver
d
oolaege
barvinok
_
stats: renam
e
unimod
u
lar
_
cones to ba
s
e_cones
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoolaege
reducer
.
cc: extra s
a
nity check
s
commit
|
commitdiff
|
tree
2007-02-08
Sve
n
Verdoolaege
Handle non-u
n
i
modular con
e
s with a specified m
a
ximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sven Verdoolaege
d
ecom
p
oser
.
c
c
: decomp
o
se:
m
i
nor clean-
u
p
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
barvinok_
o
ptions: include pointer to
b
ar
v
inok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
add
barvinok_o
p
tions
_
f
ree
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaege
b
arvinok_enumerate: collec
t
stats
on n
u
mber of unimod
u
la
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
decom
p
o
s
er
.
cc:
pol
a
r_decompos
e
:
remove comm
o
n divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaeg
e
pa
r
ti
a
l
_redu
c
er:
specialize lis
t
version of ba
s
e
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoo
l
aege
reducer::reduce: b
e
tter ha
n
dl
i
ng o
f
te
r
ms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n
Ve
r
d
o
o
laege
r
educer::
r
educe:
c
ombine num
e
rators with
equal unreduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sve
n
Ve
r
doolaege
QQ
:
add operator
f
o
r multiplication of vecto
r
by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
V
erdoolaege
r
e
d
u
cer::reduce: take a list of nu
m
e
rators as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
gen_fun
:
:read
:
read g
e
n
_
fun from file d
e
scriptor
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
a
dd g
e
n_fun::add(
s
hort_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
N
TL_QQ
.
cc: support re
a
ding from
stre
a
m
commit
|
commitdiff
|
tree
next