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
test_approx: test volume computation variations
2007-04-13
Sven
Verdoolaege
te
s
t_
a
pprox: test volume computation variat
i
ons
commit
|
commitdiff
|
tree
2007-04-13
S
v
en
Verdoolaege
volume
.
c
:
volume_triangulate: use vert
e
x ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: face_ve
r
tices: use Par
a
m_Inn
e
r_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
C
a
l
l
set_
p
rog
r
am_name before calli
n
g argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
reduce
_
domain: expl
o
it
that no
caller uses
Polyhedro
n
2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lex
m
in: stop using Polyhedron2Param_Simpl
i
fiedD
o
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
ge
bar
v
inok
.
c
c:
s
top using Polyhedron2Par
a
m
_
Simplif
i
ed
D
omain
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
Require
a
version of Poly
L
ib that c
o
mputes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
volu
m
e
.
c: non_emp
t
y_point: simply use intern
a
l poin
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
o
n
ly compile b
a
r
vinok
_
ma
x
imiz
e
if GiNaC (an
d
bern
s
t
e
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Ve
r
doolaege
ad
d
an ehrhart exa
m
pl
e
with interesting chamb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
test_approx:
test chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
S
ven V
e
rdo
o
laege
scale
.
c: op
t
ionally perform
scaling on
i
ndividual chamber
s
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
barvino
k
_enumer
a
te: use "variable compres
s
ion
"
to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
util
.
c:
l
eft_
i
nvers
e
:
h
a
ndl
e
constan
t
map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: eva
l
ue_substitute: move from e
d
o
m
ain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
r
doola
e
ge
evalue
.
c
: affin
e
2evalue: extracted fr
o
m
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
redu
c
e
_domain: pa
r
tition chamber complex based on inn
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
r
doolaege
r
e
duc
e
_
d
oma
i
n
.
c: e
x
tract inner_point an
d
is_inte
r
nal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verdoolaege
re
d
uce_
d
omai
n
: check for adjace
n
t chambers
i
n simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FORALL_REDU
C
ED_DOMAIN: extract common
han
d
l
i
n
g
of redu
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdo
o
laeg
e
barvinok_en
u
merate: move recursi
v
e call
d
urin
g
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doolaege
b
a
rvinok
.
c
c
: Param_
P
olyhed
r
on_
E
n
u
mer
a
t
e
: ex
t
ra
c
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add some in
t
e
r
esting
test case
s
for volu
m
e computation
commit
|
commitdiff
|
tree
2007-04-09
S
ven Ver
d
oolaege
perform very basic polynom
i
al appro
x
i
m
ation test
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
test_approx:
c
ompare d
i
f
f
erent polynomial approximati
o
n
s
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
eval
u
e_convert
.
c
c
: parti
a
l
support for printi
n
g
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
Para
m
_
P
olyhedron_Vol
u
me: perfo
r
m lift
i
n
g triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven Verd
o
olae
g
e
vol
u
me
.
c
:
intr
o
duc
e
para
m
eter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rd
o
o
la
e
ge
s
c
ale
.
c: export Param_Vertex
_
Com
m
on_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
volum
e
.
c: d
r
o
p redundant argume
n
ts to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
options
.
c: separate
p
olynomi
a
l
a
pprox
i
mation r
e
lated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoola
e
ge
b
a
rvinok_opti
o
n
s_
n
ew_wi
t
h
_
defaults: initialize s
c
ale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
V
e
r
d
oolae
g
e
triangulate_cone:
skip Delauna
y
triangulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
e
v
alu
e
_convert: print l
a
ttice
w
hen printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en
Verdool
a
ege
e
v
a
lue_co
n
vert:
a
dd
verb
o
se argument and
r
etu
r
n 1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdool
a
ege
Polyhe
d
ron_Flate: inters
e
ct inflated
po
l
ytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
ven Verdoolaege
do
c
:
bib: fix up name in tit
l
e of Algorithmica pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
S
ven Verd
o
olaege
add m
i
s
s
ing volume
.
h
f
i
l
e
commit
|
commitdiff
|
tree
2007-04-04
S
ven Verdoolaege
volume
.
c: dela
y
comp
u
tation of point where volume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verdoolaege
Param_Polyhedron_Vo
l
um
e
: set
polyn
o
mial
_
app
r
oxi
m
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
volume
.
c:
allow computation of low
e
r a
n
d
upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoola
e
ge
scale: e
x
port
P
olyhedr
o
n_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
b
a
rvinok
_
enumerat
e
: option
a
lly
c
ompute "volume
"
polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolaege
polytope
_
volume
:
compute volume
of parametric po
l
ytope
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoolaege
reduce_domai
n
.
c: plug
m
emor
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
o
ola
e
ge
verify
.
c:
m
o
v
e
compu
t
ation of
true context
into check_p
o
l
y_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
scale
.
c
: add simplif
i
ed method of
computing
tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
Verdoolaege
barvinok_enumerate: opt
i
onally comput
e
tighter poly
n
om
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
po
l
yh
e
dron_sample
.
c
: r
e
move red
u
ndant MAXRAYS
d
efine
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoola
e
ge
evalue
.
c: evalue_
e
val: support re
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdool
a
ege
e
va
l
ue
.
c: evalue_frac2polynomial
:
pro
p
erly handle
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolae
g
e
barvi
n
o
k_enumerat
e
: support app
r
oximation by m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
ege
sc
a
le
.
c: avoid
s
implification of c
o
nst
r
ain
t
s after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoo
l
aeg
e
ba
r
v
inok/util
.
h:
a
dd
P
OL
_
UNSET m
a
cro
f
or unse
t
tin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ve
r
doolaeg
e
scale
.
c
:
Param_Polyhedron_Scale_
I
nteger_Fast: ig
n
ore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoola
e
ge
mov
e
Param_
P
olyhedron_S
c
ale_Int
e
g
er to scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaeg
e
u
s
e sepa
r
ate
f
lags
o
p
tio
n
for s
c
ale ap
p
roxi
m
ation
m
e
t
h
od
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barv
i
nok
.
c
c
:
m
o
ve scaling to scal
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven V
e
rdoo
l
aege
scale
.
c:
cor
r
ect e
x
tr
a
ct_latti
c
e in case of
r
edun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdool
a
ege
doc: update CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
S
v
en Verdoolaege
verif
_
ehrhart
.
c
:
r
o
u
n
d
inexact evalu
a
tion
u
p or
d
own
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n V
e
rdoolaege
verif_
e
hrhart
.
c: optionall
y
use exact
e
v
a
luation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Ver
d
o
o
laege
evalue
.
c
:
add eva
l
u
e_eval fo
r
exact evaluation
of
e
v
a
lue
commit
|
commitdiff
|
tree
2007-03-25
Sve
n
Verdo
o
laege
evalu
e
.
c: fix e
v
alu
e
_
f
rac2polyno
m
ial for negati
v
e
values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdoo
l
a
e
ge
barvinok_enumerate: perform slow sc
a
l
i
ng a
p
pr
o
ximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix Para
m
_Polyh
e
dro
n
_Scale_I
n
teger
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n V
e
rdoolae
g
e
barvinok_e
n
umer
a
t
e: more accu
r
a
t
e
polynomial ap
p
roxim
a
tion
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdoolaeg
e
reor
g
a
nize po
l
ynomial appr
o
ximation opt
i
on
s
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdoolaege
ut
i
l
.
c: P
a
ram
_
P
oly
h
edron_Print: actually use
o
u
tpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdool
a
e
ge
fix merge of check_poly from
ve
r
if_ehrhart
.
c and
lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc: update Koeppe-Verdoolaege
r
efe
r
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
ba
r
vin
o
k
_maximize:
support ver
i
fication
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
merge che
c
k_poly fr
o
m ver
i
f_
e
h
r
hart
.
c
a
n
d lexmi
n
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaege
eval
u
e
.
c: m
a
ke some evalue
a
rgu
m
ents cons
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue_frac2floor2: als
o
con
v
er
t
non-partition
i
f no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
ver
i
fy
.
c
:
cha
n
ge verify
_
options_set_range pr
o
toty
p
e
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdo
o
laege
bernstein: piecewise_l
s
t:
:
evaluate: support
d
ifferent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rd
o
olaege
ver
i
fy
.
c: turn off continue_on_error by defau
l
t
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaeg
e
bernstein: export
numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Verd
o
olaege
doc: p
r
oof of e
x
istence o
f
suit
a
ble
y
f
or p
r
imal decomposit
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolae
g
e
d
o
c
: fix proof of ex
i
stence of suitable y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoolaege
bernstein
.
cc: bernstei
n
_coefficients: creat
e
s
i
gned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolaege
barvi
n
ok_
m
axi
m
ize:
o
ptio
n
a
l
ly use recursive bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Ve
r
do
o
laege
bernst
e
in
.
cc: be
r
nstein_coefficients:
s
upport gen
e
ral
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolaege
bernstein
.
cc: ref
a
ctor bernste
i
n_c
o
ef
f
icients_product
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdool
a
ege
bernstein: pie
c
ewi
s
e
_
ls
t
: add sign and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
o
l
a
ege
bern
s
tein: ad
d
remove_redundants met
h
od
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdo
o
laege
doc: prim
a
l decompo
s
ition:
t
yp
o
fixes + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaeg
e
doc: fix primal decomposit
i
on exam
p
le + cle
a
n-u
p
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
D
o
cument primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Verd
o
olaege
barvino
k
.
cc: bar
v
ino
k
_
e
numerate: f
i
x
l
o
we
r
bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven Ver
d
o
olaege
evalue_split_
p
eriods: gracefully han
d
le zer
o
evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
ven V
e
rdoolaege
barvinok_ma
x
imi
z
e
:
handl
e
zero
i
np
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok_enumera
t
e_e: clean up alloc
a
t
ion of op
t
ions
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
ba
r
v
inok
.
c
c
:
handle
case wh
e
re
n
othing
is l
e
ft after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven
Verdoolaege
eval
u
e_convert: support
p
rinting a quasi-polynomia
l
as
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
latti
c
e_point
.
h
:
make se
l
f-contained
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n V
e
rdoola
e
ge
evalue
.
c: extrac
t
evalue_
e
xtract_aff
i
ne fr
o
m bernstei
n
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
ge
bernstein
.
c
c
: ber
n
s
t
ein_coefficient
s
_pro
d
uct: no need
.
.
.
commit
|
commitdiff
|
tree
next