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: add journal version of improved derivation paper
2007-04-15
Sven Verdoolaege
doc: add jo
u
rna
l
v
ersion of im
p
roved de
r
ivation paper
commit
|
commitdiff
|
tree
2007-04-13
S
ven Verdoolaege
volu
m
e
.
c: keep track of numbe
r
of simpli
c
es in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven V
e
rd
o
ol
a
ege
test_
a
pprox: test volume c
o
mputa
t
i
on va
r
ia
t
ions
commit
|
commitdiff
|
tree
2007-04-13
Sven Ve
r
doo
l
a
e
ge
volume
.
c:
v
olume
_
triangulat
e
: use v
e
rtex inst
e
ad
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolae
g
e
v
olume
.
c: face_ver
t
ices: u
s
e
P
aram_I
n
ner
_
Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oola
e
g
e
Ca
l
l s
e
t_program_
n
a
me befor
e
c
a
l
l
ing argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoola
e
g
e
red
u
ce_
d
omai
n
: expl
o
it
that no caller
uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erd
o
olaege
lexmin
:
stop
using Po
l
yhedron2Par
a
m_SimplifiedDomai
n
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolae
g
e
bar
v
i
n
ok
.
cc: stop using Poly
h
edron2Param_Simplifie
d
D
o
m
a
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
Requ
i
re
a version of Po
l
y
L
ib
t
h
at
computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
volume
.
c: non
_
empty_point: simply use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
V
erdo
o
laege
o
n
ly compile barvinok_maxi
m
ize i
f
GiNa
C
(
and be
r
nstei
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaeg
e
add an eh
r
hart example with
i
nt
e
r
e
sting chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
olaege
test_
a
pprox: test chamber based sca
l
in
g
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
sca
l
e
.
c: optionally pe
r
form scaling on
i
ndividual ch
a
mber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
barvinok_enum
e
rate: use "va
r
i
abl
e
co
m
pres
s
ion" to remov
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rdo
o
laege
util
.
c:
left_inverse: hand
l
e
constant m
a
p
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoo
l
aege
evalue
.
c: evalue_
s
ubsti
t
ute: move from
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalu
e
.
c: affine2evalue:
e
xtr
a
cted
from
vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
red
u
ce_d
o
main:
partit
i
o
n
cham
b
er complex
b
ased on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven
Verdoolaege
reduce_d
o
main
.
c: ext
r
a
c
t in
n
er_point and i
s
_inte
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdool
a
ege
redu
c
e
_
domai
n
: che
c
k for adjacen
t
cham
b
er
s
in simp
l
ified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Ver
d
oolaege
FORALL
_
REDUCED_DOMAI
N
: extract comm
o
n
h
a
ndling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
barvi
n
ok_enumerate: mo
v
e recu
r
sive call during
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
barvi
n
ok
.
cc: Param_Pol
y
hedron_
E
n
umerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Ver
d
o
o
l
a
ege
a
d
d some interesting tes
t
ca
s
e
s for
v
olume comput
a
t
i
on
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoo
l
a
ege
p
erform ver
y
basic polynomial
appr
o
ximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
l
aege
test_app
r
ox: c
o
mpare
d
ifferent po
l
ynomial approx
i
m
a
t
ions
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
r
doo
l
aege
evalue_convert
.
cc
:
partial sup
p
ort for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verd
o
o
l
a
ege
Param_Polyhedron_V
o
lume: per
f
o
rm l
i
fting tria
n
gulat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
v
olume
.
c: introduc
e
parameter_
p
oint abstract
i
on
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdo
o
la
e
ge
scale
.
c: expor
t
Param_Vertex_
C
o
mmon_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolae
g
e
vol
u
me
.
c: drop redundant
ar
g
umen
t
s
to volume_s
i
mplex
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ver
d
oola
e
ge
optio
n
s
.
c:
separate pol
y
nomia
l
approximation rela
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n
V
e
r
doolaeg
e
barvinok_opti
o
n
s
_new_with_defaul
t
s: initialize scale_f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdo
o
laege
t
r
ian
g
ulate_cone: skip Delaunay
triang
u
l
a
tion
by default
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rd
o
o
laege
evalu
e
_co
n
ve
r
t
: print
l
attice when p
r
inting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
e
v
a
lue
_
con
v
ert
:
add ver
b
ose argumen
t
and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n
V
e
rdoolaege
Po
l
yhedron_Fl
a
te: intersect inflat
e
d
polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoo
l
aege
d
o
c
:
bib: fi
x
up na
m
e in title of Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sve
n
V
erdool
a
ege
add missing volume
.
h
file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoola
e
ge
v
o
lu
m
e
.
c: de
l
ay
c
om
p
utation of point where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdo
o
l
aege
Par
a
m
_Polyhed
r
on_Volume:
set p
o
lynomial_ap
p
roximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
volume
.
c
: allow c
o
mput
a
tion of lowe
r
and upp
e
r bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoolaege
scale:
export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
v
en
V
e
rd
o
o
l
aege
barvinok
_
enumer
a
t
e: optionally compu
t
e "volume
"
polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdo
o
laege
po
l
ytop
e
_volu
m
e: compute volume of paramet
r
ic polytope
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolaege
reduce_d
o
main
.
c
:
p
lug
m
emory leak
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
verify
.
c: move c
o
mputation of
t
rue conte
x
t into c
h
e
c
k
_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoo
l
ae
g
e
s
c
ale
.
c: add simplif
i
ed m
e
thod of computing tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
dool
a
ege
barvinok_e
n
umer
a
t
e
:
o
pti
o
nally comp
u
te t
i
g
h
ter poly
n
omi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
polyhedr
o
n_sample
.
c: remove redu
n
d
ant MAXRAYS
define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
evalue
.
c: evalue_ev
a
l: supp
o
r
t relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
eval
u
e
.
c: e
v
alue_frac2polynomial
:
p
r
op
e
rly handle rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
b
arvino
k
_
e
numerate: s
u
pport approximation
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c:
a
void simpli
f
ication
o
f constrai
n
t
s
a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ve
r
doola
e
ge
b
a
rvinok/u
t
i
l
.
h: add POL
_
UNSET
m
acro for unset
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdool
a
ege
scale
.
c: Param_Po
l
yhedron_Scale_Inte
g
er_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
move Param_Polyhed
r
on_Scale_
I
ntege
r
to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ol
a
e
g
e
use separat
e
flags opt
i
on for scale approximation method
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolae
g
e
barvinok
.
cc: move scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verd
o
olaege
s
cale
.
c: co
r
r
ec
t
extra
c
t_la
t
tice in case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdo
o
laege
doc: update C
C
2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Ver
d
oolaege
verif
_
ehr
h
ar
t
.
c: round ine
x
act
evaluation up
o
r do
w
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Verdoola
e
ge
verif_ehrhart
.
c: optionally
u
s
e
e
x
a
ct evalua
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c: add
evalue_e
v
al for
exact evaluatio
n
of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
evalue
.
c
: fix evalue_frac2po
l
y
nomial f
o
r
neg
a
tive values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
ven Verd
o
ol
a
ege
barvinok_en
u
merat
e
: pe
r
fo
r
m slo
w
s
c
aling
approximatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ve
r
do
o
laege
fix Param_Polyhed
r
on_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Ve
r
doolaege
barvi
n
ok
_
enume
r
ate: mo
r
e accura
t
e polynomia
l
appr
o
xim
a
tion
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verdoolaege
reorga
n
ize poly
n
omial a
p
p
roximation
o
ptio
n
s
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
u
til
.
c: Para
m
_Polyhedron_Pr
i
nt
:
actually use outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verd
o
olaege
fix merge of check_poly from verif_ehrhar
t
.
c and l
e
x
min
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
v
en Ver
d
oo
l
aege
doc:
u
pdate Koeppe-Verdoolaege
r
eference
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oola
e
ge
barvinok_maximize: su
p
port ve
r
ification
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
mer
g
e c
h
eck
_
poly
from verif_ehrhart
.
c and lexm
i
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
rdoo
l
aege
evalue
.
c: make some e
v
a
l
ue ar
g
ume
n
ts c
o
n
st
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
o
ola
e
ge
evalue_
f
rac2floo
r
2: also convert
n
on-partition if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
verify
.
c: change
v
erify_opti
o
ns_
s
et_range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
g
e
bernstein: p
i
ecew
i
se_ls
t
::evalua
t
e: suppor
t
different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven V
e
rdoolaeg
e
verify
.
c: turn off contin
u
e
_
on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
rdoolaege
bernstein: export nume
r
ic
2
value
commit
|
commitdiff
|
tree
2007-03-15
Sv
e
n
Verdoolaege
doc: pr
o
of of existence
of suitable y for primal
decompo
s
it
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
Ve
r
doola
e
ge
d
o
c: fix pro
o
f of existen
c
e of
su
i
table y for pr
i
ma
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
d
o
olaege
be
r
nstein
.
cc: bernstein_coefficient
s
:
c
reate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
barvinok_maximize:
optionally use recursive
bernstein_coeff
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
b
e
r
ns
t
e
i
n
.
cc: bernst
e
in_coefficients: supp
o
rt general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdo
o
la
e
ge
bernstein
.
cc
:
refa
c
tor ber
n
stein_coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
d
o
olaege
be
r
nstei
n
: p
i
ecewise_lst:
a
dd sign
a
n
d
remove
r
e
d
u
nda
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdo
o
laeg
e
b
ernstein: add re
m
ov
e
_redundants m
e
thod
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
doc: primal d
e
com
p
ositi
o
n:
typo
f
i
xes + clar
i
fications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdo
o
la
e
g
e
doc
:
fix
p
rimal
d
e
comp
o
sition example +
clea
n
-ups
commit
|
commitdiff
|
tree
2007-03-11
S
v
e
n
Verdoolaege
Document pr
i
mal decom
p
ositi
o
n
commit
|
commitdiff
|
tree
2007-03-11
S
ven Ver
d
oolae
g
e
barvinok
.
cc:
bar
v
inok_enumerate
:
fi
x
l
o
wer bound approximat
i
on
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
oo
l
aege
e
value_
s
plit_periods: gracefully hand
l
e zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoolaege
barvinok
_
maximize
:
handle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
barvinok_enu
m
e
r
ate_
e
: clean
up alloc
a
tion of
options
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Verdoolae
g
e
barvinok
.
cc: handle case wher
e
nothing
is left
after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
eva
l
ue_
c
onvert: support p
r
inting a
q
u
a
si-poly
n
o
miala
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoo
l
ae
g
e
lattice_po
i
nt
.
h
: make self-contained
commit
|
commitdiff
|
tree
next