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 Verdoola
e
ge
doc
:
a
dd jo
u
rnal
v
ersio
n
of improved
derivation
p
a
p
e
r
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
V
erdool
a
e
g
e
vol
u
me
.
c:
keep
track o
f
number of
s
impl
i
ces i
n
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
test_approx: test
volume computation
v
ariati
o
ns
commit
|
commitdiff
|
tree
2007-04-13
Sven
V
erdoo
l
aeg
e
vol
u
me
.
c:
vol
u
me_triangu
l
ate: use vert
e
x
in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
v
o
lum
e
.
c: face_
v
ertice
s
:
u
se Par
a
m_
I
n
ner_Product
commit
|
commitdiff
|
tree
2007-04-12
S
v
en V
e
rd
o
o
l
aege
Call se
t
_prog
r
am_
n
a
me before calling argp_p
a
rse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
re
d
uc
e
_domain: ex
p
loit that
n
o caller uses Polyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
lexmin: stop using Poly
h
edron2Param_
S
implifiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc:
stop
u
sing
P
olyhedron2P
a
ram_Simpl
i
fiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
Req
u
ire a
v
e
rsion of Poly
L
ib th
a
t
c
o
mputes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
v
olume
.
c: non_empty
_
p
oint
:
s
i
mply use internal
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
on
l
y
compile barvinok_maximize if GiNaC (and berns
t
ein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
a
d
d an eh
r
hart example wi
t
h i
n
ter
e
sting chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
ge
test_appro
x
: tes
t
c
hamber ba
s
e
d
scaling
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolae
g
e
scale
.
c: optionally
p
e
rform
s
c
aling on individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
barvinok_enu
m
erate: use "va
r
iable compr
e
ssion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
ut
i
l
.
c: lef
t
_inver
s
e: handle cons
t
ant ma
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: e
v
a
lue_subs
t
itute: mov
e
from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
e
value
.
c:
affine2evalue:
extracted from vol
u
m
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
redu
c
e_domain: pa
r
tition chamber c
o
mplex bas
e
d on
i
nner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
reduc
e
_doma
i
n
.
c
:
extract inner_point an
d
i
s
_
i
n
ternal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolae
g
e
reduc
e
_dom
a
in: chec
k
for
a
djacen
t
cha
m
bers in
s
implified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven
V
erdoolaege
FORALL
_
REDUCED_DOMAIN: extract co
m
mon handl
i
ng o
f
re
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdo
o
laege
b
a
rvin
o
k_enumerate: move rec
u
rsive call during scal
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoo
l
aege
ba
r
vinok
.
c
c: Param_Pol
y
he
d
ron_Enu
m
e
rate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolae
g
e
add so
m
e
interesting te
s
t cases for volume computatio
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolaege
perform v
e
ry basic polyno
m
ial app
r
oxim
a
tion test
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdo
o
laege
test_approx: compare
di
f
ferent polynomia
l
a
p
pro
x
i
mations
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
e
r
doo
l
aege
evalue_convert
.
c
c:
p
a
rtial suppo
r
t for
p
r
inting
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olaeg
e
Param_Polyhedron_Volume: per
f
orm lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoo
l
aege
volume
.
c: introduce parameter_poi
n
t
a
bstr
a
ction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c
: export Param_Vertex_
C
o
mmon_
D
enomina
t
or
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
v
olu
m
e
.
c:
d
rop
redund
a
nt arguments to
v
olu
m
e_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
ge
opt
i
ons
.
c: separ
a
te pol
y
nomial a
p
proximation
r
elated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
r
do
o
laege
ba
r
vinok_
o
ptions_n
e
w_wi
t
h_
d
ef
a
ults
:
i
n
itialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaeg
e
triangulate_cone
:
sk
i
p Delaunay triangu
l
ation by
d
e
fault
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n
Ve
r
doo
l
aege
evalue_conv
e
r
t:
p
rint lattice when printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
e
v
a
l
ue_conv
e
rt: add verbose argument and return 1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
e
rdoolae
g
e
Polyhedr
o
n_Flate
:
intersect inflate
d
polytope wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoo
l
ae
g
e
doc: bib: fix up
na
m
e in title of Algor
i
th
m
ica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Ver
d
oolaege
add missi
n
g volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
S
ven Ver
d
oo
l
aege
v
olume
.
c: delay c
o
mputa
t
ion
o
f
point where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Para
m
_Po
l
yhe
d
ron_V
o
lume: s
e
t polynomial_a
p
proximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
ge
vol
u
me
.
c:
a
l
low
comp
u
tatio
n
of lower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
g
e
scale
:
export Pol
y
h
e
dro
n
_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
bar
v
i
nok_
e
numerate: optionally compute "volume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoola
e
g
e
p
o
l
ytope_volume: compute vol
u
m
e
of pa
r
ametric
polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
l
a
eg
e
r
e
d
uce_d
o
main
.
c: plug
mem
o
ry leak
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoolaege
v
e
rify
.
c: move compu
t
at
i
on of t
r
u
e
context in
t
o check_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoo
l
aege
scale
.
c: add
s
implified
method of computing tig
h
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
barvinok_e
n
um
e
rat
e
: optiona
l
l
y
c
o
mput
e
t
i
ghter polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
poly
h
edr
o
n_sam
p
le
.
c:
r
emove redundant M
A
XRAYS define
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
evalu
e
.
c: evalue_eval: suppo
r
t
r
el
a
ti
o
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ve
r
d
oolaege
ev
a
lue
.
c: evalue_frac2polynomial:
properly handle rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barv
i
n
ok
_
e
nume
r
a
t
e
: suppor
t
approximation by m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdoolaege
sc
a
le
.
c
:
avoid simplification of con
s
traints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
Verd
o
olaege
barvi
n
ok
/
u
t
il
.
h: add POL
_
UNSET macro f
o
r
unse
t
ting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
doolaege
s
ca
l
e
.
c: Param_Polyh
e
dron_Scale_Integer_Fast
:
ig
n
ore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erdoolae
g
e
move
P
aram_Polyhedr
o
n_
S
cale_In
t
eger to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
V
erdoolaege
use
separate flags option for
s
cale app
r
oximation
m
ethod
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaege
barvinok
.
c
c
: m
o
ve
sca
l
ing
t
o scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scale
.
c:
c
o
rrect ext
r
act_lattice in
ca
s
e of
redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc
:
upd
a
te
CC2005 r
e
fere
n
ce
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrhart
.
c
: round
inexact e
v
aluati
o
n up or
d
own
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdool
a
ege
verif_ehrhart
.
c
:
optiona
l
l
y
use exact evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n Verdoola
e
ge
evalue
.
c: ad
d
evalue_
e
val for exact evalua
t
ion of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sv
e
n Ver
d
oolaege
evalue
.
c
:
fix evalue_frac2polynomial for negative v
a
lues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoolaege
barvinok_enumerat
e
: perform sl
o
w
s
caling approxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdo
o
laege
fix Pa
r
am_Polyh
e
dro
n
_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
S
ven
V
e
rdoola
e
ge
barvinok_enumerate: more accurat
e
polynomia
l
approximatio
n
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
reorgani
z
e polynomial appr
o
ximation opti
o
ns
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaeg
e
u
t
i
l
.
c: Para
m
_
Polyhedron_P
r
i
nt:
actua
l
ly
use
output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaege
fix merge o
f
check_poly from verif_ehrhart
.
c an
d
lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
Sve
n
V
erdoolaege
doc: upda
t
e Koeppe-Ve
r
doolaege referen
c
e
commit
|
commitdiff
|
tree
2007-03-17
S
ven
Verdoolaege
barvino
k
_maximize: s
u
p
p
o
rt
v
erifi
c
a
tion
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdool
a
ege
m
e
r
ge check_poly
f
ro
m
verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
e
v
alue
.
c: make some evalue arguments co
n
st
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
evalu
e
_frac2fl
o
or2: also conv
e
rt
n
on-partitio
n
if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
ege
verify
.
c: change verify_options
_
s
e
t_range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
bernstein: piecew
i
se_lst::evaluate:
support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven
V
e
rdoolaege
verify
.
c: turn off
c
o
n
tinue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Ver
d
oolaege
bernstein:
e
xp
o
rt numeri
c
2va
l
ue
commit
|
commitdiff
|
tree
2007-03-15
S
v
en Verdo
o
la
e
ge
doc: pr
o
o
f of existence
o
f
su
i
table y for
primal decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sv
e
n Ve
r
doo
l
aege
doc: fix pro
o
f of
e
x
istence of su
i
table y fo
r
primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernste
i
n
.
cc: be
r
nstein_coe
f
f
icients: c
r
eate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdool
a
ege
barvin
o
k
_maximize: op
t
ionally
use r
e
c
u
rs
i
ve b
e
r
n
stein_coeff
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdool
a
ege
b
ernste
i
n
.
cc: bernstein_
c
oeffi
c
ients: support
gene
r
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
V
erdoolaege
bernstein
.
cc: refactor bernstein_coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoola
e
ge
bernstein:
p
i
ecew
i
se
_
l
st: add si
g
n and remove redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
o
l
aege
bern
s
t
e
i
n: add remove_redundants m
e
thod
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
do
c
: primal dec
o
mposition: typo fi
x
es +
c
larificat
i
ons
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaeg
e
d
o
c
:
fix
primal decomposition exampl
e
+ cl
e
an-u
p
s
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verdo
o
lae
g
e
Document
p
ri
m
a
l
decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verd
o
ol
a
ege
ba
r
v
i
no
k
.
cc
:
barvinok_e
n
ume
r
ate: fix lower bound approxima
t
i
o
n
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdoola
e
ge
evalue_split_perio
d
s
:
g
racefully h
a
ndle ze
r
o ev
a
lues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sve
n
Verd
o
ol
a
ege
b
a
rv
i
nok_maximi
z
e: handle zer
o
inp
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdoolaege
barv
i
n
o
k_
e
numera
t
e_e
:
clean up al
l
ocati
o
n
of opti
o
ns
commit
|
commitdiff
|
tree
2007-03-07
S
ven Verdool
a
e
ge
barvinok
.
cc: handle case wher
e
nothing is left
afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Verdo
o
laege
e
v
a
lue_convert: support printing a quasi-polyno
m
ial
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
lattice_po
i
n
t
.
h: make
s
elf-c
o
ntained
commit
|
commitdiff
|
tree
next