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
add an ehrhart example with interesting chambers
2007-04-12
S
v
e
n Verd
o
o
laege
add an ehr
h
art exa
m
ple
wit
h
inte
r
est
i
ng chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoo
l
aege
test_
a
pprox:
test chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdool
a
ege
scale
.
c: op
t
ion
a
lly perfor
m
scaling
on individu
a
l c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barv
i
nok_e
n
umerate: use
"variable comp
r
essi
o
n" to rem
o
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doola
e
ge
util
.
c
:
l
eft
_
invers
e
: h
a
ndl
e
c
o
nstant map
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
evalue
.
c:
e
value
_
s
u
bst
i
t
u
te: move from ed
o
m
ain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
evalu
e
.
c: affine
2
evalue: e
x
tracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaeg
e
reduce
_
doma
i
n: par
t
ition chamber compl
e
x
b
ased
o
n inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
v
e
n V
e
rdoolaege
r
ed
u
c
e_domain
.
c: extra
c
t inner_poin
t
and i
s
_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
lae
g
e
reduc
e
_dom
a
in: check for adjacent
chamb
e
r
s in simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdoo
l
aege
FORALL_REDUCED_DOMAIN: extract com
m
on
h
andlin
g
of reduce
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolaege
barvino
k
_en
u
merat
e
: mo
v
e r
e
cursi
v
e call d
u
ring scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en V
e
r
d
oolaege
barv
i
nok
.
cc
:
Param
_
Pol
y
hedron_Enumerat
e
: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
V
e
rdoolaege
add
s
ome interes
t
ing
t
es
t
cases f
o
r volume computatio
n
commit
|
commitdiff
|
tree
2007-04-09
Sven Ve
r
doo
l
aege
pe
r
form very basic po
l
ynomial
a
pproxim
a
ti
o
n
test
commit
|
commitdiff
|
tree
2007-04-09
S
ven
V
erdoo
l
aege
test_
a
pprox:
compare diffe
r
ent polynomia
l
approxi
m
a
t
ions
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
evalue
_
convert
.
c
c
: partial supp
o
rt for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Ve
r
doolaege
Pa
r
am_Poly
h
ed
r
on_Vo
l
ume: perform lifting triangu
l
ation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoolaege
volume
.
c:
i
nt
r
oduce para
m
eter_point abstract
i
on
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
sca
l
e
.
c:
e
xport Param_
V
er
t
ex_Co
m
m
o
n_D
e
nominato
r
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
volume
.
c: d
r
op redundant arg
u
ments to volume_
s
i
m
plex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
opti
o
n
s
.
c: s
e
p
ar
a
t
e
polyn
o
m
ial appr
o
ximati
o
n related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
barv
i
n
ok_op
t
ions_new_with_defaults: initialize
sca
l
e_fl
a
gs
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
er
d
oolaege
triangulate_cone: skip Delaun
a
y
t
riangul
a
tion by defaul
t
commit
|
commitdiff
|
tree
2007-04-07
S
ven Ve
r
dool
a
ege
eval
u
e_con
v
ert: print lattice
when prin
t
ing as li
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
evalue_con
v
ert: add ve
r
bo
s
e
argu
m
ent and retur
n
1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
rdo
o
laege
Polyhedron_Flate: inte
r
sect
i
nflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoo
l
aeg
e
doc: bib: fix up name in t
i
tl
e
of Al
g
orithmica paper
commit
|
commitdiff
|
tree
2007-04-05
S
v
en Ver
d
oolaege
add missing
volume
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
erdoolaege
volume
.
c
: de
l
ay computa
t
ion
of poin
t
wh
e
re v
o
lu
m
e is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
ven Verdoo
l
aege
P
aram_
P
olyhedron_
V
o
lume:
set po
l
yn
o
m
ial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoo
l
ae
g
e
volume
.
c
:
allow computation of lower and
upper bo
u
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
e
r
doolaeg
e
scale: export Polyhedro
n
_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verdoolaege
barvino
k
_enum
e
rate:
o
ptionally com
p
u
te "v
o
lume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven V
e
rdoolaeg
e
polytop
e
_v
o
lume:
compute
volum
e
of pa
r
am
e
tr
i
c
polytope
commit
|
commitdiff
|
tree
2007-04-03
S
ven
Verdoo
l
aege
red
u
ce_d
o
main
.
c
: p
l
ug
m
e
mory
l
e
a
k
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erdool
a
ege
v
erify
.
c
:
move
c
omputation of true con
t
ex
t
into check_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdo
o
laege
scale
.
c: add
s
implified
m
ethod
o
f computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
ae
g
e
barvinok_enumerate: opt
i
onally c
o
m
p
ute ti
g
hter po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolae
g
e
p
o
lyhedron_s
a
mple
.
c:
rem
o
ve redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaeg
e
eval
u
e
.
c
: eva
l
ue_eval: supp
o
rt rela
t
io
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
e
value
.
c: e
v
a
l
ue
_
frac2polynomial: properly handle relations
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdoo
l
ae
g
e
barv
i
nok_enum
e
rate: su
p
po
r
t a
p
proximati
o
n by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: a
v
o
i
d simp
l
if
i
cation of constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolae
g
e
barvin
o
k/util
.
h: add PO
L
_UNSET macro f
o
r
unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
e
rdo
o
laeg
e
scale
.
c: Param_
P
olyh
e
dron_Scale_Integer_Fast: igno
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
ege
mo
v
e
Param
_
Po
l
yhedron
_
S
cale_Integer
t
o
scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoolaeg
e
use separate
flag
s
option for
s
cal
e
appr
o
ximation method
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Ver
d
oola
e
ge
barvinok
.
cc: move scaling to
sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
scal
e
.
c: cor
r
ect ex
t
ract_
l
attice in c
a
se of redunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
doc: u
p
date CC2005
r
e
f
erence
commit
|
commitdiff
|
tree
2007-03-26
Sven
V
e
r
doolaege
verif_ehrhart
.
c: round
i
nexact evaluation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoola
e
ge
veri
f
_
e
h
rhart
.
c: optionally use exact evaluation fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolae
g
e
evalu
e
.
c: add
e
value_eval for exact eva
l
uation o
f
evalue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verd
o
ola
e
g
e
evalue
.
c: fix evalue
_
frac2polynomial for ne
g
ative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
ven
V
e
rdoolaege
barvin
o
k_enumerate: perform slow scaling app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdool
a
ege
fix Param_Po
l
yhedron_Scal
e
_I
n
teger
commit
|
commitdiff
|
tree
2007-03-19
Sven
V
erdoolaege
barvinok_en
u
merate: more accu
r
a
t
e polynomial approx
i
m
a
tion
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Ver
d
oolaege
reorga
n
ize poly
n
omial app
r
oximatio
n
opt
i
o
ns
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolae
g
e
ut
i
l
.
c: Param_Polyhedron_Print:
actually us
e
outpu
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
f
ix m
e
r
g
e
of check
_
p
o
ly from ver
i
f_ehrh
a
rt
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolae
g
e
doc
:
update Koe
p
pe-Verdoolaege reference
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
l
a
e
ge
barvinok
_
maxi
m
ize: supp
o
rt verificatio
n
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
rdoolaeg
e
merge check_
p
oly from verif_ehrhart
.
c
and lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoo
l
aege
evalue
.
c: m
a
ke some evalue arguments c
o
n
s
t
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
V
erdoolaege
evalue_frac2floor2: also convert non
-
pa
r
ti
t
ion
i
f no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sv
e
n
Ver
d
o
o
laege
verify
.
c: change verify_op
t
i
ons_
s
et_rang
e
prot
o
type
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
b
ern
s
tein:
p
iecewis
e
_
l
s
t
::evaluate: support d
i
ffe
r
ent
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
o
l
aege
verify
.
c: turn off conti
n
ue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verd
o
o
l
aege
b
ernstein: export
n
u
me
r
ic2va
l
ue
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
d
oc: p
r
oo
f
o
f
e
xistence of suitable
y
for prim
a
l d
e
com
p
ositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven V
e
rdoolaege
doc
:
fix proof of
e
xistence of
s
u
i
table
y
for p
r
imal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
Ver
d
oolaege
bernstein
.
cc: bernstei
n
_coefficients: c
r
eate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven
V
erdoolaege
b
a
rvinok_max
i
mize
:
optionally u
s
e
r
ecursiv
e
bernstein_co
e
ffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolae
g
e
be
r
nstein
.
cc: bernstein_coeffic
i
ents: s
u
p
p
ort
ge
n
era
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ve
r
doolaege
bernstein
.
cc: refactor bern
s
te
i
n_coeff
i
cient
s
_prod
u
c
t
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Verdoolaege
bernstein: pi
e
cewise_lst: add
sign
and remove redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
bern
s
tein:
a
d
d
remove_redundants meth
o
d
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verdoolaege
doc: primal deco
m
p
o
s
i
tio
n
: typo
fixe
s
+ clarificatio
n
s
commit
|
commitdiff
|
tree
2007-03-11
S
v
en Ver
d
ool
a
ege
do
c
: fix primal decompositio
n
example
+
clean-ups
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdool
a
ege
Document pri
m
al d
e
composition
commit
|
commitdiff
|
tree
2007-03-11
Sven Verdool
a
eg
e
barv
i
nok
.
cc: barvinok_enumerate: fix
lower bo
u
nd approxi
m
ation
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n V
e
rdoolaege
evalue_spl
i
t
_perio
d
s: grace
f
ully hand
l
e zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sv
e
n Verdoolaege
barv
i
n
ok_maximize: hand
l
e
z
e
r
o
input
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvi
n
ok_enumerate_e: c
l
e
an up allocation of options
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
barvinok
.
cc: handle cas
e
where not
h
ing is
l
eft after
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sven Verdoola
e
g
e
evalue
_
convert
:
support printing a
q
uasi-polynomialas
.
.
.
commit
|
commitdiff
|
tree
2007-03-02
Sv
e
n
V
erdoolae
g
e
lattice_p
o
int
.
h
:
make
s
elf-
c
o
n
t
ained
commit
|
commitdiff
|
tree
2007-03-02
Sven
V
erdoola
e
ge
evalue
.
c:
e
xtract evalue
_
extract_affine from ber
n
stein
.
cc
commit
|
commitdiff
|
tree
2007-03-02
Sve
n
Verdoolaege
bernst
e
in
.
cc: bernstein_coeffici
e
n
t
s_product: no need
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
l
a
e
g
e
bern
s
t
e
in_coef
f
icients: optionally opti
m
ize during
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
o
l
aege
ber
n
stein_coefficie
n
ts: factorize
dom
a
in i
f
possible
commit
|
commitdiff
|
tree
2007-03-01
Sven
V
erdoolaege
P
oly
h
e
d
ro
n
_Factor: optionally return re
l
ation between
.
.
.
commit
|
commitdiff
|
tree
2007-03-01
Sven Verd
o
olaege
bernste
i
n: exp
o
r
t
rep
l
aceVariable
s
InP
o
ly
n
o
m
ial
commit
|
commitdiff
|
tree
2007-03-01
Sven Verdo
o
l
a
ege
b
e
rnstein
.
cc
:
e
v
a
l
ue2ex: repres
e
nt fractional by s
c
aled
.
.
.
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoo
l
aege
barvinok_maximiz
e
:
fix h
a
ndling of UNIONs in
d
omain
s
.
commit
|
commitdiff
|
tree
2007-02-28
Sv
e
n Verdo
o
laege
be
r
nstein_
c
oefficients: skip empty
s
ubd
o
mains
commit
|
commitdiff
|
tree
2007-02-28
Sven Verdoola
e
ge
b
a
rvinok
_
m
a
ximize: fix
d
e
t
e
cti
o
n of end of domain
s
pec
i
fi
c
a
tion
commit
|
commitdiff
|
tree
2007-02-27
Sven Verdoolaege
barvinok_ma
x
i
mize: add
i
nput c
o
nversion
commit
|
commitdiff
|
tree
2007-02-27
S
v
e
n
Ve
r
doolaege
evalue
_
c
o
n
v
ert:
ex
t
rac
t
ed from b
a
rv
i
nok_
e
num
e
r
ate a
n
d
.
.
.
commit
|
commitdiff
|
tree
next