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
doc: index additions
2007-04-23
S
v
en Verdoolaege
doc: index addit
i
ons
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
rdoolaege
doc:
triang
u
lation in
pr
i
mal
space + som
e
t
ypo
fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: document i
n
ne
r
_
poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
V
erdo
o
l
a
ege
doc: refer to Koeppe article
f
or
s
impler motivatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verd
o
olaege
d
o
c
:
more p
u
blica
t
ion
s
(imp
l
icitly) refering t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
en Verdoolaege
config
u
re
.
i
n:
add $(EXEEXT) t
o
option
a
l prog
r
ams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven
Ver
d
oolae
g
e
M
a
kefile
.
a
m: make sure d
i
stribution
contains r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoo
l
a
e
ge
barvino
k
_enumerate: d
o
n't
p
ri
n
t (non-existing) evalu
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edomain
.
cc: avoi
d
u
s
e o
f
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdo
o
laege
configure
.
in: check for
pol
y
lib
/
polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
V
erd
o
olae
g
e
declare variable at start
o
f code
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Ver
d
o
o
l
a
ege
M
a
kefil
e
.
am: rebuild librar
i
e
s in subdirs
if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdoolaege
barv
i
nok
_
e
numerate: re
c
heck
for equ
a
lit
i
e
s
after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sv
e
n
V
erdo
o
laege
doc: a votin
g
theory
r
eport that refers to the
l
ibrar
y
commit
|
commitdiff
|
tree
2007-04-15
Sven Ver
d
oolaege
doc: update
primal Barv
i
nok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc:
a
d
d journal v
e
rsion of im
p
rove
d
der
i
v
a
tio
n
paper
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Verdoolaege
volume
.
c: kee
p
track of numb
e
r of simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
olaege
test
_
app
r
ox: test v
o
lu
m
e computatio
n
variations
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolae
g
e
v
ol
u
me
.
c: volu
m
e_triangulate: use vertex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoola
e
ge
volume
.
c
:
face_ver
t
ices: use Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
d
o
olaege
redu
c
e
_
domain: exploit that no caller use
s
P
o
lyhedro
n
2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
V
e
rdoolaege
l
exmin:
s
top using Polyhedron2Param_SimplifiedD
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
ola
e
ge
ba
r
v
i
nok
.
cc:
s
top
u
sing Pol
y
hedron2Param_Simplifi
e
dDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
er
d
oolaege
Require a
versi
o
n of
P
olyLi
b
th
a
t computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verd
o
olaege
volume
.
c: no
n
_e
m
p
ty_point: simply use
i
n
t
ernal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
add an
eh
r
hart
example with intere
s
t
ing
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdool
a
ege
test_appro
x
: test cham
b
er
b
a
sed scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c:
o
ptionally pe
r
form sca
l
ing
o
n individu
a
l chambe
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
bar
v
inok_en
u
me
r
a
te: use "variable c
o
mpre
s
sion" to
r
e
move
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
util
.
c: left_in
v
ers
e
:
handle c
o
nstant ma
p
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
evalue
.
c: evalue_su
b
stitute
:
move from e
d
oma
i
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
e
v
alue
.
c: affine2evalue: extracted
f
rom vo
l
um
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
reduce_domain: p
a
rtition chamber
com
p
lex based
o
n
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoolaege
r
e
duce_domain
.
c: extract inne
r
_point an
d
i
s
_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sve
n
Verdoolaege
re
d
uce_domain: check for a
d
jacent chambers in s
i
mplif
i
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdool
a
ege
FORALL_REDUCED_D
O
MAI
N
: extract common handlin
g
of
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
ba
r
vinok_e
n
umerat
e
: move recursive call durin
g
scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
barv
i
nok
.
c
c
: Param_Polyhedron_Enu
m
erate: extra
c
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
a
d
d some intere
s
ting test cases
for volume
c
omputation
commit
|
commitdiff
|
tree
2007-04-09
Sven
Ver
d
oolaege
perf
o
rm very
b
asic polyn
o
mi
a
l approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verdoolae
g
e
t
e
st_approx: compa
r
e dif
f
eren
t
polynomial app
r
o
xi
m
ations
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verd
o
olaege
evalue_conve
r
t
.
cc: partial support for printin
g
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdo
o
laege
P
a
ram_Polyhedron_Vo
l
u
m
e
:
p
erform
lifting
t
riangulati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n Verdoo
l
aege
vol
u
me
.
c: introduce
p
arameter_po
i
nt a
b
s
t
r
ac
t
io
n
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
o
l
aege
s
cale
.
c: export Param_Vertex_Common_D
e
nominat
o
r
commit
|
commitdiff
|
tree
2007-04-08
S
ven
V
er
d
o
o
laege
volume
.
c: dr
o
p redundant ar
g
uments to volume
_
simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
o
ptio
n
s
.
c: separat
e
polynomial app
r
o
ximation relat
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
ege
bar
v
i
nok_o
p
tions_new_
w
ith_default
s
: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaeg
e
triangu
l
ate_
c
on
e
: skip Delaunay triangulati
o
n by de
f
a
u
lt
commit
|
commitdiff
|
tree
2007-04-07
Sv
e
n Verd
o
o
laege
evalue_convert
:
print latti
c
e
w
hen
print
i
ng
a
s list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoo
l
aege
evalue_convert
:
add
verbose a
r
gu
m
ent
a
nd return
1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoo
l
a
e
ge
Poly
h
edro
n
_Flate:
i
ntersect inflated poly
t
ope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Ve
r
doolaege
d
o
c
:
bib: fix up name in title
o
f
Algorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaeg
e
ad
d
m
i
ss
i
ng vo
l
ume
.
h
f
ile
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolaeg
e
volume
.
c:
d
ela
y
computatio
n
of point where volume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sv
e
n Verdoolaege
Param_Polyh
e
dron_Volume: s
e
t
polynomial_approxima
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
v
olume
.
c: allow computation of lower and upper b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verd
o
olae
g
e
scale: export P
o
lyhe
d
r
o
n
_
Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
eg
e
barvinok_enumerate: option
a
lly compute "volume" po
l
yn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en
V
e
r
d
oola
e
ge
polytope_vo
l
ume:
c
ompute vo
l
ume of par
a
metric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdo
o
lae
g
e
reduce_domain
.
c:
plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
verify
.
c: move com
p
utation o
f
tru
e
contex
t
in
t
o check_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaeg
e
scale
.
c: add simpl
i
fied method of compu
t
in
g
tighte
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
o
o
l
aege
b
arvinok_enumerate
:
op
t
ionally compute
tighter polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
polyhedron_sample
.
c: remove redundant
M
AXRAYS defi
n
e
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdo
o
laege
eva
l
ue
.
c: evalue_eval: s
u
ppor
t
relations
commit
|
commitdiff
|
tree
2007-03-31
Sven Ver
d
ool
a
ege
evalue
.
c: eva
l
ue_frac2polynomial: properly
handle relat
i
on
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ba
r
vinok_enumerate:
s
upport approxima
t
ion by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdool
a
ege
scale
.
c: avoid sim
p
lification of constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
d
o
olaege
barvino
k
/u
t
i
l
.
h: add
P
OL_U
N
SET
m
acr
o
for
unset
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
ven Verdoolaege
s
c
ale
.
c: Param_
P
ol
y
he
d
ron_Scale_Inte
g
er_Fast:
i
g
no
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
r
d
oolaege
move Param_Polyhedron_S
c
ale_Integer to scale
.
c an
d
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use separate fl
a
gs opti
o
n for scale
a
pproximation method
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdoo
l
aege
barvinok
.
cc: mov
e
scaling to scale
.
c
commit
|
commitdiff
|
tree
2007-03-30
Sven Verdoolaege
sc
a
le
.
c: cor
r
ect extrac
t
_lattice in case of red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2007-03-30
Sve
n
Verdo
o
lae
g
e
doc: u
p
date CC20
0
5
r
e
ference
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrhart
.
c
:
round inexact
e
valuation up or down
.
.
.
commit
|
commitdiff
|
tree
2007-03-26
Sven Verdoolaege
verif_ehrha
r
t
.
c
:
o
ptio
n
a
l
l
y use exact evaluat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdool
a
eg
e
evalue
.
c
: a
d
d evalue_eval for exact evaluation of ev
a
lue
commit
|
commitdiff
|
tree
2007-03-25
Sven Verdoo
l
aege
e
va
l
ue
.
c: fix evalue
_
frac2polynomial
f
or negative values
.
.
.
commit
|
commitdiff
|
tree
2007-03-20
Sven Ver
d
oolaege
barvinok_enumerate: pe
r
form s
l
ow sc
a
ling ap
p
ro
x
imati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sven Verdo
o
laege
fi
x
Param_Polyhedro
n
_Scale_Integer
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaeg
e
barvino
k
_
e
numerate: more
ac
c
urate po
l
y
n
omial
a
pproxi
m
at
i
on
commit
|
commitdiff
|
tree
2007-03-19
S
ven Verdo
o
laege
reorganize po
l
yno
m
i
a
l ap
p
roxi
m
ation
op
t
ions
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Verdoolaege
u
t
il
.
c: Param
_
P
oly
h
edron_Print: actually
u
s
e out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2007-03-19
Sve
n
Ver
d
oolaege
fix
m
erge of
ch
e
ck_
p
oly fr
o
m v
e
rif_ehrhart
.
c and lexmin
.
cc
commit
|
commitdiff
|
tree
2007-03-18
Sven Verdoolaege
doc: updat
e
Koeppe-Ver
d
o
o
l
a
ege r
e
fe
r
enc
e
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
barvino
k
_maximize: support
v
erifi
c
ation
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoolaege
m
erge
c
heck_poly fr
o
m
v
erif_eh
r
hart
.
c and lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdoola
e
ge
evalue
.
c: m
a
ke so
m
e
e
v
alue ar
g
ument
s
const
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Ver
d
oolaege
e
v
al
u
e
_
frac2floo
r
2: also conve
r
t non-
p
artition i
f
no
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
Sven V
e
r
d
o
o
laege
ve
r
ify
.
c:
c
hange
v
e
rify_
o
ptions_set_range prototype
commit
|
commitdiff
|
tree
2007-03-17
Sven
V
e
r
d
o
olaege
be
r
nstein:
piecewise_lst::evaluate: support diff
e
ren
t
.
.
.
commit
|
commitdiff
|
tree
2007-03-17
S
v
en Verdoolae
g
e
verify
.
c: turn off continue_on_er
r
or by d
e
fault
commit
|
commitdiff
|
tree
2007-03-17
Sven Verdool
a
ege
bernstein:
e
xport
n
ume
r
i
c2
v
alu
e
commit
|
commitdiff
|
tree
2007-03-15
Sven Ver
d
oolaege
doc: p
r
oof of existen
c
e of
suitable y for primal decomposi
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-15
Sven Verdoolaege
doc:
f
i
x
proof of existence of suitable
y
for primal
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sve
n
Verdo
o
laege
bern
s
tein
.
cc:
b
ernstein_
c
o
e
f
f
i
c
ients:
create
s
i
g
ned
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoola
e
ge
bar
v
inok
_
m
aximize: optionally u
s
e recursive bernstein_coeff
i
.
.
.
commit
|
commitdiff
|
tree
2007-03-14
Sven Verdoolaege
berns
t
ein
.
cc: bernstein_coeffici
e
nts: support ge
n
e
r
al
.
.
.
commit
|
commitdiff
|
tree
next