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
bump version
2007-04-28
Sven Ver
d
oola
e
ge
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
d
o
olae
g
e
doc
:
u
pdat
e
options and some f
u
nction
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdo
o
laege
doc: docume
n
t
volume computation
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
doc: more
r
e
ports explaining pa
r
ts of
b
ar
v
inok
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolae
g
e
berns
t
e
i
n:
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolae
g
e
d
oc
:
t
ra
n
sformation of parameter domain to have r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
barvi
n
ok
.
c
c: bar
v
inok_count_f:
avoid warning
o
n r
e
cursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
util
.
c: unimodula
r
_
compl
e
te: hand
l
e completi
o
n of mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
b
ar
v
inok_e
n
umer
a
te
.
c
c
:
handle all lines in --se
r
ies
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
r
d
oolaege
barvi
n
o
k_enumerate
.
cc:
seri
e
s:
p
lug
m
e
m
o
r
y lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
do
c
: document le
f
t_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoo
l
aeg
e
doc
:
remove
r
eference to old bar
v
inok_
s
eries applicatio
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: upd
a
te evalu
e
_bernstein_c
o
e
f
fici
e
n
t
s
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verdool
a
eg
e
barvi
n
o
k
/option
s
.
h: pu
t
stats first
in barvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
bar
v
ino
k
_maximize: read_evalue: su
p
p
o
rt relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
oolaege
b
ernstein
.
c
c: e
v
alue_bernstein_coeffic
i
ent
s
:
h
andle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n
V
erdoolaege
bar
v
i
n
ok_maxi
m
iz
e
: evalue_read: al
l
ow
i
dentifier
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Ve
r
dool
a
eg
e
barv
i
n
o
k
_m
a
xi
m
ize
:
move
-
-(bern
s
tein-)re
c
urse
opti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/argp: fix logi
c
in
hol_clu
s
t
e
r_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erd
o
olaege
ba
r
vinok_maximize:
a
l
lo
w
s
p
ecifica
t
ion
o
f the vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
barvinok
_
m
a
x
imize: barf on une
x
p
ected first token
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
doc: m
o
r
e
d
ocume
n
t
s
r
e
fering to the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
evalue_conv
e
rt
.
cc: evalue_co
s
et:
s
upport relation
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
eva
l
ue
.
c: print_evalue: always print newline at
t
he
e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: multivar
i
a
t
e quasi-polynomi
a
ls as lists o
f
poly
n
omials
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
evalue_conver
t
.
cc: i
n
clud
e
"config
.
h" to
pick u
p
USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
doc: triangulatio
n
in primal space + some t
y
po fixes
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Ve
r
doola
e
ge
d
o
c
: d
o
cument inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
d
oc: refer to Koeppe article
for simpler motiv
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
lae
g
e
doc:
m
ore publ
i
cations (im
p
licitly) refer
i
ng to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Ver
d
oolaege
configure
.
in: add $(E
X
E
EXT) to opt
i
on
a
l programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdool
a
ege
Makefile
.
am:
m
a
ke sure dis
t
ribution cont
a
ins
r
equired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdo
o
laege
barvinok_enu
m
erate: don't p
r
int (non-e
x
isting) eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoola
e
g
e
edomai
n
.
cc:
a
void u
s
e of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
confi
g
ure
.
in:
c
heck
f
o
r
p
o
lylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doolaege
declare v
a
ri
a
ble at start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
S
v
e
n
Verdoolae
g
e
M
akefile
.
am: rebuild lib
r
a
r
i
es i
n
subdirs if
m
i
ssin
g
commit
|
commitdiff
|
tree
2007-04-18
Sven
Verdoolaege
b
arvi
n
ok_enumerate: rec
h
eck for equalitie
s
after "va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoola
e
ge
doc: a
vot
i
ng
t
heory
report that refer
s
t
o
the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
aege
doc: update
primal Barvi
n
o
k referen
c
e
commit
|
commitdiff
|
tree
2007-04-15
S
v
e
n Ve
r
doolaege
doc:
add journa
l
ve
r
sion of improve
d
de
r
ivation paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
volu
m
e
.
c: k
e
ep track of number of simplices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
test_
a
pprox
:
test volume co
m
pu
t
ation vari
a
tions
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolae
g
e
vo
l
ume
.
c: volume_t
r
iangulate: use v
e
rtex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
r
doolaege
v
o
l
ume
.
c
:
face_vertices:
use Param_Inner_Pr
o
duc
t
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
red
u
ce_d
o
main: exploit that no caller
u
ses Polyhedro
n
2Param
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin
:
st
o
p using Polyhedron2Para
m
_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
a
e
ge
b
a
r
v
inok
.
c
c
:
stop u
s
ing Po
l
yh
e
dro
n
2Param_Sim
p
lifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
R
e
quire
a version of Pol
y
Lib
th
a
t
computes
c
o
rr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoola
e
ge
vo
l
ume
.
c: non
_
empty_point: s
i
mply use
i
n
ter
n
al
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Verdoolaege
add an ehrh
a
rt example w
i
th i
n
t
e
r
esting chambers
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
oolaeg
e
t
e
st_
a
p
prox: test c
h
a
m
ber based
scaling
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oo
l
aege
s
c
ale
.
c: op
t
ionally perform scaling on individual c
h
amb
e
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rd
o
olaege
bar
v
in
o
k_enumerate: use "v
a
riabl
e
compression" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
u
t
il
.
c: le
f
t
_inve
r
se: handle con
s
tan
t
m
ap
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
e
v
alu
e
.
c
:
ev
a
lue_substi
t
u
te: move
f
rom e
d
omain
.
c
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: affine2e
v
alue: extracted from volu
m
e
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
reduce_d
o
ma
i
n: part
i
t
ion chamber complex
based
o
n inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ve
r
doo
l
aeg
e
reduce
_
domain
.
c: extract inner_point and is_in
t
e
r
n
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
S
ven Verdoola
e
ge
reduce_d
o
main: check fo
r
adjacent c
h
ambers in s
i
mplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdool
a
ege
FORALL_REDUCED_DOMAIN:
e
xtr
a
ct
common handling of r
e
duced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
barvinok_en
u
merate:
m
ove recursive ca
l
l
during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoo
l
aeg
e
barvinok
.
cc: Param_Polyhedro
n
_En
u
m
erate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rd
o
ol
a
eg
e
add some i
n
ter
e
st
i
ng
test
c
a
ses for
v
o
l
u
me c
o
mputation
commit
|
commitdiff
|
tree
2007-04-09
Sven
V
erdoolaege
perform v
e
ry
b
asic poly
n
o
mial approximation test
commit
|
commitdiff
|
tree
2007-04-09
S
ven Ve
r
doolaege
test
_
approx:
c
o
mp
a
re d
i
f
f
erent polynom
i
a
l
approximat
i
ons
commit
|
commitdiff
|
tree
2007-04-08
S
v
en
V
erdoolaege
evalu
e
_conver
t
.
cc:
part
i
al support for pri
n
ting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoo
l
aege
Pa
r
am_Polyhed
r
on_Volume:
p
er
f
orm lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoola
e
g
e
volume
.
c
: introduce para
m
eter_point
a
b
straction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
o
l
a
ege
scal
e
.
c: export
P
aram_Vertex_Common_
D
enominator
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
erdoolaege
vol
u
me
.
c: drop redundant arg
u
ments to vol
u
me_si
m
pl
e
x
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verd
o
olaege
options
.
c: separate p
o
lynomial
approximati
o
n
r
elated
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdo
o
laege
barvin
o
k_options
_
new_with_
d
efaults: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
t
r
i
angulate_
c
on
e
: skip Delau
n
ay triangulation
by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_convert: print
lattic
e
w
h
en
p
r
inting as
l
ist
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdo
o
laege
e
value
_
convert: add verbose argument and
return 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
olaege
Polyhedron
_
Flat
e
:
int
e
rsect inflated polytope wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven V
e
rdoolae
g
e
doc: bib: fi
x
up name in title of Alg
o
rithmic
a
pap
e
r
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
a
dd missin
g
vo
l
ume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verd
o
olaege
v
o
lume
.
c: del
a
y comput
a
tion of point
w
he
r
e volume
is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
S
v
en Verdoo
l
a
ege
Param_Polyhedr
o
n_Volume
:
set
polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
volu
m
e
.
c: all
o
w compu
t
ation
of lower and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
s
c
ale: expo
r
t Polyhedr
o
n
_Fl
a
t
e
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
b
arv
i
nok_enumerate:
o
pti
o
nally compute "
v
olume" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoolaeg
e
polytop
e
_v
o
l
u
me: compute volume of parame
t
ric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdool
a
ege
red
u
ce_dom
a
in
.
c: plu
g
m
e
mory leak
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
verify
.
c: move computation
o
f true
context i
n
t
o
c
h
e
ck_poly
_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
ege
scal
e
.
c: add simplifie
d
metho
d
of computing tig
h
t
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
ba
r
v
in
o
k
_
enumerate:
o
ption
a
lly
c
ompu
t
e tighter poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Verdoo
l
aeg
e
p
o
lyhedron_sample
.
c
:
remove redundant MAXRAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
ae
g
e
eval
u
e
.
c: evalue_eval: s
u
pport relations
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
V
erd
o
olaege
ev
a
l
u
e
.
c: eva
l
ue_
f
rac2polynomial: properly hand
l
e r
e
la
t
ion
s
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolaege
barvinok_enumer
a
t
e
:
support approximation by m
e
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n Verdool
a
ege
sca
l
e
.
c: avoid simplification of constr
a
ints a
f
ter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
er
d
oolaege
b
a
rvinok/util
.
h
:
add POL_UNSET macro for un
s
e
tting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c: Pa
r
am_Polyhedron_Sc
a
le
_
I
n
t
e
g
er_
F
a
s
t: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
mo
v
e Param_Poly
h
edron_Scale_Integer to
sc
a
le
.
c
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
use
s
eparate flag
s
optio
n
for scale a
p
proximation metho
d
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
ar
v
inok
.
c
c
: move s
c
aling to scale
.
c
commit
|
commitdiff
|
tree
next