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
S
ven V
e
rdoolaege
bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
S
ven Ver
d
ool
a
e
ge
doc: update op
t
ions and some
f
u
nction
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: document
v
olume co
m
putation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
g
e
doc: more reports
explaining parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
b
e
rnstein: bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
o
laege
doc: transforma
t
i
o
n
of
p
arame
t
e
r domain to have re
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
erdoolaege
b
a
rvinok
.
c
c
: barvinok_count_f: avoid
w
arn
i
ng o
n
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
util
.
c:
u
nimodular_complet
e
: handle
c
o
m
ple
t
i
o
n of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
er
d
oolaege
barvinok_enumerate
.
c
c
: h
a
n
dle all lines in
-
-series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
b
a
rvinok_enume
r
ate
.
cc: se
r
ies: plu
g
memory leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
aege
do
c
: docu
m
ent left_in
v
erse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
d
o
c:
remov
e
reference
to old barvi
n
ok_
s
eri
e
s application
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
e
g
e
doc: update evalue_bernstein_c
o
efficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
b
a
rvinok/op
t
ions
.
h: put
s
tats first in
barvinok_optio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bar
v
inok_maximize: read_evalue: support relati
o
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
be
r
nst
e
i
n
.
cc: ev
a
lu
e
_berns
t
ei
n
_coeffi
c
ie
n
ts: hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verd
o
olaege
bar
v
inok_maximize: eval
u
e_read
:
allow identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoo
l
a
ege
barvi
n
ok_maximize: move --(
b
ernstein-)recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
doolaege
lib/argp: f
i
x lo
g
ic in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Ver
d
o
o
laege
barvino
k
_maximi
z
e: allow spec
i
fication of
the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
o
olaege
barvi
n
o
k
_maximize: barf on unexpected first
t
oken
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
rd
o
o
l
aege
doc:
more documents r
e
fering to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
v
a
lue
_
c
o
n
v
ert
.
c
c
: evalue_coset: support r
e
lat
i
ons
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
laege
evalue
.
c
:
p
rint_evalue: always print newline at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: mult
i
variat
e
q
u
asi-polyn
o
m
ials as
l
ists of
po
l
ynomials
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolaege
eval
u
e_convert
.
cc: include "co
n
fig
.
h
"
to pick up USE
_
FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: inde
x
addit
i
ons
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
d
o
c: t
r
iangulation in
primal s
p
ace +
s
ome typo
f
i
x
e
s
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc: docum
e
nt inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoo
l
ae
g
e
doc: r
e
fer
to Koeppe article for simpler motivatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
rd
o
olaege
doc
:
m
ore publicati
o
n
s
(i
m
plicitly) re
f
er
i
ng to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
en
V
e
r
doolaege
configure
.
in: add $(EXEEXT) to
o
ptional prog
r
a
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoola
e
g
e
Make
f
il
e
.
am: make sure distributi
o
n contains r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Verdoolaeg
e
work aroun
d
incomplete namespace support in old comp
i
lers
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
d
o
olaege
d
i
sabl
e
s
ome feature
s
i
f fdstream does
n
't
compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en
V
erdoolaege
ba
r
vi
n
ok_enumerat
e
.
cc: avoid use of fd
s
t
r
e
a
m
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n Ver
d
o
o
laege
barvin
o
k_enumerate
:
don't pri
n
t (non-existing) e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rd
o
olaege
edomain
.
c
c:
avo
i
d use of fd
s
t
r
eam
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
confi
g
ure
.
in: che
c
k
for polylib/po
l
ylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
l
a
ege
declare variable at st
a
rt of
code
b
lock
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
doolaeg
e
M
akef
i
le
.
am: re
b
ui
l
d libraries in subdi
r
s if missing
commit
|
commitdiff
|
tree
2007-04-18
Sve
n
V
erdoolaege
barvinok_
e
numer
a
t
e
: rech
e
c
k
f
o
r equ
a
l
i
t
i
es a
f
t
e
r "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rd
o
olaege
doc: a
v
o
ting
t
heor
y
report
that re
f
er
s
to the library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
do
c
: update
primal Barvi
n
ok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdoolaeg
e
d
oc:
a
dd jour
n
a
l
version
o
f
i
mproved de
r
ivation pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
volume
.
c: keep
trac
k
of
numb
e
r of simpl
i
ces i
n
v
o
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Ve
r
doolaege
test_app
r
ox: test volume c
o
mpu
t
ation va
r
i
a
tions
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
volume
.
c
:
v
olume_
t
riangulate:
u
se vertex ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
v
o
lume
.
c: fa
c
e_vertices: use Param_In
n
er_Prod
u
ct
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoola
e
ge
C
all set
_
program_name before calling
arg
p
_
parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
reduce_
d
omai
n
:
e
xploi
t
that no caller uses
Polyhedron2P
a
ram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lexmin: stop using Polyhedron2Par
a
m_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvinok
.
cc: stop u
s
in
g
Polyh
e
dr
o
n2P
a
ram_Simplif
i
edDomai
n
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoola
e
ge
Requ
i
re a ver
s
i
on of P
o
lyLib that
computes cor
r
ect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
ool
a
e
ge
volume
.
c
: non_em
p
ty_po
i
nt: simp
l
y
use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoo
l
aege
add an
e
hrhart example
with interesting c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
dool
a
ege
t
est_approx: t
e
st chamber based scalin
g
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olae
g
e
scale
.
c: option
a
l
ly
p
erform scali
n
g
o
n
i
n
dividua
l
chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoola
e
g
e
barvinok_enumerate: u
s
e "variable compression
"
t
o
remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
ut
i
l
.
c
:
left_in
v
erse: ha
n
d
l
e
constant map
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoola
e
ge
evalue
.
c: evalue_sub
s
t
itute: move from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verd
o
olaege
e
value
.
c:
a
f
f
ine2
e
v
a
lue: ex
t
ract
e
d from vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaeg
e
reduce_doma
i
n: partition c
h
a
m
ber c
o
m
plex ba
s
ed on
inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n Verd
o
olaege
r
e
duc
e
_domain
.
c: extract inner_point
an
d
i
s_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoola
e
ge
reduce_domain: che
c
k for adjacent chamber
s
in simplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven V
e
rdoolaege
FORAL
L
_REDUCED_DOMAIN: extra
c
t
c
o
mmon handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoolaege
ba
r
vinok_enumer
a
te: move rec
u
rsive c
a
l
l during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ve
n
Verdoolaege
barvinok
.
cc:
P
aram_Polyhedron
_
Enumerate:
extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
V
e
r
doolaege
add
s
o
m
e
i
n
teresting
test cases
f
or v
o
lu
m
e computation
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n Verdoolaeg
e
p
e
rform
ve
r
y ba
s
i
c
polynomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
Sven Ver
d
oolaege
tes
t
_
a
ppro
x
: co
m
pa
r
e
differen
t
pol
y
n
o
mi
a
l appro
x
imations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
ev
a
lue_convert
.
cc: partial s
u
pport
for prin
t
ing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n
Ve
r
dool
a
ege
Param_
P
olyhedron_Vo
l
ume: perform lifting triangulation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
volume
.
c: int
r
oduc
e
parameter_point ab
s
traction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laege
scale
.
c: export Param_Vertex_Comm
o
n
_
Den
o
minator
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Verdoola
e
g
e
volu
m
e
.
c
:
drop
redu
n
dant argume
n
ts to volume_sim
p
lex
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Verdoolaege
opt
i
ons
.
c: sep
a
r
ate polyn
o
mial approximation
r
elat
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
ba
r
vi
n
ok
_
options_new
_
w
i
th_d
e
faults
:
init
i
a
lize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oolaege
tr
i
angulate_co
n
e
: skip
Delaunay triangul
a
t
i
on by
default
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaege
e
value_
c
on
v
ert: p
r
int lattice when printing as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sve
n
V
e
rdoolaege
evalue_conv
e
rt:
add v
e
rbose argument and
return 1
i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
P
olyhedron
_
Flate: intersect in
f
lated pol
y
top
e
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sv
e
n Ve
r
doolaege
d
oc: bib: fix u
p
name in title of A
l
gorithmica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven V
e
rdoolaege
add missing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
V
erdoolaege
v
olum
e
.
c:
d
e
la
y
com
p
utation o
f
point whe
r
e vo
l
ume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Ver
d
oo
l
aege
Param_Polyhedron_V
o
l
u
m
e: set polynom
i
al_
a
pp
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
vol
u
me
.
c: allow computation of l
o
wer and upper bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n Verdo
o
la
e
g
e
s
ca
l
e:
export Polyhedr
o
n
_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
b
arvinok_
e
numerate
:
optionally compute "vol
u
me"
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaege
polytop
e
_volume
:
compute volume
o
f pa
r
am
e
tri
c
polytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
r
e
duc
e
_d
o
ma
i
n
.
c: plug
memory
l
e
a
k
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
v
e
rif
y
.
c
:
mov
e
computation of true
c
ontext in
t
o
c
heck_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
scale
.
c:
a
dd simplified method o
f
c
omputing ti
g
hter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaeg
e
barvinok_enume
r
ate: op
t
iona
l
ly compu
t
e tighter polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Ve
r
do
o
la
e
ge
p
o
lyhedron_sample
.
c: remove redundant MAXRAYS de
f
i
ne
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
ege
evalue
.
c: evalue_eva
l
:
support relations
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
V
e
rdoolaege
evalue
.
c: eva
l
ue_fra
c
2polyn
o
m
ial: p
r
op
e
rly ha
n
dle rel
a
tions
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
b
ar
v
i
nok_enu
m
erate: s
u
p
p
ort ap
p
ro
x
i
m
atio
n
by means
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
olaege
sc
a
le
.
c: avo
i
d simp
l
ifi
c
ation of
c
o
nstra
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven V
e
rdo
o
laege
barvi
n
ok
/
u
til
.
h: add
POL_UNSET macro for unsetting
.
.
.
commit
|
commitdiff
|
tree
next