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
Sv
e
n Verdo
o
laege
test_
a
pprox: test
vo
l
ume computa
t
ion variat
i
ons
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolae
g
e
v
olume
.
c: volume_triangul
a
te
:
us
e
v
e
rtex inste
a
d
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oolaege
volume
.
c: fa
c
e_ve
r
tices: use Param_Inner_P
r
odu
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
do
o
laege
Ca
l
l set_program_name before calling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdo
o
laege
r
e
duce_domain: expl
o
it that no caller uses Po
l
yhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
lexmin: stop us
i
ng Polyhedr
o
n
2P
a
ram_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doolaege
b
arvi
n
o
k
.
cc: stop
u
sing Polyhedr
o
n2Param_SimplifiedDomai
n
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
Require a version of PolyLib tha
t
computes correc
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volu
m
e
.
c: non_empty_
p
o
int:
s
i
m
ply use interna
l
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aeg
e
only c
o
mpi
l
e ba
r
vinok_maximize if GiNaC (
a
nd ber
n
s
t
ein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
add an ehrhart
e
xample with i
n
teresti
n
g
chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
t
e
st_ap
p
r
ox: test c
h
amber bas
e
d
s
c
aling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
a
e
ge
sca
l
e
.
c
:
o
ptionally p
e
rfo
r
m s
c
aling on indi
v
idual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok_enume
r
ate
:
use "variable
compression" to re
m
ove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c: left_inve
r
se
:
handle constan
t
map
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doolaege
eval
u
e
.
c: ev
a
l
ue_substitute:
m
o
ve from edo
m
ain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ve
r
doolaege
evalue
.
c:
a
ffine2
e
value: e
x
t
r
acted from
v
olume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
redu
c
e_do
m
ain
:
partition chamber complex based
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
redu
c
e_do
m
ain
.
c: extract
inner_point and is_inter
n
al
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_domain:
c
h
e
ck for adjacent
ch
a
mbe
r
s in
s
implified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
en Verdoolaege
FORALL
_
R
EDUCED_D
O
MA
I
N
:
extract
c
o
mmon
handlin
g
of
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaege
barvinok_enumerate: move recursive call
dur
i
ng scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
barvino
k
.
c
c
: Param_Polyh
e
dron_Enu
m
erate: ext
r
a
cted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
Verd
o
olae
g
e
add
s
o
me i
n
terestin
g
test cases for volume computati
o
n
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
perform very basic po
l
ynomial
a
pproxim
a
t
io
n
t
est
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
t
est_a
p
prox: comp
a
re
d
i
f
ferent polynomial approx
i
mations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
evalue_conve
r
t
.
cc
:
partial support for p
r
inting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
d
o
o
laege
Param_P
o
lyh
e
dron_V
o
lume: perform lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verdoolaege
v
olume
.
c: introduce parameter_point ab
s
tractio
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
s
cale
.
c: export P
a
r
a
m
_
Vertex_C
o
m
mon_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
vol
u
me
.
c: drop re
d
un
d
ant arguments to volume_simpl
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
opti
o
ns
.
c
: separate po
l
yn
o
mial a
p
proximation
r
elated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Ve
r
doolaege
barvinok_options_new_with_
d
ef
a
ult
s
: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
triangula
t
e
_
c
o
ne:
skip Delaunay t
r
iangulation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
e
ge
evalue
_
convert
:
p
rint lattice when pri
n
ting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erd
o
ola
e
ge
evalue_convert: add verbose argumen
t
and r
e
turn
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
Po
l
yhedron_Flate: inters
e
ct inflated po
l
ytop
e
with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Ve
r
d
ool
a
ege
doc: bib: fix up name in
t
itle of Algo
r
i
thmica pa
p
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing vo
l
ume
.
h f
i
le
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
volu
m
e
.
c: delay
computation of point w
h
ere v
o
lume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolae
g
e
P
aram_Polyhed
r
on_
V
olum
e
:
set polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
V
erdoolaege
v
olume
.
c: allow comp
u
tation of low
e
r and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Ve
r
d
oolaege
scale:
e
x
port P
o
lyhed
r
on_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaege
barv
i
n
o
k_en
u
merate: optionally
compute "volum
e
" poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
e
rdoolaege
polyto
p
e_volume: compute v
o
l
ume of parametri
c
polytope
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n
Verdoolaege
reduce_domain
.
c
:
plug memor
y
leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
verify
.
c: move comp
u
tation of
t
rue
c
ontext int
o
check_
p
oly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ver
d
oo
l
aege
scal
e
.
c: add simplifie
d
m
e
thod o
f
computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
barvin
o
k_
e
numerate: optio
n
ally c
o
mpute tighter po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
o
o
l
a
e
ge
polyhedron_sample
.
c:
r
em
o
ve r
e
d
undant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
e
v
alue
.
c
:
e
v
a
lue_eva
l
: support rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
oolaeg
e
evalue
.
c:
e
value
_
frac2
p
ol
y
n
o
mial: properly handle relatio
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
r
doolaege
bar
v
inok_enumera
t
e: suppor
t
approximation b
y
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdo
o
laege
scale
.
c: avoid simplif
i
catio
n
of co
n
straints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
barvinok/util
.
h: add POL_UNSET ma
c
ro for uns
e
ttin
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
scale
.
c
:
Param_Polyhed
r
on_Scale
_
Integer_Fast: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
m
o
ve Param_Polyhedron_Scale_Intege
r
to sc
a
le
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ola
e
ge
use separ
a
te fl
a
gs op
t
ion for scale app
r
oxi
m
atio
n
me
t
hod
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
barvino
k
.
c
c
:
move scaling to scal
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
ven Verdoolaege
s
c
ale
.
c: correct ext
r
a
ct_lattice in ca
s
e of r
e
d
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: update CC2005 referenc
e
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_
e
hrhart
.
c: round inexact
eval
u
ation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven
Verd
o
o
l
aege
ver
i
f_ehrh
a
rt
.
c: optionall
y
use exact e
v
a
l
uation fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven V
e
rdoolaege
evalue
.
c: add evalue_
e
val fo
r
ex
a
ct evalu
a
t
i
on of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoola
e
ge
e
value
.
c: f
i
x evalue
_
f
ra
c
2polynomi
a
l for negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven
Verdoola
e
ge
barvinok_
e
numer
a
te: perform slow scaling
a
pproxi
m
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
fix
Param
_
Po
l
yhed
r
o
n
_Scale_Integ
e
r
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdoolaege
b
a
rvinok_
e
n
u
merate
:
more accurate pol
y
nomia
l
app
r
o
x
i
mati
o
n
commit
|
commitdiff
|
tree
2007-03-19
Sven
Ver
d
oolaege
reorganize pol
y
no
m
ial approximation options
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
V
e
rdoolaege
util
.
c: Param_Polyhedron
_
P
rin
t
: ac
t
u
ally
use ou
t
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Ver
d
oolaege
fix m
e
rge of check_poly from ver
i
f
_
e
h
rh
a
rt
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sve
n
Verdoolaege
doc: update Koeppe-Verdool
a
ege refere
n
ce
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
l
aege
barvi
n
ok_max
i
mize: su
p
p
ort ve
r
ifica
t
ion
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
V
e
r
doo
l
aege
m
e
rge check_poly from
v
e
r
i
f_ehrha
r
t
.
c a
n
d lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoola
e
ge
e
v
alue
.
c: make some evalue arg
u
ments const
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
evalue_fr
a
c2
f
loor2: also
c
onvert
non-parti
t
ion i
f
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Ve
r
d
oolaege
verify
.
c:
c
hange v
e
rify_options
_
se
t
_range prot
o
type
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aege
be
r
nstein
:
piecewise_lst:
:
evaluate: support d
i
ffe
r
ent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
verify
.
c
: tur
n
off continue_on_error b
y
default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein: ex
p
ort numeric2
v
a
l
ue
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdool
a
ege
doc: proof of existe
n
ce of suitable y f
o
r primal decomposi
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sv
e
n Ve
r
dool
a
ege
do
c
: fix proof
of exi
s
tence o
f
suitable y for prima
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
rd
o
olaege
bernstein
.
cc: bernstein_coefficients:
c
r
e
ate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoola
e
g
e
b
arv
i
nok_max
i
mize: o
p
t
iona
l
l
y u
s
e re
c
u
rsiv
e
berns
t
ein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc: b
e
r
nstein_coe
f
ficients: su
p
port general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doola
e
ge
b
e
r
nstein
.
cc:
r
efactor
b
e
r
nstein_coef
f
icients_product
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolae
g
e
bernstein: piecewise_lst: add sign and re
m
ove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
er
n
st
e
in: add remove_redundant
s
m
e
thod
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
doc: primal dec
o
mposition: typo fix
e
s + cl
a
rif
i
catio
n
s
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verdoolaege
d
o
c:
fix prim
a
l
decomposition example + clean
-
ups
commit
|
commitdiff
|
tree
2007-03-11
S
ve
n
Verdool
a
ege
Docum
e
nt primal d
e
c
o
mpo
s
ition
commit
|
commitdiff
|
tree
2007-03-11
Sven
Verdool
a
ege
barv
i
nok
.
cc: barvinok_enumerate: fix
l
ower bound approximation
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Verdoolaege
evalue_split
_
p
eriods
:
gracefully handle zero e
v
alues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven V
e
rdoolaege
barvinok
_
maximize:
h
andle zero inp
u
t
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
erdoolaege
barvinok_enumerate_e: clea
n
u
p
allocation of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvi
n
ok
.
cc: ha
n
dle
c
a
se where noth
i
ng is left after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
e
value_
c
onvert: suppor
t
p
r
in
t
ing a quasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
S
v
e
n Verdo
o
laege
lattice_p
o
int
.
h:
m
ake self
-
contained
commit
|
commitdiff
|
tree
2007-03-02
Sven
Ver
d
oolaeg
e
evalue
.
c: extr
a
ct
ev
a
lue_ex
t
r
a
ct_af
f
ine
f
rom bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
ven Verdoolaege
bernste
i
n
.
cc: bernstein_c
o
effic
i
ents
_
product: no n
e
e
d
.
.
.
commit
|
commitdiff
|
tree
next