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
S
v
en
V
er
d
oolaege
doc
:
document vol
u
me
computation
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
doc: mo
r
e reports explain
i
n
g parts of ba
r
vino
k
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdoolaege
b
e
rnstein: bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: t
r
ansfor
m
ation of paramet
e
r
d
o
m
ain to ha
v
e revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
b
arvinok
.
cc: b
a
rvinok_count_
f
: av
o
id
w
arning
o
n recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c: unimodula
r
_complete
:
handle completi
o
n of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
b
a
rvinok_enumerate
.
cc: handl
e
all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
lae
g
e
barvinok_enu
m
er
a
te
.
cc: seri
e
s: plug memory
l
eak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: document left_
i
n
v
erse
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
rdoola
e
ge
doc: remove
r
efere
n
c
e to old barv
i
nok_series a
p
p
l
i
c
a
tion
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
d
o
c: u
p
dat
e
evalue_berns
t
ein_coeff
i
cients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok/option
s
.
h: put
s
t
a
ts fir
s
t in
bar
v
inok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
dool
a
ege
b
arvinok_maxim
i
ze: read_evalue: suppor
t
r
e
lations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
bernstein
.
cc:
evalue_bernstei
n
_coe
f
ficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Verdoolaege
barvinok_ma
x
imize:
eval
u
e_re
a
d
:
allow identi
f
iers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
g
e
b
arvinok_max
i
mize: move --(bernstein-)re
c
urse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
lib/argp: fix l
o
gic in h
o
l_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
barvin
o
k_maximize: allow
s
pec
i
fic
a
tion of
t
he variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
bar
v
inok_maximize: barf
o
n
u
nexpect
e
d first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc: more document
s
r
e
f
ering to the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
e
g
e
eval
u
e_c
o
nvert
.
c
c
: e
v
a
l
ue_cos
e
t: sup
p
ort
relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
valu
e
.
c: print_e
v
alue: alw
a
ys pr
i
n
t newl
i
ne a
t
th
e
end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc:
m
ultivariate quasi-polynomials as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
S
v
e
n Verdoo
l
a
ege
evalue_conve
r
t
.
c
c
:
include "config
.
h
"
to
pick up USE_F
D
STREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
:
i
ndex
additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc:
triangulation in pr
i
mal spa
c
e + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Ver
d
oolaege
doc
:
docum
e
n
t
in
n
er_p
o
i
nt
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doolaege
doc: refer to
Koeppe
a
rticle for simpler motivatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verd
o
olaege
doc: more publi
c
a
t
ions
(i
m
pl
i
cit
l
y) r
e
ferin
g
to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
v
en
V
erd
o
olaege
configure
.
in: add $(EXEEXT) to op
t
io
n
al pr
o
grams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Make
f
il
e
.
am: ma
k
e
sure distributi
o
n
c
ontains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
work a
r
ound
incomplet
e
namespace support
i
n old
c
o
mpile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
disable some
f
eatures
i
f fdstrea
m
doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verd
o
o
l
aege
barvinok_enumerate
.
cc
:
avoid use o
f
f
d
s
t
r
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
r
d
oolaege
b
a
rvi
n
ok_
e
numerate: don
'
t print
(
non-ex
i
sti
n
g) eval
u
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
rd
o
olaege
e
domain
.
cc: avoid u
s
e
o
f fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
configure
.
in:
c
heck
f
o
r polylib/poly
l
ib
g
mp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
declare var
i
ab
l
e at s
t
art of code blo
c
k
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoola
e
ge
Makefil
e
.
am: rebuild libraries in s
u
bdi
r
s if missing
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok
_
enumera
t
e: recheck
for equalities after "v
a
riab
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdoolaege
doc: a vo
t
ing t
h
eory report t
h
at refers to
the librar
y
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
o
c: upd
a
te p
r
imal B
a
rvinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdoolaege
doc: add
jou
r
nal version of improved deriva
t
ion
p
aper
commit
|
commitdiff
|
tree
2007-04-13
S
ve
n
Verdoola
e
g
e
vol
u
m
e
.
c: keep track of number of
s
imp
l
ices i
n
volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
V
e
r
doolaege
t
e
st_a
p
prox: test
volume com
p
utatio
n
variatio
n
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c
: volume_triangulate: use
v
e
r
tex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
volume
.
c: f
a
ce_vertices: use Pa
r
am_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
o
o
lae
g
e
Call s
e
t_progra
m
_name before
cal
l
ing argp_pars
e
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verdoolaege
reduc
e
_
d
o
m
ain: expl
o
i
t that no caller uses Polyh
e
dron
2
Pa
r
am_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
V
er
d
ool
a
ege
lexmin:
stop
using Poly
h
edron2Param_S
i
mplifiedD
o
m
a
i
n
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barvi
n
ok
.
cc: stop using Poly
h
e
dron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Require a
v
e
r
sion of PolyLib that compute
s
c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
v
o
lum
e
.
c: non_empty_point: simp
l
y use internal
point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
add
a
n ehr
h
art e
x
ample with int
e
re
s
ting chamb
e
rs
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Ver
d
oolaege
te
s
t_approx:
t
es
t
chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
scal
e
.
c: optionally perform scaling on individual
chambers
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaeg
e
barvinok_enu
m
erate: u
s
e
"
var
i
able
compre
s
sion" to re
m
o
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
u
til
.
c: left
_
inverse: handle co
n
s
t
ant map
commit
|
commitdiff
|
tree
2007-04-12
Sven
Ver
d
o
o
laeg
e
e
value
.
c: evalue_substitute:
m
ove from edomain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaeg
e
evalue
.
c
: a
f
fine2evalue
:
e
x
tracted from volume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doolaege
r
e
du
c
e_domain: partition chamber c
o
m
plex
b
a
s
ed on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdo
o
l
a
ege
reduce_domain
.
c: extract inner
_
point and is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_dom
a
in: check for
adjacen
t
chambe
r
s
in simpli
f
ied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven
Verdool
a
ege
F
ORALL_REDUCED_DOMA
I
N: extra
c
t common handling of reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven
Ve
r
d
oola
e
ge
b
a
r
vinok_enumerate: move recursive call during scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
barvinok
.
cc: P
a
ram_Po
l
y
hedron_Enumerate
:
extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
add some interesting test cases
for v
o
lume comp
u
tation
commit
|
commitdiff
|
tree
2007-04-09
S
v
en Verdoolaege
perform ve
r
y
b
asic polynomial appr
o
ximation test
commit
|
commitdiff
|
tree
2007-04-09
Sv
e
n
Verdool
a
ege
test
_
a
p
prox:
c
ompare different polynom
i
al approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven V
e
rdoola
e
ge
evalue_convert
.
cc:
parti
a
l support for
p
rinting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
Pa
r
a
m_Polyhed
r
on_Volume
:
p
e
rform
lifting triangulatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolae
g
e
volume
.
c: i
n
troduc
e
p
ar
a
m
e
ter_point abstract
i
on
commit
|
commitdiff
|
tree
2007-04-08
Sven Verd
o
olaege
sca
l
e
.
c: export Para
m
_Vertex_Common
_
D
e
nomi
n
ator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
vol
u
me
.
c: drop re
d
un
d
ant argum
e
nts to
v
o
lum
e
_simpl
e
x
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
options
.
c
:
s
e
parate polynomial
a
pproxi
m
ation re
l
a
ted
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
barvinok_opti
o
ns
_
new_with_defaults: initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven Ver
d
oola
e
ge
triangula
t
e_con
e
: skip Delaunay
t
riangulati
o
n by default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
e
v
a
l
ue_con
v
er
t
:
print la
t
tice wh
e
n printing
a
s
lis
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue_c
o
nv
e
rt: add
verbose
a
rgument a
n
d return
1
if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sve
n
V
e
rdoo
l
aege
Pol
y
hedr
o
n_Flate:
i
nter
s
e
ct inflat
e
d po
l
ytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
d
o
c: bib: fi
x
up na
m
e in title of A
l
gor
i
th
m
ica paper
commit
|
commitdiff
|
tree
2007-04-05
Sven
Verdoolaege
a
dd
m
issing volume
.
h file
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolae
g
e
volume
.
c
:
delay computation
o
f poin
t
where
v
o
l
ume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven
V
e
r
dool
a
ege
Par
a
m_
P
olyhedron_Volume
:
s
e
t polynomial_approximation
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sv
e
n Verd
o
olae
g
e
vol
u
me
.
c: a
l
l
o
w computation of lower
and uppe
r
b
ou
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
S
v
en V
e
rdoolae
g
e
scale: e
x
por
t
Polyhedro
n
_Flate
commit
|
commitdiff
|
tree
2007-04-03
Sven
V
erdoo
l
aeg
e
barvinok
_
e
nu
m
erate: option
a
l
l
y compu
t
e "vo
l
u
m
e" polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sve
n
Verdoolaege
polytope_volume: c
o
mpute volume of parametric p
o
lytope
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolaege
reduc
e
_dom
a
in
.
c: plug memory leak
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
veri
f
y
.
c
:
mo
v
e computation of true context into
check
_
poly_c
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
s
c
ale
.
c: add
si
m
plified
m
et
h
od
o
f computing tighter
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven
Verd
o
olaege
barvinok_enumerate: o
p
t
i
onally compu
t
e tigh
t
er polyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoolae
g
e
polyhedron
_
sa
m
ple
.
c:
r
emove
redundant MA
X
RAYS define
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoo
l
aege
e
v
a
l
ue
.
c: eva
l
ue_eval: support relati
o
n
s
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
evalue
.
c: evalue_frac2p
o
lynomial: p
r
operly handle relations
commit
|
commitdiff
|
tree
2007-03-31
S
v
e
n
Verdoolaege
b
a
rv
i
nok_en
u
merat
e
: s
u
pport app
r
oximatio
n
b
y
mea
n
s
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sv
e
n
V
erd
o
olaege
scale
.
c:
a
v
oid simp
l
ification of constraints
a
f
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verdoolaege
barvinok
/
util
.
h: add POL_U
N
SET
m
acro for unset
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
S
v
en Verdoo
l
ae
g
e
scale
.
c
: Param
_
Poly
h
ed
r
on_Scale_Integer_Fas
t
: ignore
.
.
.
commit
|
commitdiff
|
tree
2007-03-31
Sven Verd
o
ol
a
e
ge
move Param_Polyhedron_S
c
ale_I
n
teg
e
r to sc
a
le
.
c and
.
.
.
commit
|
commitdiff
|
tree
next