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
volume.c: volume_triangulate: use vertex instead of barycenter by default
2007-04-13
Sven
Ver
d
oolaege
volume
.
c: v
o
lume_t
r
iangulate: use ver
t
ex inste
a
d
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
ola
e
ge
v
olume
.
c: face_vertices: use Param_Inner_
P
roduct
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdoolaege
Call set_prog
r
am_na
m
e
before
calling
argp_p
a
rse
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
reduc
e
_domain: exploit that n
o
c
a
ller use
s
Polyhed
r
on2Pa
r
am_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
l
e
x
min:
s
top using Pol
y
hedron2Param_Simp
l
ifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
barvinok
.
cc: stop using Polyhedron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
g
e
R
equire a versi
o
n o
f
PolyLib that c
o
mputes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
volum
e
.
c: non_empty_point: simply use
internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
on
l
y compile barvinok_max
i
m
ize i
f
Gi
N
a
C
(and
b
ernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
a
ege
ad
d
an ehrhart example with interesting chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verd
o
o
l
ae
g
e
test_approx: test
chamber
b
ased
s
c
aling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c
:
o
p
tionally perform scaling on i
n
di
v
i
d
ua
l
cham
b
e
rs
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
barvi
n
o
k
_enumerate: use "variable compr
e
ssion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
util
.
c
:
left_inv
e
rse: handle constant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: e
v
alue_substitute: move from edomain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
a
ege
evalue
.
c: a
f
fine2evalue: extracted from vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
o
l
aege
re
d
uc
e
_do
m
ain: partiti
o
n
c
ha
m
ber complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolae
g
e
r
educe_domain
.
c: e
x
tra
c
t
i
n
ner_point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_d
o
m
a
in: c
h
eck f
o
r adj
a
cent chambers in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en
V
e
r
doolaeg
e
FORALL_REDUCED
_
D
OMAIN: extract co
m
mon handling of
redu
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
b
arvin
o
k_enumerate: move recursive c
a
ll d
u
r
ing s
c
al
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolaege
b
a
r
v
inok
.
cc: Param
_
Polyhe
d
ron_Enumerate: extra
c
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoo
l
aege
a
d
d some interestin
g
test ca
s
es for volum
e
computat
i
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
l
aege
perform very ba
s
ic polynomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
te
s
t
_approx: comp
a
re different p
o
l
y
n
o
mial
appro
x
imatio
n
s
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
evalue
_
c
o
nvert
.
c
c: par
t
ia
l
support for
p
rinting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
Verdool
a
e
ge
Param_Polyhedro
n
_Volume:
perfo
r
m lifting
triang
u
lati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
doolaege
v
o
lume
.
c: in
t
rod
u
c
e param
e
ter_poi
n
t abstr
a
c
t
ion
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
ge
sca
l
e
.
c
:
export Pa
r
am_V
e
rtex_Common
_
Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
volume
.
c
:
drop
r
edundan
t
argu
m
en
t
s to v
o
lu
m
e_
s
im
p
l
ex
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ver
d
oo
l
aege
options
.
c: separate polynomial approxim
a
t
i
o
n rel
a
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Ve
r
doolaege
barvinok_options_new
_
w
i
th_defa
u
lts: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verd
o
olaege
triangula
t
e_con
e
:
sk
i
p
Delaunay triangulation by
d
efault
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
e
value_convert: print
l
attice
when printin
g
as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verd
o
olaege
evalue_convert: add v
e
rbose argument and return 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Polyhedron_Flat
e
:
i
n
tersect inflat
e
d
polyto
p
e with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc: bib
:
fix up name i
n
title
of Algorith
m
ica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Ver
d
oolaeg
e
ad
d
mis
s
ing volume
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoolaege
volum
e
.
c: del
a
y computation
o
f
po
i
nt where volume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n
Verd
o
olaege
Par
a
m_Po
l
yhedron_Volu
m
e: set polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
volu
m
e
.
c: allow compu
t
ation of lower and upper bo
u
nd
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
Verdoolaeg
e
scale:
e
x
port Polyhedron_F
l
ate
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rd
o
o
l
aege
ba
r
vinok_
e
numerate:
o
ptiona
l
ly compute "volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Ve
r
doolaege
polytope_volu
m
e: c
o
mpute volu
m
e of
parametric p
o
lytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olaege
reduce_domain
.
c: plug memory
l
eak
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolae
g
e
verify
.
c:
m
ove comp
u
tation o
f
true
c
ontext i
n
to check_poly
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
sc
a
le
.
c
:
a
dd simplified method of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
do
o
lae
g
e
barvino
k
_
e
numera
t
e: op
t
i
onally compute tighter
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
e
rdo
o
laege
polyhe
d
ron_sample
.
c: remove
r
edundant MAXRAY
S
define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
e
ge
evalu
e
.
c: evalue_ev
a
l: support
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
evalu
e
.
c:
e
value_
f
r
a
c
2
pol
y
n
o
mial: properly handl
e
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
oolaege
ba
r
vinok_enumerate: suppor
t
appr
o
x
i
m
ation by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
olaege
scale
.
c: avoi
d
s
i
mplifica
t
ion o
f
c
onstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Ver
d
o
olaege
b
arvinok/util
.
h: add P
O
L
_U
N
S
E
T
macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
scal
e
.
c
:
P
aram_Polyhedron_S
c
ale_Inte
g
er_Fas
t
:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
dool
a
ege
m
ove
P
aram_Polyh
e
d
ron_
S
cale_Integer to s
c
al
e
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolae
g
e
use separate flags op
t
io
n
for
scale approxim
a
tion meth
o
d
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
bar
v
i
nok
.
cc: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
Ve
r
doolaege
scale
.
c:
correct extr
a
ct_latt
i
ce
in
case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Ve
r
d
o
olaege
do
c
: update
CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrhart
.
c: round inex
a
ct evaluation up or dow
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Ver
d
oo
l
aeg
e
ve
r
if_ehrhart
.
c
: opt
i
on
a
lly use e
x
act eva
l
uation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
S
ven Verdoola
e
ge
ev
a
lue
.
c:
a
d
d evalue_eval for
exact evaluation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: fix eval
u
e_fra
c
2polynomi
a
l for
n
egative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolae
g
e
b
arvi
n
ok
_
e
n
u
m
erate: perform slow scaling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
ol
a
ege
fix
P
ara
m
_Po
l
yhedro
n
_
S
c
a
l
e_I
n
teger
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoo
l
a
e
ge
barvinok_enumerate: more accurate polynomial approxim
a
tion
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n V
e
rdoo
l
aege
reorganiz
e
polynomial appro
x
imation
options
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
doolaege
util
.
c: Param_Polyhedron_Print: actually u
s
e output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
f
i
x merge of check_pol
y
from verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
ven Verdoolaege
d
o
c: update
K
oeppe
-
Verdoolaege
r
eference
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolae
g
e
barvinok_maximize: support ver
i
fication
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
m
e
rge check_poly from verif_ehrhart
.
c an
d
l
e
x
min
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
evalue
.
c: mak
e
some
e
value argum
e
nts co
n
st
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
r
d
o
olaege
eval
u
e
_
frac2f
l
oor2: also con
v
ert non-partitio
n
if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Ver
d
oolae
g
e
verify
.
c: c
h
ange verify_options_set_range
p
rototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
er
n
stein: piecew
i
se_lst::evaluate: s
u
pp
o
rt different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolaege
ver
i
fy
.
c: tu
r
n
off
c
ont
i
nue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
bernstein: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Ver
d
o
olae
g
e
doc: proof
o
f exi
s
tence of suitable y for primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdool
a
eg
e
doc:
fix proof of exist
e
n
c
e of suitable y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
r
doolaege
bernstein
.
c
c
: bernstein_coef
f
i
cients: crea
t
e signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoo
l
ae
g
e
barvino
k
_maximize: optionally use recursive bernstein_
c
oeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
ber
n
s
t
ein
.
c
c: bernstein
_
co
e
fficients: support
gener
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaege
bernstein
.
cc: r
e
factor bernst
e
i
n_coefficients_
p
roduct
commit
|
commitdiff
|
tree
2007-03-14
S
v
en
Verdoolaege
bernstein: piecewise_lst: add sign and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoo
l
aege
bernste
i
n: a
d
d remove_red
u
ndant
s
method
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
doc: primal decomposition:
t
ypo fixes + cl
a
rificatio
n
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
doc:
fi
x
p
rimal d
e
comp
o
sit
i
on example + clean-u
p
s
commit
|
commitdiff
|
tree
2007-03-11
Sven V
e
rdoolaege
D
o
cument
p
rimal
decomposit
i
on
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdo
o
l
aege
barvin
o
k
.
c
c: barvin
o
k_enum
e
r
ate:
f
ix lowe
r
bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdoolaege
evalu
e
_split_periods: grac
e
full
y
handle zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoola
e
ge
bar
v
inok
_
maximize: handle
z
ero
i
nput
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_en
u
mer
a
t
e
_e: c
l
ea
n
u
p
allocation o
f
options
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n
Verdoolaege
barv
i
no
k
.
cc: handle case where nothing is left a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoolaege
e
valu
e
_conv
e
r
t
: support print
i
ng a
q
uasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
Verdoolaeg
e
l
a
t
tice_point
.
h: mak
e
self-
c
on
t
ain
e
d
commit
|
commitdiff
|
tree
2007-03-02
Sven
Verdo
o
laege
e
v
al
u
e
.
c
:
ext
r
act evalue_extract
_
affine
from be
r
ns
t
ein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Ver
d
oolaeg
e
bernst
e
i
n
.
cc: be
r
nstein_
c
oefficie
n
ts_prod
u
c
t
: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoo
l
ae
g
e
ber
n
st
e
in_coefficients: optionally optimize
during
.
.
.
commit
|
commitdiff
|
tree
next