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: face_vertices: use Param_Inner_Product
2007-04-12
Sven Verdoolaege
v
o
lume
.
c: fac
e
_verti
c
es: use Param_
I
n
n
er_P
r
oduct
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Call set_p
r
ogram_name be
f
ore calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
red
u
ce
_
domain: e
x
ploit
t
hat no
c
a
l
l
er us
e
s Pol
y
hed
r
on2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lex
m
in
:
stop using Polyhedron2Param
_
SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc: stop using
Polyhedron2Param_Simplified
D
oma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
Require
a
version of PolyLib that c
o
mputes correc
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ver
d
o
olaege
vo
l
u
m
e
.
c: non_e
m
p
t
y_point: simply use
i
nt
e
rnal poi
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verd
o
olaeg
e
only compile barv
i
nok_
m
aximize if GiNa
C
(and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oo
l
a
ege
add an
e
hrhart e
x
am
p
le with
i
n
t
eresting chamber
s
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
test_approx: tes
t
c
hamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: option
a
lly perform scaling on indivi
d
ual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
ool
a
e
ge
barvin
o
k
_
en
u
mer
a
te: use "variable
c
ompre
s
sion" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oolaege
util
.
c
:
left_inverse: ha
n
d
le const
a
nt map
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
evalue
.
c:
e
value_substitute: mo
v
e fro
m
ed
o
mai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: affine2e
v
a
lue:
ex
t
racted from
volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
reduce
_
doma
i
n: partition c
h
amber
complex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
re
d
u
c
e_doma
i
n
.
c:
extract
i
nner_point an
d
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolae
g
e
reduce_doma
i
n: che
c
k
for a
d
jacent cham
b
ers in simp
l
ified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FORALL_
R
EDU
C
ED_DOMAIN: extract common handli
n
g of re
d
u
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
barvinok_enumera
t
e: mov
e
re
c
ursive call during scal
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Verdoolaege
barvinok
.
c
c
:
Param_Polyhedron_
E
num
e
ra
t
e:
ext
r
acted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
r
d
oola
e
ge
add some interesting test c
a
ses for vo
l
ume computa
t
i
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verd
o
ol
a
ege
perform very basi
c
polynom
i
al approximation tes
t
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolaege
te
s
t_
a
pprox:
c
om
p
are d
i
fferen
t
p
olynomial a
p
proximation
s
commit
|
commitdiff
|
tree
2007-04-08
S
ven
Verdo
o
laege
evalue
_
c
o
nve
r
t
.
cc:
parti
a
l
s
u
p
p
ort for p
r
i
n
ting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoo
l
aege
P
a
ra
m
_Polyhedron
_
Volu
m
e: pe
r
form lifting
triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoo
l
aege
volu
m
e
.
c: int
r
oduce
parameter_poi
n
t ab
s
trac
t
i
o
n
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
scale
.
c:
export
Param_Vertex_Common_Den
o
minat
o
r
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolae
g
e
volume
.
c:
dr
o
p
redundant arguments to volume
_
si
m
p
l
ex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
opti
o
ns
.
c: se
p
a
r
a
t
e polynomial approximatio
n
related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
en
Ver
d
oolaege
ba
r
vinok_
o
ptions_new_with_
d
e
f
a
u
lts: initialize
sca
l
e_f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdo
o
laege
triangu
l
ate_cone: skip Delaunay triangulation by def
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
va
l
u
e
_
conve
r
t
:
p
r
in
t
lattice
w
hen printi
n
g a
s
list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erd
o
olaege
eval
u
e_conve
r
t: add verbo
s
e argumen
t
and return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolae
g
e
P
o
lyhedro
n
_
F
l
a
t
e
: intersect inflated polytope wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdool
a
ege
doc: bi
b
: fix up name i
n
title
o
f
Alg
o
rithmic
a
p
aper
commit
|
commitdiff
|
tree
2007-04-05
S
ven Verdoolaege
add m
i
ssing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Ve
r
do
o
la
e
ge
volum
e
.
c:
d
elay computation of
p
oint where volum
e
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n
Verdoolaege
Param_Polyhedron_Volume:
s
et
polynomial_approxim
a
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
v
olume
.
c
: allow computation of lower and uppe
r
bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
V
e
rdoolaege
scale:
e
xpor
t
Polyhedron_
F
l
a
te
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
V
e
rdoolaege
barvinok_enum
e
rat
e
: optionally comp
u
te "vol
u
me" polynomia
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaeg
e
pol
y
tope_volume
:
c
o
m
p
ute vo
l
ume of
p
a
r
ametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
r
e
d
uce_do
m
ain
.
c: plug memo
r
y leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
en
Verd
o
o
laege
v
er
i
fy
.
c:
m
ove comput
a
tion of
tr
u
e con
t
ext i
n
t
o
check_poly
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
scale
.
c
:
a
d
d s
i
mplified method of computin
g
tigh
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
barvinok_enumerate: optionally compute tight
e
r polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoola
e
g
e
polyhedron_sample
.
c: remove
r
edundant MAX
R
AYS
define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
ege
eva
l
ue
.
c: ev
a
lue_eval: support
r
elations
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
d
oolaege
evalue
.
c
:
eval
u
e_frac2pol
y
n
o
mial: properly han
d
le relations
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolae
g
e
bar
v
inok_enumerate
:
suppor
t
approxima
t
ion by
m
e
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Ver
d
o
o
l
aege
scal
e
.
c: avoid simplif
i
cation of
c
onstra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
oolaege
barvino
k
/util
.
h: ad
d
POL_U
N
S
ET macro for
u
n
setting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
sc
a
le
.
c: Param_Polyhedron_Scale_Integer_Fast: ig
n
ore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Param_Polyhedr
o
n_Sca
l
e_Int
e
ger t
o
scale
.
c
and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
use sepa
r
ate
fl
a
gs option f
o
r
scal
e
appro
x
i
m
ation meth
o
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
barv
i
nok
.
cc: m
o
v
e
scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven
V
erdoo
l
aege
scale
.
c: correct extract_lattice in
case
o
f
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Ver
d
ool
a
e
g
e
doc
:
update CC
2
005
reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdo
o
laege
v
e
r
i
f_ehrhart
.
c: rou
n
d inexact evaluati
o
n up
or dow
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaeg
e
ver
i
f_e
h
r
h
art
.
c:
optionall
y
use
e
x
a
ct evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Ver
d
oolaege
evalue
.
c:
ad
d
evalu
e
_
ev
a
l for exact evaluation of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verd
o
olaege
ev
a
lue
.
c:
fix evalue_f
r
ac2poly
n
omial fo
r
negativ
e
value
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
ven V
e
r
doolaege
ba
r
vinok_en
u
mera
t
e: perform slow
s
caling approximatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolaege
fix Param_Pol
y
hedr
o
n_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n V
e
rdoolaege
barvinok_
e
n
u
merate: more a
c
c
urate polynomial a
p
proxi
m
a
t
ion
commit
|
commitdiff
|
tree
2007-03-19
S
v
e
n
Verdo
o
laege
re
o
rganize polynomial approxim
a
tion options
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
util
.
c: Param_Pol
y
hedron_Print: actually use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
fix merge
o
f check_poly
from verif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
S
v
en Verdo
o
lae
g
e
doc
:
up
d
ate Ko
e
p
pe-V
e
r
d
oolaege ref
e
ren
c
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
barvinok
_
m
a
ximize: su
p
port verification
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoo
l
a
ege
merge che
c
k_poly from verif
_
ehrhart
.
c a
n
d lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaeg
e
ev
a
lue
.
c
: make
s
ome evalue arguments const
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoolaege
eva
l
ue
_
frac2floor
2
: a
l
so convert
non-parti
t
i
o
n if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verd
o
olaege
verify
.
c: ch
a
nge
v
erify_optio
n
s_set_range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven
Verdoola
e
ge
bernstein: p
i
ece
w
ise_ls
t
:
:
ev
a
luate: sup
p
ort different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
verify
.
c
:
t
urn off
c
ontinue_on_err
o
r
by
d
efault
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein: export nume
r
ic2value
commit
|
commitdiff
|
tree
2007-03-15
Sve
n
V
e
r
doo
l
a
e
ge
doc:
proof of existence of suita
b
le y
f
or prim
a
l d
e
comp
o
siti
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Ver
d
oolaege
doc: f
i
x proof of existence of suitabl
e
y for pri
m
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
V
e
rdo
o
laege
bernstein
.
cc: be
r
nstei
n
_coefficients:
create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaeg
e
b
a
rvinok
_
m
a
ximize: optionally use re
c
ursive bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoo
l
aege
b
ernstein
.
cc: bernst
e
in_coefficients:
s
u
p
port ge
n
er
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
er
n
s
t
ein
.
cc: refactor bernstein_coefficients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
bernstein: piecewise_lst: add sig
n
and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
bernstein: a
d
d
remove
_
redu
n
dants method
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
doc: prima
l
decomposition: typ
o
f
i
x
es +
clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoolaege
d
o
c: fix primal
d
ec
o
m
p
ositi
o
n e
x
amp
l
e + clean-up
s
commit
|
commitdiff
|
tree
2007-03-11
Sven Ve
r
doolaege
Document prima
l
dec
o
m
p
osition
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
erdoolaege
b
arvinok
.
cc: barvinok_enumerate: fi
x
lower bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sven V
e
rdool
a
ege
evalu
e
_spl
i
t_p
e
riod
s
:
g
racefully handle
z
e
r
o
evalue
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoola
e
ge
b
a
rvino
k
_maximize
:
handle zero i
n
put
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdool
a
ege
barvinok_enumerate_e: clean
u
p allocation o
f
options
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
barvinok
.
c
c: handle case
wh
e
re nothing is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
en Verdoolaege
evalue_
c
onvert:
s
u
p
port printing
a
quasi
-
polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n Verdoola
e
ge
lattice_point
.
h: make
self-contain
e
d
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Verdoolaege
ev
a
lue
.
c: extract evalu
e
_extract_affine from b
e
rnstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Ver
d
ool
a
ege
bernst
e
in
.
cc: bernstein_coefficients_product
:
no
n
e
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_coefficients:
optiona
l
l
y
op
t
i
mize
d
uri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ver
d
o
olaege
bernstein_coe
f
ficients: factorize domain
i
f
possibl
e
commit
|
commitdiff
|
tree
next