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
polytope_scan: use argp for argument parsing
2007-04-28
Sven Verdoolaege
doc:
m
ore reports explaining
p
ar
t
s of
b
arvin
o
k
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n
V
erdoolaege
bernstein: bump
version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
doc:
t
ra
n
sformati
o
n
o
f pa
r
ameter d
o
ma
i
n t
o
have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoola
e
ge
barvi
n
ok
.
cc: ba
r
vinok_count_
f
: avoid warning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
ut
i
l
.
c: un
i
modula
r
_complete: ha
n
d
l
e
com
p
letio
n
of mo
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en V
e
rdoolaege
barvinok_enumerate
.
cc: handle all lin
e
s in --ser
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
lae
g
e
bar
v
inok_enume
r
ate
.
cc
:
s
eries: plug memory le
a
k
commit
|
commitdiff
|
tree
2007-04-26
Sven Ve
r
doolaege
doc:
d
o
c
ument left
_
i
nverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc
:
remove refer
e
nce to old
b
a
rvinok_series
a
pplicati
o
n
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaeg
e
doc: upd
a
te evalue_bernstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoola
e
g
e
barvino
k
/options
.
h: put
s
t
ats first in barvin
o
k_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
a
ege
barvin
o
k_maxi
m
i
z
e: read_evalue: support
r
elations
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verd
o
olaege
bernstein
.
cc: eva
l
ue_be
r
nstein_coeffic
i
ents: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
barvinok_maximize: evalue_read: allow
i
dentif
i
ers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolae
g
e
barvinok_maximize:
move
--(bernstein-)recurse optio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolae
g
e
lib/argp: fix logic in hol
_
cluster
_
cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolae
g
e
ba
r
vinok_maximize: allow
s
pecifica
t
ion of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verd
o
olaege
barvinok_maximize
:
barf on unexpected first tok
e
n
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oola
e
g
e
d
oc: more documents r
e
fering to t
h
e library
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaege
evalue
_
convert
.
cc: eva
l
ue_cos
e
t: support r
e
lations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c: p
r
in
t
_evalue: a
l
ways pri
n
t ne
w
line a
t
the
e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
o
c:
multivariat
e
quasi-polyno
m
ials as li
s
ts o
f
polynomi
a
ls
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdo
o
l
a
ege
evalue_conv
e
rt
.
cc: include "config
.
h" to pick
u
p
USE_
F
DSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
doc: inde
x
additio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: triangulation in p
r
imal space
+
some typo
f
i
xes
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc: doc
u
ment inner_point
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoola
e
g
e
doc
:
refer to Koeppe art
i
c
l
e for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
doc: more
publications (implicit
l
y) ref
e
ring
t
o
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Ver
d
o
o
laege
configure
.
in: add $(
E
XEEXT)
to optional progra
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
v
en
V
e
rdoolaege
Mak
e
file
.
am: make sure
d
ist
r
ibut
i
o
n contains req
u
ire
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
work ar
o
u
nd
i
ncomplete namesp
a
c
e
supp
o
rt i
n
old co
m
p
il
e
rs
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
erdoolaege
disable some features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
ba
r
vin
o
k_enumerate
.
cc: avoid use of fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
barvinok_enumera
t
e: don
'
t pr
i
nt (non-ex
i
st
i
ng)
e
v
alue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
edo
m
ain
.
cc: avoid use
of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Ve
r
doolaege
c
on
f
igure
.
i
n
: check
f
or pol
y
lib/
p
olylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
ven Ver
d
oolaege
dec
l
a
re variable at
start of co
d
e
bloc
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Ver
d
oolaege
Ma
k
efil
e
.
am: rebuild
lib
r
a
r
i
es
i
n subdirs if mis
s
in
g
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
b
arvinok_enumerate:
r
ec
h
eck for
equa
l
ities aft
e
r "var
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc:
a voting t
h
eory
r
eport
that
r
efers to
th
e
library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
doc:
u
pdate primal Barvinok r
e
ference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdo
o
laeg
e
doc: add
j
ournal versi
o
n of
i
m
proved der
i
va
t
ion paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
v
o
lume
.
c
:
keep track of nu
m
ber of si
m
plices in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
en Verdoolaeg
e
test_appr
o
x: tes
t
v
olume computation
variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoo
l
aege
v
o
l
ume
.
c: volume_
t
riangulate: u
s
e
vertex in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
volume
.
c: face_vertice
s
:
u
se Para
m
_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
d
o
olaege
Call set_p
r
ogram_name befo
r
e c
a
lling argp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aege
redu
c
e_domain: exploit that no ca
l
ler uses Polyh
e
dr
o
n2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdool
a
ege
l
ex
m
in:
s
top using Poly
h
edron2
P
ara
m
_
S
implifiedDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rd
o
olaege
bar
v
i
n
o
k
.
c
c: s
t
op usi
n
g Polyhedron2Pa
r
am_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
er
d
oolaege
Require a vers
i
on of Po
l
yLib
that
computes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdool
a
ege
vol
u
me
.
c: non_empty_point: simply
u
se in
t
erna
l
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
doolaege
only compile barvino
k
_maxim
i
ze
if GiNaC (and b
e
rnstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
add an
ehrhart examp
l
e
with interes
t
ing chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
e
r
doolaeg
e
test_approx: test chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c: option
a
lly perfo
r
m scaling on
individual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
aege
barvinok_en
u
merate:
use
"
var
i
able
c
o
mpression" to remov
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoo
l
a
ege
util
.
c: l
e
ft_
i
nverse: handle constant map
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
Verdoolaeg
e
evalue
.
c: evalue_s
u
bstitute: mov
e
from
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolaege
e
value
.
c
: aff
i
ne2evalu
e
:
extracted
f
r
om v
o
lume
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
reduce_domain:
p
artition chamber complex b
a
sed on
i
nner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Ve
r
do
o
laege
reduce_domain
.
c
: extract inner_poin
t
and is_i
n
ternal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_
d
omain: check
f
or adjacent chambers in simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
V
e
rdoola
e
ge
F
ORA
L
L_R
E
DUCED_DO
M
A
I
N:
extract common handling o
f
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
ven Ver
d
oolaege
barvinok_enumerate: move r
e
cursive call during
s
c
a
ling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvino
k
.
c
c
: Param_
P
olyh
e
dr
o
n_Enumerate:
extra
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
add
s
om
e
interesting test cases for vol
u
me computation
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdoo
l
aeg
e
perform very basic p
o
l
ynomi
a
l approx
i
matio
n
test
commit
|
commitdiff
|
tree
2007-04-09
Sven V
e
rdo
o
laege
test_
a
ppr
o
x: compare
d
iff
e
rent
polynomial approxi
m
ations
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoolaege
evalue_
c
o
nvert
.
cc
:
p
arti
a
l su
p
port f
o
r p
r
intin
g
in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
Para
m
_Polyhedr
o
n_Volume: perform li
f
ting triang
u
lation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volume
.
c
:
introduce p
a
rameter_po
i
nt abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
scale
.
c
:
export Param_Ver
t
e
x
_Com
m
o
n
_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sve
n
Ver
d
oolaege
v
o
lum
e
.
c:
d
r
o
p redu
n
dant arguments to volume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
options
.
c: se
p
arate polynomial a
p
pr
o
ximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
er
d
oo
l
aeg
e
b
arvinok_o
p
ti
o
ns_new_wi
t
h_d
e
faults: ini
t
ial
i
ze
s
ca
l
e_
f
lags
commit
|
commitdiff
|
tree
2007-04-07
S
ven
V
e
r
doolaege
triangula
t
e
_
cone: skip Delau
n
ay
t
riang
u
lation
by d
e
f
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolae
g
e
ev
a
lue_convert
:
p
r
int lattice wh
e
n
pri
n
ting as list
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verd
o
olaege
ev
a
l
u
e_
c
onvert: add
v
erb
o
se a
r
g
u
ment and return
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolae
g
e
Polyhedron
_
Flate:
i
n
t
ersect inflate
d
polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdo
o
l
a
ege
doc: bib
:
fix up name in
title
of Algorithmica pape
r
commit
|
commitdiff
|
tree
2007-04-05
Sven
Verdoolaege
add missing volume
.
h fi
l
e
commit
|
commitdiff
|
tree
2007-04-04
Sve
n
Verdoolaege
volume
.
c:
dela
y
computatio
n
o
f
point whe
r
e
volume
i
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
er
d
oolaege
Par
a
m_Polyhedron_Volume: set polynomial_ap
p
roxi
m
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n
V
e
rdoolaege
volume
.
c:
all
o
w computation of lower and upper
b
o
und
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n
Verdoolaege
s
c
ale: ex
p
ort Polyh
e
d
r
on_Flate
commit
|
commitdiff
|
tree
2007-04-03
S
v
e
n
V
erdoolaege
barvin
o
k_enu
m
er
a
te: optionally com
p
ute
"
volume" pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Ver
d
oolaege
polytope_volu
m
e: co
m
put
e
volume
o
f pa
r
ametric polytope
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
V
e
rdoolaege
reduce_domain
.
c
: plug memor
y
l
e
ak
commit
|
commitdiff
|
tree
2007-03-31
Sven
V
erd
o
olaege
verify
.
c: move
c
omputation of
t
r
u
e
context into check_poly_
c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c
:
add si
m
p
l
ifi
e
d method of
c
omputing
t
ighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barv
i
nok_enumerate: optiona
l
ly compute
tighter po
l
y
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n Verdoo
l
aege
p
olyhedr
o
n_sample
.
c: remov
e
r
e
dundant M
A
X
RA
Y
S define
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n Verdoolaege
e
v
al
u
e
.
c
:
e
value_eval:
s
uppor
t
r
e
l
ations
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolae
g
e
e
value
.
c:
e
v
a
lue
_
frac2polynomial: proper
l
y handl
e
relati
o
ns
commit
|
commitdiff
|
tree
2007-03-31
Sve
n
Verdoolaege
barvinok_
e
numerate: suppor
t
a
p
p
r
oxim
a
tion b
y
me
a
ns
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
scale
.
c:
a
void simpl
i
fication of constraints after
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdo
o
laege
barv
i
no
k
/util
.
h: add POL_UNSET m
a
cro for unsetting
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoola
e
ge
scale
.
c: Param_Polyh
e
dron_Scal
e
_Integer_Fast: ignor
e
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
a
ege
move Param_Polyhedron_Sca
l
e
_In
t
eger to
scale
.
c and
.
.
.
commit
|
commitdiff
|
tree
next