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
Sven Verdoolae
g
e
P
a
r
am_Polyhedron_V
o
lume: perform lift
i
ng trian
g
u
lation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
Verdoolaege
volu
m
e
.
c: i
n
tro
d
uce paramete
r
_
p
o
in
t
abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
ol
a
eg
e
scale
.
c:
exp
o
rt
P
aram_Ve
r
tex_Co
m
mon_Den
o
minato
r
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolae
g
e
volume
.
c: drop redu
n
dant arguments to
v
olu
m
e
_
si
m
p
l
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
opti
o
ns
.
c: sepa
r
ate polynomia
l
approximat
i
on
r
ela
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n
Verdoo
l
aege
barvinok_opti
o
ns_
n
e
w
_with_d
e
faults: initialize
s
cale
_
f
l
ags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
triangu
l
ate_c
o
ne: skip D
e
launay trian
g
ulat
i
on
b
y
d
efault
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolae
g
e
evalue_convert: print la
t
tice w
h
en prin
t
i
n
g
as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdoolaege
evalue_conv
e
rt
:
add
v
erb
o
se argum
e
nt
a
n
d
return 1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Po
l
yhed
r
on
_
Flate: intersect inflated polyt
o
pe with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
Verdo
o
laege
d
o
c: bi
b
: fix up nam
e
in title of Algo
r
ithmica
pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
ad
d
missing
v
o
lume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
v
o
lum
e
.
c
: d
e
lay computat
i
on of point where
v
o
l
ume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaege
Param_Po
l
yhedron_Volume: set
polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
volume
.
c: allow
c
o
m
p
u
t
ation of lower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Ve
r
doolaege
scale: ex
p
ort Polyhedro
n
_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
v
en Verdoola
e
ge
barvinok_enum
e
rate: opt
i
onally compute
"
volume" polynom
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
e
g
e
polytope_volume: compu
t
e volume of parametri
c
polytope
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdoolaege
reduce_dom
a
in
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
en V
e
rdoolaege
verify
.
c: move computa
t
ion of tr
u
e
context into ch
e
ck_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
la
e
ge
scal
e
.
c: add simplified method
of
c
omputing t
i
gh
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
rdo
o
laege
barvin
o
k_enumerate: op
t
io
n
ally com
p
ute tighter
p
oly
n
o
mia
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
po
l
yhedron_sample
.
c: remove
redundant MAX
R
AYS d
e
fine
commit
|
commitdiff
|
tree
2007-03-31
S
ven
Verdoola
e
ge
evalue
.
c: ev
a
lue_eval: support relations
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoo
l
aeg
e
evalue
.
c
:
evalue_frac2polynomial: properly hand
l
e relations
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rd
o
olaege
barvin
o
k_en
u
me
r
ate:
s
upport approximatio
n
by
means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
V
e
rdoolaeg
e
sca
l
e
.
c: avoid simplificat
i
on
o
f constraint
s
afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
l
a
ege
barvinok
/
util
.
h
: add
P
OL_UNSET m
a
cro for
un
s
e
t
ting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: Par
a
m_P
o
lyhedron_Scale_Inte
g
e
r_Fast:
ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verd
o
olaege
move
P
a
r
a
m
_
Polyhedron_Sc
a
le_Integer to scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven
V
erdoolae
g
e
use
se
p
arate flag
s
opti
o
n f
o
r sc
a
le
a
ppr
o
ximation method
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Ve
r
doolaege
barvinok
.
cc: mo
v
e
s
c
aling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
Verdoo
l
a
e
g
e
scale
.
c: c
o
rrect e
x
tract_lattic
e
in case o
f
redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sv
e
n Verdoolaege
doc: update CC2
0
05 ref
e
rence
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n V
e
rdoolaege
verif
_
eh
r
hart
.
c: ro
u
nd
inexact eval
u
a
t
ion up or
d
ow
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sv
e
n Verdoola
e
g
e
verif_ehrha
r
t
.
c: optionally use exa
c
t evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven
V
erdoolaege
evalue
.
c: add evalue_e
v
al
for exact
eval
u
ation
of
evalue
commit
|
commitdiff
|
tree
2007-03-25
S
v
e
n
Verdo
o
laege
evalue
.
c
:
fix evalue_
f
r
a
c2
p
o
lynomial
for nega
t
i
v
e values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
v
en Verdoolaege
b
arvi
n
ok_
e
numerate
:
perform s
l
ow scaling approximati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
o
l
aege
fi
x
P
aram_Polyhedron_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
barvinok_
e
n
umerate:
more acc
u
r
a
te
po
l
yn
o
mial
a
pprox
i
mation
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Ver
d
oolae
g
e
reorganize polynomial app
r
oximat
i
on
opt
i
ons
commit
|
commitdiff
|
tree
2007-03-19
Sven Verd
o
olaege
util
.
c: Param_Polyhedr
o
n_Print: actu
a
lly use output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix m
e
rge of check_poly from
v
erif_ehr
h
a
r
t
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Ve
r
doolaege
doc:
u
pdate K
o
eppe-Verdoolaege refe
r
e
nce
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoolae
g
e
barvi
n
ok_max
i
mize: support ver
i
fica
t
ion
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoolaege
merge che
c
k_
p
oly from v
e
rif_
e
hrhart
.
c
and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
evalue
.
c: ma
k
e s
o
m
e evalue ar
g
ume
n
ts c
o
nst
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erdoola
e
ge
evalue_frac2
f
loor2
:
a
l
so conv
e
r
t
non-partit
i
o
n
if
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Verdool
a
ege
v
e
rif
y
.
c
: change
v
erify
_
options_set_range prototyp
e
commit
|
commitdiff
|
tree
2007-03-17
S
ven Verdoolaege
b
e
rn
s
tein: piecewise_lst::evaluate: support different
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n Ve
r
doolaege
ve
r
ify
.
c
:
turn off con
t
inue_on_error by d
e
fault
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
erd
o
olaege
bernstein: export numeric2value
commit
|
commitdiff
|
tree
2007-03-15
Sven Ver
d
oolaege
doc: proof of existence of s
u
ita
b
l
e
y
fo
r
primal dec
o
mposi
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc: fix pr
o
of
o
f e
x
i
s
tenc
e
of sui
t
able y f
o
r primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
g
e
bernst
e
i
n
.
cc: be
r
nstein_coefficients: creat
e
signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verd
o
olaege
barvinok_maxim
i
ze:
o
p
t
ionally use recursive be
r
ns
t
ein_coeffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bernstein
.
cc: bernstein_coefficient
s
: support general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
v
en Verdoolaege
bernstein
.
cc: refac
t
or bernstein_coeffici
e
nts_prod
u
ct
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
b
e
rnstein: p
i
ecewise_ls
t
: add
s
i
g
n
and remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Verdoolaege
b
ernstein:
a
dd r
e
move_redundants
m
ethod
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
doc
:
pr
i
mal decompos
i
tion: typo fi
x
es + clarifications
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdool
a
ege
doc:
f
ix
p
r
ima
l
decomposition exa
m
p
l
e + clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdoola
e
ge
Docu
m
ent
p
r
imal decompo
s
ition
commit
|
commitdiff
|
tree
2007-03-11
Sv
e
n Verdoolaege
ba
r
v
in
o
k
.
cc: barvinok_enumerate:
fix lower bound
ap
p
ro
x
imati
o
n
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
eval
u
e_split_periods: gracefully handle zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolae
g
e
barvinok_m
a
xi
m
ize: handle zero input
commit
|
commitdiff
|
tree
2007-03-07
Sven Ve
r
d
oolaege
bar
v
inok_enumerate_e: clean up allocation of
o
ption
s
commit
|
commitdiff
|
tree
2007-03-07
S
v
en Verdoolae
g
e
barvinok
.
cc: handle
c
as
e
where
nothing is left a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n Ve
r
doolaege
evalue_
c
onvert:
support printing a quasi-polynom
i
a
las
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoolaege
lattice_poin
t
.
h:
mak
e
s
el
f
-cont
a
i
ne
d
commit
|
commitdiff
|
tree
2007-03-02
S
v
en V
e
rdoolae
g
e
ev
a
l
u
e
.
c:
e
xtract
evalue_extract_
a
ffine
f
ro
m
bernstei
n
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoolaege
bernst
e
in
.
cc: bernstein_coefficients_prod
u
c
t
: n
o
need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven V
e
rdoolaege
bernste
i
n_co
e
fficients:
opti
o
n
a
l
l
y
optimiz
e
du
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdoolaege
bernstein_coef
f
icients: fa
c
torize domain if
p
ossi
b
l
e
commit
|
commitdiff
|
tree
2007-03-01
S
v
e
n Verdoolae
g
e
Polyhe
d
ron_Factor: optionally return relation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sve
n
Verdo
o
laege
be
r
nstein: export repl
a
c
e
Vari
a
bl
e
sInPoly
n
o
mial
commit
|
commitdiff
|
tree
2007-03-01
Sv
e
n Verdoola
e
g
e
bernstein
.
cc: evalu
e
2ex
:
represent fractional by scaled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoo
l
a
e
ge
barvinok_maximize: fix handling
of
U
NION
s
in do
m
a
i
ns
.
commit
|
commitdiff
|
tree
2007-02-28
S
ven Verdoolaege
bernst
e
in
_
coeffic
i
ents: skip empty subdomains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoolaege
bar
v
inok_ma
x
imize:
fix detect
i
on o
f
e
nd of domain specification
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoo
l
aege
barvinok_maximize
:
add input conversion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
evalue_co
n
v
ert: extracted from b
a
rvi
n
ok
_
enumer
a
te and
.
.
.
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
util
.
c
:
m
o
ve Polyhedron_is_
u
nbound
e
d
from bernstein
.
cc
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoola
e
ge
ber
n
stein_coefficien
t
s
:
s
kip inf
i
n
ite
(
s
u
b)domain
s
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verdoo
l
aege
barvinok_maxim
i
ze:
l
e
t u
s
er specify variable
s
over
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdoolaeg
e
be
r
n
stein_co
e
fficients: skip computations if d
o
main
.
.
.
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdo
o
laege
barvinok_maximize: fi
x
access
t
o
fre
e
d memory
commit
|
commitdiff
|
tree
2007-02-26
Sven Ver
d
o
o
laege
bernstei
n
/piecewise_lst
.
cpp: add minimize()
method
commit
|
commitdiff
|
tree
2007-02-26
Sven Verdool
a
ege
barvinok_maximize: read
d
oma
i
ns wit
h
UNIONs
commit
|
commitdiff
|
tree
2007-02-26
Sv
e
n Verd
o
olaege
use GiNaC cf
l
ags and libs
commit
|
commitdiff
|
tree
2007-02-23
Sve
n
Verdoolaege
b
arvinok
_
maximiz
e
: optionally call ev
a
lu
e
_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdoolaege
e
v
alue
.
c
:
add e
v
a
l
ue_split_periods
commit
|
commitdiff
|
tree
2007-02-23
Sven Verdo
o
l
a
ege
u
til
.
c: value_lcm: m
a
r
k arguments const
commit
|
commitdiff
|
tree
2007-02-23
Sven Ver
d
oolaege
evalue
.
c
: polynomial_projection: all
o
w N
U
LL
R
ar
g
ument
commit
|
commitdiff
|
tree
2007-02-23
S
v
en Verdool
a
e
g
e
evalue
.
c: extract fiddli
n
g with
c
oeff
i
cien
t
s
o
u
t of
.
.
.
commit
|
commitdiff
|
tree
2007-02-22
Sven
Verdoolaege
eva
l
ue_bernstein_coefficients:
h
a
n
dle each coset of
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
Sven Verdoola
e
ge
b
a
rvinok_max
i
mize: rea
d
evalues with
peri
o
dics
commit
|
commitdiff
|
tree
2007-02-21
S
ven Ver
d
ool
a
e
ge
ev
a
lue_bernstei
n
_coeffi
c
ie
n
ts: h
a
ndle periodic
s
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-21
S
v
en Verdool
a
e
g
e
bern
s
tein:
b
ernsteinExpansion
:
accept list of po
l
ynomials
commit
|
commitdiff
|
tree
next