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
evalue_read: read more general evalues
2007-05-02
Sven Verdoolaege
evalue_re
a
d: read more general eval
u
es
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
evalue_con
v
ert
.
c
c: add missing
include
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
conv
e
r
sion
.
h:
g
enera
l
i
ze rays2matrix2
t
o zz2m
a
t
rix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
a
ttice_point
.
h: make sel
f
-contained
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdoolaege
evalue_read: extract from
maximiz
e
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
e
r
d
o
olaege
enumer
a
tor: suppor
t
primal
(half-
o
pen)
d
ecomposi
t
ions
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
enumerator: handle (du
a
l) s
t
opp
e
d Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
latt
i
ce
_
point
.
cc: re
m
o
v
e unus
e
d
PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
la
t
tice_poi
n
t
.
c
c: extract coset gene
r
a
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_p
o
int
.
cc: rena
m
e
ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
lattice_point
.
cc: us
e
some helper functions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoo
l
aeg
e
lattic
e
_point
.
c
c
: i
m
plement lookup-table ver
s
i
on
in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
m
ove
m
ore lattice
p
o
int c
o
m
putations
t
o l
a
ttice_poin
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
v
en V
e
rd
o
ola
e
ge
barvinok
.
cc: lat
t
ice_point: remove a
s
pecial case
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
Verdoolaege
doc
:
integer poin
t
s in fun
d
a
m
en
t
al parallelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
util
.
c
:
e
x
por
t
M
atrix_Transp
o
s
ition
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
do
o
laege
u
t
i
l
.
c: e
x
port
Vector
_
Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c: move Par
a
m_Vertex_Common_Denomi
n
ator to
p
aram_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdool
a
eg
e
evalue
.
c
:
a
d
d
evalu
e
_ad
d
_c
o
n
s
t
a
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdo
o
laege
evalue
.
c: affi
n
e2evalue
:
s
k
ip
zero coeffici
e
nts
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
eval
u
e
.
c:
e
mul_poly
:
e
f
fic
i
ently handle ca
s
e o
f
m
u
lt
i
plicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bu
m
p version
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
doc: update o
p
tions
a
nd some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
doc
:
document
v
olume computation
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdo
o
l
aege
d
o
c: more reports exp
l
aini
n
g p
a
rts of
b
arvi
n
ok
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
doolaege
bernstein: bump ve
r
sion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: transform
a
tion of
p
a
ra
m
et
e
r domain to ha
v
e
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
en Verdoolaege
barvinok
.
cc: barvi
n
ok_cou
n
t_f:
a
void
warning on
r
e
cursi
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
util
.
c: unimodular_c
o
m
p
lete: h
a
ndle completion of
m
or
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
laege
ba
r
vinok
_
enumerat
e
.
cc: h
a
nd
l
e
all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
r
doolaege
ba
r
v
inok_enumerate
.
cc:
s
eries: plug
mem
o
ry leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: docu
m
ent left_inve
r
se
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n V
e
rdoolaege
doc
:
rem
o
ve r
e
ference
to old barvinok_se
r
ies application
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verdoolaege
d
oc: update evalue_ber
n
stein
_
coef
f
icients
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoolaege
barvinok/
o
p
tions
.
h: put s
t
ats first in barvi
n
o
k_o
p
t
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: read_evalue: sup
p
or
t
relations
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n Verdoolae
g
e
bernstein
.
cc: evalue_be
r
nstein
_
coefficients: hand
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
eg
e
b
a
rv
i
no
k
_maxim
i
ze: evalue_read:
allow
i
d
e
n
t
i
fiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n Verd
o
olaeg
e
barvinok
_
maximize: move --(bern
s
tein-)recu
r
se option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aeg
e
lib/arg
p
: fix logic in ho
l
_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
olaege
barvi
n
ok_maxi
m
iz
e
:
a
l
l
ow
s
pecifi
c
at
i
on
o
f
the
v
ar
i
ables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdoolaege
barvinok_maximize: barf on un
e
x
pected fi
r
st token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc: more documents refe
r
ing
t
o
the library
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_convert
.
cc: ev
a
lue_coset: support relatio
n
s
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaege
ev
a
lue
.
c
:
print_evalue: always print newli
n
e at the end
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoo
l
aege
doc: multivariate quasi-polyn
o
mials as lists of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
d
oo
l
aege
e
value_
c
onvert
.
c
c:
include "config
.
h" to pick
u
p USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
do
c
: in
d
ex additi
o
ns
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolae
g
e
doc: triangulation in
p
rimal
space + some ty
p
o
f
ixes
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: docum
e
nt
i
nner_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
doc
:
refer to Koeppe artic
l
e for
simpler mo
t
i
vation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
erdoolaege
doc
:
m
o
re
p
ubli
c
ations (implicitly
)
refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sv
e
n V
e
rdoolaege
configu
r
e
.
in: add $(EXEEXT
)
to opt
i
onal pro
g
r
a
ms for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
S
v
en Verdoola
e
ge
Makefile
.
am: m
a
ke sure dis
t
ribution c
o
ntains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sv
e
n
V
e
rdool
a
ege
b
a
rvinok_enumera
t
e: do
n
't print (no
n
-
e
xist
i
ng) e
v
a
lu
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
d
o
ol
a
ege
e
d
o
main
.
cc: av
o
i
d
u
se of fd
s
tream
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
c
o
nfigure
.
in: check for
p
o
l
y
l
i
b
/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaege
d
eclare v
a
r
iable at star
t
of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
er
d
oolaege
Ma
k
efile
.
am: rebu
i
ld libr
a
ri
e
s
in
s
u
b
dir
s
i
f
missi
n
g
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
doolaege
barvinok_enumerate: re
c
h
eck for equalities after "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdool
a
ege
doc: a v
o
ting theory re
p
ort that re
f
ers t
o
the libra
r
y
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verdo
o
laege
doc: update
p
rimal Ba
r
v
i
nok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdool
a
e
ge
doc: add journa
l
version of improved derivation pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sv
e
n Verdoolaege
v
o
lum
e
.
c: keep t
r
ack
o
f
n
umber of
simplic
e
s
in volume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdo
o
laege
te
s
t
_
approx: test volume computation variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volume
.
c: volume_tri
a
ngula
t
e:
u
s
e
vertex inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c
: face_ver
t
ices: use Par
a
m_I
n
ner_
P
roduct
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdo
o
la
e
ge
reduce_domain:
exploit that no caller us
e
s Polyhedron2Para
m
_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
lexmin: s
t
op usi
n
g Polyhedron2Pa
r
am_S
i
m
pl
i
f
i
edDoma
i
n
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
barvinok
.
c
c: stop using P
o
lyh
e
dron2Param_Simplifi
e
dD
o
main
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aege
Require a version of
P
o
l
yLib that c
o
mputes
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
volume
.
c: non_em
p
ty_p
o
int
:
simply use i
n
ternal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doo
l
aeg
e
add an ehrhart e
x
ample
with interesting cham
b
ers
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n
V
erdoolaege
test_
a
pp
r
ox
:
test chamber bas
e
d scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoo
l
aege
scale
.
c: opti
o
nal
l
y perform scaling on individual
c
hambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ve
r
doolaege
ba
r
vinok_enumera
t
e: us
e
"variab
l
e compr
e
ssion" to rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
util
.
c: left_inverse: handle consta
n
t map
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
e
v
alue
.
c: evalue_su
b
st
i
tu
t
e: move f
r
om
e
domain
.
cc
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Verdoolaege
e
v
alu
e
.
c: affine2ev
a
lue: ex
t
r
a
cted fro
m
vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
reduce_domain: partition
chamber
com
p
lex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sv
e
n
Verdoolaege
reduce_dom
a
in
.
c: e
x
tract inn
e
r_point and is_interna
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
reduce_do
m
ain: che
c
k f
o
r adj
a
cent cha
m
ber
s
in s
i
mplified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
F
O
RALL_REDUCED_DO
M
A
I
N
:
extract common ha
n
dling of red
u
c
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
ba
r
vinok_e
n
ume
r
a
t
e
: mo
v
e r
e
c
ursive
c
all du
r
ing scaling
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
b
a
rvino
k
.
cc: P
a
ram
_
Polyh
e
dron_Enumer
a
t
e:
e
x
t
racted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoola
e
ge
add some in
t
e
r
esting tes
t
cases for volume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven
Verd
o
olaege
perf
o
rm ve
r
y basic polyn
o
mial ap
p
roximati
o
n t
e
st
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
t
est_approx:
c
o
mpare d
i
fferent polynomial approximati
o
ns
commit
|
commitdiff
|
tree
2007-04-08
S
v
e
n Verdoo
l
aeg
e
e
v
alue_convert
.
c
c
: part
i
a
l
support fo
r
p
r
inting in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
P
a
ram_Polyhedron_Volume: per
f
o
rm lifting triangula
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
v
en Verdoolaege
volume
.
c: introduce parame
t
e
r_point abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oolaege
scale
.
c: export Param_Ve
r
te
x
_
C
ommo
n
_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdo
o
laeg
e
volume
.
c: drop
redundant argument
s
t
o
v
o
lume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdool
a
ege
options
.
c: separ
a
te polynomial ap
p
roximation relat
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
r
d
oo
l
a
e
ge
barvin
o
k_options_new
_
with
_
defaults: i
n
it
i
alize
scale_fla
g
s
commit
|
commitdiff
|
tree
2007-04-07
S
v
en Verdool
a
e
g
e
tri
a
ngulate_cone: skip Delaunay triangula
t
i
o
n
b
y default
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdool
a
e
ge
eval
u
e_convert: print l
a
t
tice when
prin
t
ing
a
s
l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
e
r
d
oolaege
evalue_c
o
nver
t
: add verbo
s
e argument an
d
r
e
tu
r
n 1 if
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven
V
er
d
oo
l
aege
Polyhedron_Flate: i
n
tersect inflated polytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
S
v
en Verdoolaege
doc:
bib: fix up name
i
n
title of Algo
r
i
thmica paper
commit
|
commitdiff
|
tree
next