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
Param_Polyhedron_Volume: perform lifting triangulation by default
2007-04-08
Sven
Verdoolae
g
e
P
a
ram_Pol
y
h
e
dr
o
n_Volume: perform lifti
n
g tri
a
n
gulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
v
olume
.
c: introduc
e
paramete
r
_point
a
bstra
c
tion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
scale
.
c: export Para
m
_
V
erte
x
_Common_
D
enomin
a
to
r
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdool
a
e
g
e
vol
u
m
e
.
c: drop r
e
dundant arguments to volume_s
i
m
p
lex
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
op
t
ions
.
c: se
p
arate polynomial approximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
barvinok_options_new_
w
ith_
d
efaults
:
initialize scale_flag
s
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
aege
triangulate_cone: skip Delaunay t
r
ia
n
gula
t
ion by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
a
e
ge
evalue_
c
onvert
:
print lat
t
ice when printing a
s
l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Ve
r
doolaege
e
va
l
ue_convert: a
d
d ve
r
bose a
r
gumen
t
and retu
r
n 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Polyhedron_Flate: intersect inflated p
o
lytope
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc: bib: f
i
x
u
p n
a
me i
n
title of A
l
g
o
ri
t
h
mica
p
ape
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add mi
s
s
ing vol
u
me
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Ver
d
oolaege
volume
.
c:
delay computation of p
o
int where vo
l
ume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
Verdoola
e
ge
Param_Polyhedron_Volume: set polynomial_approxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c: allow co
m
putation of lower and upper
bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdool
a
ege
s
cale:
ex
p
ort Pol
y
h
e
d
ro
n
_
F
late
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
erdoolae
g
e
barvinok_
e
numerate: optionally compute "volume" polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
polytope_v
o
lume:
compute volume of p
a
rametri
c
polyt
o
pe
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduce_domain
.
c: pl
u
g
memo
r
y leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verify
.
c: move computat
i
o
n of true con
t
ext in
t
o
c
heck_p
o
ly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
s
c
a
le
.
c:
a
dd
s
implified method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
Verdoo
l
a
ege
b
a
rvinok_
e
numerate:
o
ptionally
compute tight
e
r polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
p
o
l
yhedron_sam
p
l
e
.
c: remove red
u
nd
a
n
t
M
AXRAYS
defin
e
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
value
.
c:
e
value_eval: suppor
t
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
value
.
c: evalue_frac2polynomial: properly ha
n
dle rela
t
i
ons
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
_
enumerate: support a
p
pr
o
xim
a
t
i
on by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: avoid simplific
a
tio
n
of co
n
strai
n
ts afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
doolaege
barvino
k
/
ut
i
l
.
h: add
P
OL_UNSET ma
c
ro
for unsett
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
olaege
s
c
ale
.
c: Param_
P
o
l
y
h
edron_Scale_Integer_Fast: i
g
nore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Par
a
m_Polyhe
d
r
o
n
_Scale_In
t
ege
r
to scale
.
c a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use sepa
r
ate flags option for sc
a
le a
p
proximation method
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erdoolae
g
e
barvinok
.
c
c:
move sc
a
l
ing to
s
cale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
o
l
aege
s
c
a
l
e
.
c:
correct ex
t
ract
_
latti
c
e in
cas
e
of redundan
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
do
c
: upd
a
t
e
C
C2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaeg
e
verif_ehrhart
.
c: round inexact evaluation up or
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verd
o
o
laege
veri
f
_ehrhart
.
c: optionally
u
s
e
exac
t
evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoola
e
ge
evalue
.
c: add evalue_eval for exact evalua
t
ion of
e
v
alue
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n V
e
rdoolaege
evalue
.
c: fi
x
eva
l
ue_
f
rac2polynom
i
al for
neg
a
tive va
l
u
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdool
a
ege
ba
r
vinok_enumerate: perform
s
low s
c
ali
n
g a
p
proxim
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en
V
e
rdoo
l
aege
f
ix Param
_
Polyhedron_Scale_I
n
t
e
ger
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
barvinok_enumerate: more
accurate po
l
ynomial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
reorga
n
i
ze polynomial a
p
pr
o
ximation o
p
tions
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
util
.
c
: Param_Polyh
e
dr
o
n_Prin
t
: actually use
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoola
e
ge
fix merg
e
of
check_
p
o
l
y
from veri
f
_ehrhart
.
c and
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ve
n
Verdoolaege
doc: update Koeppe-Verd
o
olaege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
barvinok_maximize:
s
upport verifi
c
ation
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
merge check_poly
f
ro
m
verif_ehrhart
.
c and l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
ven
Ver
d
oolae
g
e
evalue
.
c
:
m
a
ke some
e
value arguments
c
o
n
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
evalue_frac2floor2: also convert n
o
n-partition if
n
o
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verd
o
olaege
verify
.
c:
change ver
i
fy_options_set_range prototyp
e
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
b
erns
t
e
in:
piecewise_lst::
e
valuate: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c
:
turn off cont
i
nue_
o
n
_
error by
d
ef
a
ult
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolae
g
e
ber
n
stein:
ex
p
ort num
e
ric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
do
c
: pr
o
of of existe
n
ce of suitable y for primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
do
c
: fix proof of exist
e
nce of suitable y f
o
r
p
ri
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc: b
e
rnstei
n
_coefficients: crea
t
e signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n
Verdoolaeg
e
ba
r
vin
o
k_maximize
:
o
pt
i
onally
u
s
e re
c
ursi
v
e bernstein_c
o
e
f
fi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc: bernstein
_
coeffi
c
ients
:
supp
o
rt general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaeg
e
bernstein
.
cc: r
e
fact
o
r b
e
rnstein_coe
f
f
i
cien
t
s_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
o
l
a
e
ge
bernst
e
in
:
p
ie
c
ewise_
l
st:
a
dd s
i
g
n and
r
emove re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
ber
n
stein: a
d
d remove_
r
edund
a
nts
m
ethod
commit
|
commitdiff
|
tree
2007-03-14
S
v
en V
e
rdool
a
e
g
e
doc: p
r
imal decompositi
o
n: typ
o
fixes + c
l
arification
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Ve
r
doolaeg
e
doc
:
fix primal d
e
compos
i
t
i
o
n e
x
a
m
ple
+
clean-
u
ps
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaeg
e
Document
primal de
c
o
m
position
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdool
a
ege
barvinok
.
cc: barvinok_enumerate: fix lowe
r
bo
u
nd
a
pproximat
i
on
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
ege
evalu
e
_split_peri
o
ds: grace
f
ully handle zero
evalu
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdool
a
ege
barv
i
nok_m
a
ximize: han
d
le z
e
ro input
commit
|
commitdiff
|
tree
2007-03-07
Sven V
e
rdoolaege
barvinok_
e
numerate_e:
clean up allocation of op
t
ions
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolae
g
e
barvi
n
ok
.
cc: handl
e
case where nothing is left
a
f
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven V
e
rdoolaeg
e
evalue_convert:
s
u
pport
p
r
inting a qua
s
i-polynomia
l
as
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
er
d
o
o
laege
latti
c
e
_
poin
t
.
h: ma
k
e
self-contained
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
g
e
evalue
.
c: ex
t
ra
c
t evalu
e
_
ext
r
act_affine from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n V
e
r
d
oolaege
bernstein
.
cc: bernstein_coefficients_
p
roduct: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaeg
e
bernst
e
in_coefficients:
o
ptionally
o
ptimize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
V
erdoolaege
bernstein
_
c
o
efficients: factori
z
e d
o
main if
p
ossible
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdo
o
laeg
e
Poly
h
edron_Factor: optionally
return relation
b
et
w
e
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
S
ve
n
Verdool
a
ege
b
e
r
nstein: expor
t
replaceVariabl
e
sI
n
Polynom
i
al
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
rdoola
e
ge
bernstein
.
cc: evalu
e
2ex: repres
e
nt fractional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sv
e
n
V
erdoolaege
barvinok_maximize: fix handlin
g
o
f
UNIONs in
d
o
m
ain
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoola
e
g
e
bernstein_coeffi
c
ients: skip empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven
Verdo
o
laege
barvinok_maximize:
fix
de
t
ection of end of domain s
p
ecif
i
ca
t
ion
commit
|
commitdiff
|
tree
2007-02-27
Sven V
e
rdoolaege
barvinok_maximize
:
a
dd input conve
r
sion
commit
|
commitdiff
|
tree
2007-02-27
Sven
V
erdoolae
g
e
eval
u
e_convert: extract
e
d f
r
o
m barvinok_e
n
umerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoola
e
ge
util
.
c:
mo
v
e
P
olyhedron_is_unbounded
from berns
t
ein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Ver
d
oolaege
bernstein_coefficients: skip infinite (sub)domains
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
barvinok
_
maximize:
l
et user specify v
a
riables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
bern
s
t
e
in_coeffic
i
ents
:
s
k
ip computation
s
if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Ve
r
dool
a
eg
e
barvinok
_
ma
x
imize:
fix access
t
o
fre
e
d memo
r
y
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
b
e
rnstein
/
piecewise_ls
t
.
cpp: add minimize() method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoola
e
ge
barvinok_maxim
i
ze
:
rea
d
domains
wit
h
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sve
n
Verdoolaege
u
se GiNaC cflags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoo
l
aege
barvino
k
_maximize: op
t
iona
l
ly c
a
l
l
evalu
e
_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
evalue
.
c: a
d
d
evalue
_
spl
i
t_peri
o
ds
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
util
.
c
: value_lcm
:
m
a
rk arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Verdoolaege
evalue
.
c: polynomial_p
r
oje
c
tion
:
a
l
lo
w
N
U
L
L R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oolaege
evalue
.
c: extract fiddli
n
g
with coefficients out of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sve
n
Verd
o
olaege
e
v
a
l
ue_ber
n
ste
i
n_coeff
i
ci
e
nts: han
d
le ea
c
h coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoolaege
barv
i
nok
_
ma
x
imize: read evalues with
p
e
r
io
d
ics
commit
|
commitdiff
|
tree
2007-02-21
S
v
en Verdoolaege
evalue
_
bernstei
n
_coeffi
c
i
e
n
ts: handle p
e
riodics in
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven
Verdoolaege
b
e
r
nstein: bernsteinE
x
pansion: accept list
o
f polynomi
a
ls
commit
|
commitdiff
|
tree
next