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
Param_Polyhedron_Volume: perform lifting triangulation by default
2007-04-08
S
ven Verdoola
e
ge
Pa
r
am_Poly
h
e
d
ron_Volume:
p
e
r
f
o
rm l
i
f
ting tri
a
ngulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven
V
erdo
o
la
e
ge
volume
.
c: in
t
roduce param
e
ter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
s
cal
e
.
c: export
Para
m
_Ve
r
tex_C
o
mmon_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven
Ver
d
ool
a
e
g
e
vol
u
me
.
c: drop re
d
undan
t
a
rguments to volu
m
e
_
simplex
commit
|
commitdiff
|
tree
2007-04-08
S
ven
V
e
rdoo
l
aege
optio
n
s
.
c: separate polynom
i
al approximation
r
e
l
ated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaege
barvinok_opt
i
ons_new_with_defaults:
initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
t
riangulate_cone: skip Delauna
y
triangulation by
d
efault
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdoolaege
evalue_conver
t
: p
r
int l
a
ttic
e
when printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
Verdoolaege
e
v
a
lue_convert
:
a
dd
verbo
s
e argumen
t
a
nd ret
u
rn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Verdoolaege
Poly
h
edron
_
Flate: interse
c
t inflated polytope wit
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
Verdoolaege
d
o
c: bib: fix
up n
a
me in title o
f
Algorit
h
mica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdool
a
e
g
e
a
dd m
i
ssing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven V
e
rdoolaege
vo
l
ume
.
c
:
delay com
p
u
tation of
p
oint wher
e
volum
e
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdool
a
ege
P
a
ram_Pol
y
hedron_Volume: set
p
o
lynomial
_
appr
o
ximat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
er
d
oolaege
volume
.
c: allow
c
om
p
uta
t
ion
o
f lower
and upper bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
er
d
oo
l
aege
scale: export Polyhedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
lae
g
e
barvinok_enumerate: optionally compute
"volume"
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
V
erdo
o
laege
polytope_volume:
compute volume o
f
parametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
do
o
l
aege
red
u
ce_domain
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
veri
f
y
.
c:
move computation of true context i
n
to check_po
l
y_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
Verdoolaege
scale
.
c
:
ad
d
simpl
i
fied
m
ethod of computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvin
o
k
_
enumerate: optionally compute tighter po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyhedr
o
n_
s
ample
.
c
:
remov
e
redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
e
v
alu
e
.
c: ev
a
lue_eval
:
s
u
pport relations
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Ver
d
o
olae
g
e
e
v
a
lue
.
c:
e
v
a
lu
e
_frac2polyn
o
mial: properly
h
andle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
barvin
o
k_en
u
merate: support a
p
prox
i
mation by
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c
: avoid
sim
p
lification o
f
constr
a
ints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
doolaege
barvinok/util
.
h: add POL
_
UNSET
macro for unsett
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoolaege
scal
e
.
c: Param
_
Polyhedron_S
c
ale_Integ
e
r
_
F
ast: i
g
nore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaege
move Pa
r
am_Polyhedron_Scale_Int
e
ger to scal
e
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
us
e
separa
t
e
f
lag
s
option fo
r
s
c
ale approximat
i
o
n
method
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdo
o
laege
bar
v
inok
.
cc: move
s
caling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
S
v
e
n
V
erdoo
l
aege
s
cale
.
c: correc
t
extract_lattice in case of redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n
Verdoolaege
d
o
c
:
update CC
2
0
05 re
f
er
e
nce
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdoolaege
verif_ehrhart
.
c: round inexact evaluation up or
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrh
a
r
t
.
c: opt
i
onally
u
se
e
xa
c
t evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdo
o
laege
evalue
.
c: add evalue_e
v
al for exact
evalua
t
ion of evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaeg
e
e
va
l
ue
.
c: fix evalue_frac2polyn
o
m
i
a
l
f
or negative value
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Verdool
a
ege
barvinok_enumerat
e
: perform slow scaling ap
p
r
o
x
i
mation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven
Verdoo
l
aege
f
ix Para
m
_Polyhedron_Scale_
I
nteger
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdoolae
g
e
barvinok
_
enum
e
rate: mo
r
e accura
t
e
polynomial app
r
o
x
imation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
reo
r
ganize polynomial appro
x
im
a
tion op
t
i
o
ns
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdool
a
e
ge
util
.
c: Pa
r
am_Polyhe
d
ron_Pri
n
t:
actua
l
l
y use outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix merg
e
of che
c
k_poly
from
v
e
ri
f
_ehrhart
.
c and
l
exmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdool
a
ege
doc: update Koeppe-Verd
o
o
laege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Ver
d
oolaege
ba
r
vi
n
ok_
m
aximize:
s
up
p
ort ver
i
fication
commit
|
commitdiff
|
tree
2007-03-17
S
v
en
V
erdoolaege
m
e
rge check
_
pol
y
f
rom verif_ehrhart
.
c and le
x
min
.
cc
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolaege
evalu
e
.
c: make some evalue arguments c
o
ns
t
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
lae
g
e
evalue_frac2floor2: also convert non
-
p
a
r
titio
n
if no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
v
e
rif
y
.
c: cha
n
g
e verify_opt
i
ons_set_
r
ange protot
y
pe
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
be
r
ns
t
ein
:
piecewise_lst::evaluate: support diff
e
r
e
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
laege
verify
.
c
: turn o
f
f co
n
tinue_
o
n_e
r
ror by default
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
Verdoolaeg
e
bernstein: ex
p
ort num
e
ric2val
u
e
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaeg
e
doc
:
pr
o
of of existe
n
ce of s
u
itable y f
o
r primal decomposit
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sv
e
n
Verdoolaege
do
c
: fix proof of existenc
e
of sui
t
a
ble y for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoolaege
ber
n
stein
.
c
c:
b
ern
s
tein_
c
oefficients: create signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en
Verdo
o
laege
barvi
n
ok_maximize:
op
t
ional
l
y
use r
e
c
u
rsive bernstein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoo
l
a
e
ge
bernstein
.
c
c: bernste
i
n_coefficie
n
ts: suppor
t
gene
r
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
r
d
oolaege
berns
t
ein
.
c
c: re
f
actor bernstein_coeffic
i
ents_product
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
b
ernstein: piecewis
e
_lst: add s
i
gn and
r
em
o
ve redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Ve
r
doolaege
ber
n
ste
i
n:
a
dd remove_redundants method
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
doc: pri
m
al
d
e
c
omposi
t
i
o
n: typo f
i
xes + clarificat
i
ons
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verd
o
olaege
d
o
c
:
fix p
r
imal decomposit
i
on example + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Verdo
o
laege
Doc
u
ment primal decomposition
commit
|
commitdiff
|
tree
2007-03-11
Sven
V
e
rdoolaege
barvinok
.
cc
:
bar
v
inok_en
u
merate: f
i
x lower
bou
n
d
app
r
ox
i
matio
n
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoolaeg
e
evalue_sp
l
i
t_periods: gracefull
y
handle
zero eval
u
es
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
S
v
en
V
erdoolaege
barvinok_max
i
mize: handle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven
V
e
r
doolaege
b
a
rvinok_enumerat
e
_e:
c
l
e
an up alloc
a
tion
o
f op
t
ions
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaege
b
arv
i
nok
.
c
c: handle case where noth
i
ng is left a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolae
g
e
eval
u
e_convert: s
u
pp
o
r
t printing
a qua
s
i-po
l
ynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Ve
r
doolaege
lattic
e
_point
.
h: ma
k
e self
-
cont
a
ined
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
ge
ev
a
l
u
e
.
c
:
extract
e
value_ext
r
act_affine from
bernstein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
S
v
en
Verdoolaege
b
e
rnstein
.
cc: b
e
r
nstein_coefficients_produc
t
:
no nee
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven
Verdoolaege
b
e
rn
s
tein_coeff
i
cie
n
ts: opti
o
nally optim
i
z
e
during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Ve
r
doolaege
b
e
rnstein_co
e
fficients: factorize domain if possible
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
rdo
o
laege
Pol
y
hedron_Factor: optio
n
ally return
relation betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdoolaege
ber
n
s
tei
n
:
export replaceVariablesInPolynomi
a
l
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoolaege
be
r
nstein
.
cc: evalue
2
ex: repr
e
sen
t
frac
t
iona
l
by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolae
g
e
barvinok
_
maximize: fix handling of UNIONs in domains
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoo
l
aege
bern
s
t
e
in_coef
f
icients:
skip emp
t
y subd
o
mains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoo
l
ae
g
e
barvinok_ma
x
imize: fix detection o
f
end of domain
s
pecific
a
tion
commit
|
commitdiff
|
tree
2007-02-27
Sven
Verdo
o
laege
b
a
rvinok_maximiz
e
: add
inp
u
t
c
onversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verd
o
olaege
evalue_conver
t
: extracted from barvinok_enumerate and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
S
v
e
n
Verdoolaege
util
.
c:
m
ove Poly
h
edron
_
i
s
_unbo
u
nded from b
e
rns
t
ein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
erdoolaege
bernste
i
n_coefficients: skip infinite
(
sub)domai
n
s
commit
|
commitdiff
|
tree
2007-02-26
Sven V
e
rdoolaege
barvinok_maximize:
l
et user specify variables over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven
V
e
rdoolaege
b
ernstein_c
o
ef
f
icients:
s
kip computat
i
ons if domain
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
barvinok_maximize: fix access to freed memor
y
commit
|
commitdiff
|
tree
2007-02-26
H
a
r
a
ld De
v
os
minim
i
ze as option of barvin
o
k_maximize
commit
|
commitdiff
|
tree
2007-02-26
Sven
Verdoo
l
aege
b
ernstein/piecewise_ls
t
.
c
pp: add mini
m
iz
e
(
) me
t
hod
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoola
e
ge
bar
v
inok_maximiz
e
: read
d
omains with UN
I
ONs
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaege
us
e
GiNaC
c
f
lags
and libs
commit
|
commitdiff
|
tree
2007-02-23
S
v
en
Verdoolaege
barvinok_maximize: opt
i
onal
l
y ca
l
l ev
a
lue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoola
e
g
e
e
v
a
l
ue
.
c:
a
dd
ev
a
lue_spli
t
_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erd
o
olaeg
e
util
.
c
:
value_lc
m
: ma
r
k argumen
t
s const
commit
|
commitdiff
|
tree
2007-02-23
Sven
V
erdoo
l
a
ege
evalue
.
c:
p
o
lynomial_projection: allow N
U
LL R argument
commit
|
commitdiff
|
tree
2007-02-23
Sven
Verd
o
olaege
e
v
alue
.
c
:
ext
r
act fiddling with coefficie
n
ts out
of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven Verdoo
l
aege
evalue_be
r
nst
e
in_co
e
f
f
icients: handle each
coset o
f
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
e
n
Verd
o
olaege
bar
v
inok_maximize:
r
ead ev
a
lue
s
w
i
th periodi
c
s
commit
|
commitdiff
|
tree
2007-02-21
Sven Ver
d
o
o
l
a
ege
evalu
e
_b
e
rns
t
e
i
n_coef
f
i
cient
s
: h
a
ndle periodic
s
in
.
.
.
commit
|
commitdiff
|
tree
next