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
barvinok_enumerate: recheck for equalities after "variable compression"
2007-04-18
Sven Ver
d
oolaege
barvinok_enumerate
:
r
echeck for
equa
l
i
ties after "var
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
er
d
oolaege
doc: a vo
t
ing theory report that refers to the
l
ibrary
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
o
olaege
d
o
c
: upd
a
te pr
i
mal B
a
rvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
oc:
a
dd jour
n
al v
e
rsion of improved derivation pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
S
v
e
n
Ver
d
oolaege
v
o
lume
.
c: keep trac
k
o
f number
of simplices
i
n volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
test_approx: test volume computation
v
ariatio
n
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolae
g
e
volume
.
c: volume_tr
i
angulate: use vertex instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
v
o
lume
.
c:
f
ace_
v
er
t
ice
s
: use Param_Inne
r
_Pro
d
uct
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oo
l
aege
Call set_program
_
nam
e
before ca
l
l
ing argp_par
s
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
reduce_d
o
main
:
exp
l
o
i
t
that no cal
l
er uses Polyhedron2Par
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
g
e
lexmin:
s
t
o
p using Polyhedron2Par
a
m_Simplifie
d
D
o
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc: stop
u
sing Polyh
e
dron2Pa
r
am_SimplifiedDo
m
ain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
l
aege
Require
a
v
ersion of PolyLib that
computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
volume
.
c: no
n
_em
p
ty
_
po
i
nt: simply
u
se internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
only c
o
m
p
i
l
e bar
v
inok_maximize
i
f
GiNaC (and be
r
nstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
add an ehrhart example with interesti
n
g ch
a
m
b
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Ver
d
oola
e
ge
test_approx:
test cham
b
er based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolae
g
e
sca
l
e
.
c: optionally perform scaling on i
n
dividual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok_enumera
t
e: us
e
"variable compr
e
ssion" to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doolaege
util
.
c
: left_inverse: ha
n
d
le
c
onstant map
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
evalue
.
c:
ev
a
l
ue_substi
t
ute: mov
e
from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Ver
d
oolaege
evalue
.
c: af
f
ine2ev
a
lue
:
extracted from vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdoolaege
reduce_d
o
main:
partition cham
b
e
r
c
omplex base
d
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaeg
e
reduce_d
o
mai
n
.
c: extract
i
nner_p
o
int and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verd
o
olaege
reduce
_
domain: check for adjacent chambers in simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
erdoolaege
FORALL_REDUCED_DOMAIN: extract c
o
mmon handling of
r
educ
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok_enumerate: move recursive call during scalin
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
bar
v
i
n
ok
.
cc: Para
m
_P
o
lyhedro
n
_Enumerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
add s
o
me in
t
e
r
esti
n
g test cases for volume compu
t
ation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verd
o
ola
e
ge
perform very basic
p
o
l
y
nomial approximation t
e
st
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
t
est_ap
p
ro
x
:
c
ompare different pol
y
nomia
l
appro
x
im
a
t
i
ons
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
e
v
a
lue_convert
.
cc: partia
l
s
up
p
ort fo
r
printi
n
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven
Verd
o
olae
g
e
P
a
ram_Po
l
yhedron_Volum
e
: perform lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c: i
n
trodu
c
e
parameter_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
Ve
r
dool
a
eg
e
scale
.
c
:
e
xpor
t
Param_Vertex_Comm
o
n_D
e
nominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
l
a
ege
vo
l
ume
.
c: drop redundan
t
a
rguments to v
o
lume_simple
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
g
e
o
ption
s
.
c: separat
e
polynomi
a
l a
p
proximation re
l
ated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaeg
e
barvinok_optio
n
s_new_wi
t
h_defa
u
l
ts: initialize scale
_
flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
triangul
a
te_cone
:
skip Delaun
a
y triangu
l
ation by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
ola
e
ge
evalue_convert: print lattice w
h
en
p
r
i
n
t
ing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
ven Verdoo
l
aege
evalue_convert:
a
dd verbose argument
and
r
e
turn 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
Poly
h
edron_
F
late
:
intersect i
n
flated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Ve
r
doo
l
aege
d
o
c: bib: fix up name in
t
itle of Algorithmica p
a
pe
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
add missing vol
u
me
.
h file
commit
|
commitdiff
|
tree
2007-04-04
S
ven Verd
o
olaege
volume
.
c: delay computat
i
on of point
where volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verd
o
olaege
Param_Poly
h
edr
o
n
_
Volume:
s
et p
o
lyn
o
mial_
a
p
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
dool
a
e
ge
volume
.
c: al
l
o
w
computatio
n
of
l
ower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
ven Verdo
o
la
e
ge
s
cale
:
e
x
p
o
rt
Pol
y
hedron_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdo
o
laege
barvinok_e
n
ume
r
a
te
:
optionally compute "vol
u
me" polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
ae
g
e
pol
y
to
p
e_volum
e
:
comput
e
volume of parametr
i
c polytope
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
erdoolaege
reduce_dom
a
in
.
c: plug m
e
mory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdoo
l
aege
verify
.
c: move com
p
u
t
atio
n
of true c
o
nt
e
xt in
t
o chec
k
_poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c
: add sim
p
li
f
ied method of
computing ti
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verdo
o
l
ae
g
e
barvinok_enum
e
ra
t
e:
o
ptionally com
p
ute tighter
po
l
y
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
p
o
l
y
hedron_
s
a
mple
.
c: remove redundant MAXR
A
YS define
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verd
o
ola
e
ge
e
v
alue
.
c: evalu
e
_
e
val: sup
p
ort rela
t
ions
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
e
r
doolaege
e
value
.
c: evalue_fra
c
2polynomial:
properly han
d
l
e
re
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
doolaege
barvinok_enumerate
:
s
upp
o
r
t approximati
o
n by
m
e
ans
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
scale
.
c
:
a
void sim
p
li
f
ication of c
o
nstraints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Ve
r
doola
e
ge
barvi
n
o
k/util
.
h:
a
dd POL_UN
S
ET m
a
cro for unsetti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Ve
r
do
o
laege
s
c
al
e
.
c: Param_Polyhedron_Scale_Integer
_
Fas
t
: ignor
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
move Pa
r
am_Polyhedron_
S
c
a
le_Integer to scal
e
.
c
an
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use separate
fl
a
gs option for scale
ap
p
r
ox
i
m
a
tion m
e
t
h
od
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
.
c
c
: move
scaling to sca
l
e
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdool
a
ege
scale
.
c
: correc
t
extract
_
lattice
i
n case of redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sven Ve
r
doo
l
aege
doc: update CC2005 reference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrhart
.
c:
r
ound inexact eval
u
ation up o
r
down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif
_
e
h
rhart
.
c:
optionally
u
se exac
t
evaluation for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoolaege
e
v
al
u
e
.
c:
add evalue_
e
v
a
l f
o
r exact evaluation of
e
valu
e
commit
|
commitdiff
|
tree
2007-03-25
Sven
Ver
d
oolaege
eva
l
ue
.
c: fix evalue_f
r
ac2poly
n
omial f
o
r
n
egative v
a
lues
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
S
ve
n
V
erdoolaege
barvin
o
k_enum
e
rate:
p
erform s
l
ow sc
a
ling approximation
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
S
v
en Verdoolaege
fix Param_Polyhedr
o
n
_Sc
a
le_Integ
e
r
commit
|
commitdiff
|
tree
2007-03-19
Sven V
e
rdo
o
laege
barvinok_enumerate
:
more ac
c
urate
polynomial approximation
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
re
o
rg
a
nize polynomial appro
x
imation options
commit
|
commitdiff
|
tree
2007-03-19
Sv
e
n Verd
o
olaeg
e
util
.
c: Param_Polyhedron_Pri
n
t:
a
ctually u
s
e output
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdoolaege
fix
m
erge of check_poly fro
m
verif_ehrh
a
rt
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
do
c
:
update Koeppe-Verdoolaege reference
commit
|
commitdiff
|
tree
2007-03-17
S
v
e
n
V
e
r
do
o
laege
b
a
rvinok_maximize: s
u
pport ver
i
fication
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
mer
g
e
c
heck_poly from verif_ehrha
r
t
.
c an
d
lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
e
value
.
c: make some
e
v
alue
a
rguments co
n
st
commit
|
commitdiff
|
tree
2007-03-17
Sve
n
Verdoo
l
aege
ev
a
lue_
f
rac2floor2: also
conv
e
rt non-p
a
rt
i
tion i
f
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdool
a
ege
veri
f
y
.
c: c
h
a
n
ge verify_options_set_r
a
ng
e
prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaeg
e
b
ernst
e
in: piecewise_lst::evaluate:
s
upport differ
e
nt
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdo
o
lae
g
e
veri
f
y
.
c
: turn
o
ff continue_on_error by default
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
bernstein: e
x
port nu
m
eric2v
a
lue
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc: pro
o
f of
ex
i
stence of
suitab
l
e y f
o
r p
r
i
m
a
l decompositi
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Ve
r
do
o
laege
doc: f
i
x
proof of existence of sui
t
able y
f
or pri
m
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
S
ven Verd
o
ol
a
ege
ber
n
stein
.
cc: bernstein_coefficien
t
s: c
r
eate signed
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sv
e
n Ver
d
oolaeg
e
ba
r
v
i
nok
_
maximize: op
t
ionally
u
se recursive
berns
t
e
i
n_co
e
ffi
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Ver
d
oolaege
b
e
rnst
e
in
.
cc: bernstein_
c
oe
f
fic
i
ents: supp
o
rt general
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdoolae
g
e
bernstein
.
cc
:
re
f
act
o
r bernstein_coe
f
ficients_product
commit
|
commitdiff
|
tree
2007-03-14
S
v
en
Ver
d
ool
a
e
ge
b
ernstein: piecewi
s
e_l
s
t: add sign an
d
remove redundant
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven V
e
r
doolaege
bernste
i
n: add remo
v
e_
r
edunda
n
ts metho
d
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdool
a
ege
do
c
: p
r
i
mal dec
o
mposition: typo fixes + cl
a
r
ific
a
tions
commit
|
commitdiff
|
tree
2007-03-11
Sven Ve
r
doolaege
do
c
: fix p
r
imal decomposition example +
cl
e
an-ups
commit
|
commitdiff
|
tree
2007-03-11
Sve
n
Verdoolaege
D
o
cument
p
r
i
m
al d
e
comp
o
sition
commit
|
commitdiff
|
tree
2007-03-11
Sven Ver
d
oolaege
barvi
n
ok
.
cc: barvinok
_
enumerate: fix lower bound appro
x
imation
commit
|
commitdiff
|
tree
2007-03-07
Sven Verdoolaege
evalue_split_peri
o
ds: gra
c
e
f
u
lly
h
andle zero evalues
.
.
.
commit
|
commitdiff
|
tree
2007-03-07
Sven
Verdoolaege
bar
v
inok_max
i
mize: handle zero in
p
ut
commit
|
commitdiff
|
tree
2007-03-07
Sven Verd
o
olaeg
e
barvino
k
_e
n
umerate_e: clean u
p
a
llocation of options
commit
|
commitdiff
|
tree
next