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_convert.cc: add missing include
2007-05-02
Sven
V
erdo
o
laege
evalue_convert
.
c
c
:
add
missing inc
l
ude
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
doolaeg
e
conver
s
i
on
.
h: g
e
neralize ray
s
2matrix
2
t
o zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
e
r
doola
e
ge
latti
c
e_point
.
h: make
s
elf-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
do
o
laege
ev
a
lue_read: extract f
r
o
m
m
a
x
imize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
enum
e
rato
r
: su
p
port prima
l
(half-open)
d
e
c
ompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
enume
r
a
tor: handle (dual) stopped
B
arvinok decomp
o
sition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoo
l
aege
lattice
_
point
.
cc:
r
e
m
o
v
e unu
s
ed PD a
r
gument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
la
e
ge
lattice_point
.
cc: ex
t
ract
coset
g
en
e
r
a
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
o
olaege
lattice_point
.
cc: rename ce
i
l
_
mod
to
f
r
actiona
l
_
part
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
erdoola
e
g
e
latt
i
ce_point
.
cc: use
s
o
me
h
elp
e
r functi
o
ns to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolae
g
e
lattice_point
.
c
c: imp
l
emen
t
looku
p
-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
er
d
oolaege
move more lattice point computat
i
ons to
lattice_point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
b
a
rvinok
.
cc:
lat
t
i
c
e
_point: remove a special
case
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
doc: intege
r
points in fundamental pa
r
a
llelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
u
t
il
.
c: export Matrix_
T
ran
s
posit
i
on
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
V
e
rdoolaeg
e
util
.
c: export Vec
t
or
_
Oppos
e
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
s
cale
.
c: mo
v
e
Param_Vertex_Co
m
mon_Denominator
to par
a
m_u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
eval
u
e
.
c:
add evalue_add_
c
onstant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: affine
2
ev
a
lue: skip z
e
ro
c
oeffi
c
ients
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
e
v
alue
.
c: emul_poly: effi
c
ientl
y
handle case of multipl
i
c
a
ti
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
doc: up
d
ate
o
pti
o
ns and som
e
f
u
n
c
tion
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
o
c: do
c
ument
vol
u
me computati
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
o
laege
doc: more
r
eports explaining parts of b
a
rvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
ege
ber
n
stein: bump version
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verd
o
o
laeg
e
doc:
t
ransform
a
tion of parameter d
o
main to
h
ave revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdo
o
la
e
ge
barvinok
.
cc: barvinok_co
u
n
t_f: avoi
d
w
ar
n
ing on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
util
.
c
:
u
n
i
m
odul
a
r_comp
l
et
e
:
handle completi
o
n of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdo
o
lae
g
e
b
a
rvinok_enumerate
.
cc
:
handle all line
s
i
n --
s
eries
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
Verd
o
ola
e
ge
barv
i
nok
_
enumerate
.
c
c: se
r
ies: p
l
ug m
e
mory l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc:
d
ocument left_inv
e
rse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remov
e
refere
n
c
e to
old barvinok_serie
s
app
l
i
cat
i
on
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
d
o
c: update evalue_
b
er
n
stei
n
_coef
f
i
cients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaeg
e
barvinok/options
.
h: put stats firs
t
in bar
v
inok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
a
e
ge
barvinok_ma
x
imi
z
e: read_
e
value:
support relat
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven
Verdo
o
laege
ber
n
stein
.
cc: evalue_bernstei
n
_coefficient
s
: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolaege
barvi
n
ok_maximize: e
v
a
l
ue_rea
d
:
a
llow identifiers t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
dool
a
ege
barvinok_maximize:
move --(bernstein-)recurs
e
option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoola
e
ge
lib/argp: fix lo
g
ic
i
n
h
ol_c
l
uster_cmp
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
barvino
k
_maxi
m
ize: allow specificatio
n
of the
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize: barf on unexpected fi
r
st tok
e
n
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
do
c
: more docu
m
ents refer
i
ng
to the l
i
brary
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
eval
u
e
_
convert
.
c
c: evalue_c
o
set: suppo
r
t r
e
lations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
eval
u
e
.
c: print_evalue: alway
s
print newl
i
ne at the end
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolaeg
e
d
o
c: multivariate qua
s
i-polynomials as
li
s
ts o
f
po
l
yno
m
i
als
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_c
o
n
ver
t
.
c
c
: include "c
o
nfig
.
h" to p
i
c
k
up
USE_FDSTR
E
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
r
doolae
g
e
doc: index addition
s
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoo
l
aege
doc: trian
g
ulation i
n
primal space + so
m
e ty
p
o fixes
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdool
a
ege
doc: document inner
_
poi
n
t
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
doc: refer to Koeppe article
f
or simpler
m
otivati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdo
o
l
a
ege
doc: m
o
re pub
l
ications (i
m
plicitly)
ref
e
ring to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven
Verdoolaege
configure
.
in: add $(EXEEXT) t
o
optional programs
for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Ver
d
oolae
g
e
Makefile
.
am: make sure
distribution contains r
e
q
u
ir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
work around incomplete namespace supp
o
rt in
old
c
ompi
l
e
rs
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoola
e
ge
di
s
able s
o
me fea
t
ures if fdstream doesn't
c
ompile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verd
o
olaege
bar
v
i
nok_e
n
umer
a
t
e
.
cc: a
v
oid us
e
of fdstr
e
a
m
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Ve
r
doolaege
barvino
k
_enumer
a
te: don't
print (no
n
-ex
i
stin
g
) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdo
o
lae
g
e
edomain
.
cc: avoid use of fdstr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdool
a
ege
configu
r
e
.
in: chec
k
for polylib/polyli
b
gmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolaege
dec
l
a
re va
r
iable at sta
r
t of
code
b
l
ock
.
commit
|
commitdiff
|
tree
2007-04-18
Sve
n
Verdoolaege
Ma
k
efile
.
am: reb
u
ild li
b
rarie
s
in sub
d
irs if miss
i
ng
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok_enumerate: recheck for equalitie
s
afte
r
"var
i
able
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
ae
g
e
d
o
c: a
v
oting theory report that
refers to
t
he librar
y
commit
|
commitdiff
|
tree
2007-04-15
Sven V
e
rdoolaege
do
c
:
update
primal Barvin
o
k ref
e
rence
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
aege
doc: ad
d
journal versi
o
n
of
i
mproved
d
eriv
a
tion paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolae
g
e
volume
.
c
:
keep t
r
ac
k
of numbe
r
of
s
implices in
v
olume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoola
e
ge
test_
a
p
p
rox: test volume com
p
utation
v
a
riation
s
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
volum
e
.
c
:
v
o
l
u
me_t
r
iangulate
:
u
s
e vertex instead
of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaeg
e
volum
e
.
c: face_v
e
rtice
s
: use Par
a
m_Inner_
P
roduct
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoola
e
ge
Ca
l
l se
t
_program_n
a
me before calling
a
rgp_parse
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
e
ge
reduce_domai
n
:
expl
o
i
t that no call
e
r uses P
o
lyhedron2Param_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
lexmin: stop using Po
l
yhe
d
ron2Param_Simpl
i
fiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Verdoolaege
bar
v
i
nok
.
cc
:
sto
p
using
P
olyhedr
o
n
2P
a
ram_Simpl
i
f
i
edDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
en
Verdoolaege
Require a versi
o
n of PolyLib that co
m
putes correct
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoo
l
aege
volume
.
c
: non_empty_point:
s
imply
u
se internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaeg
e
only compile
barvinok
_
maxi
m
i
z
e if
Gi
N
aC (and bernstein
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sve
n
Verdoolaege
add an ehrhart
example wi
t
h
interestin
g
c
hamb
e
r
s
commit
|
commitdiff
|
tree
2007-04-12
Sven Verd
o
olaege
test_ap
p
rox:
t
est
c
h
a
mber based
sc
a
ling
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
scale
.
c
: o
p
tionall
y
perf
o
rm scaling
on indivi
d
ual chambers
commit
|
commitdiff
|
tree
2007-04-12
S
ve
n
Verdoolaege
barvinok
_
e
num
e
r
ate:
u
se "va
r
i
able compression"
to remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
util
.
c:
l
eft_in
v
erse: handle constant map
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
V
e
rdoolaege
eva
l
ue
.
c:
e
v
a
lue_su
b
stitute: move from edomai
n
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
evalue
.
c: affine2evalue: extracted from
vo
l
ume
.
c
commit
|
commitdiff
|
tree
2007-04-12
S
ven
V
e
rdoolaege
r
e
duce_domain: partitio
n
c
ha
m
b
e
r comp
l
ex based on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
re
d
u
c
e_do
m
a
in
.
c: extract i
n
ner_po
i
nt an
d
is_internal
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Ver
d
oolaege
reduce_domain:
check for
adjacen
t
c
h
ambers
in
simpl
i
fied
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FOR
A
LL
_
R
EDUC
E
D_DOMA
I
N:
extract
common handling of
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
b
a
rvinok_enu
m
e
r
ate:
m
ove recursive
c
a
l
l
dur
i
ng scali
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolae
g
e
barvi
n
o
k
.
cc: Param_Polyhedron_Enumerate: extracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laege
a
d
d
some interesti
n
g
test cases for volume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
per
f
orm very ba
s
ic polynomial approximation
t
est
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoola
e
ge
test_
a
pprox
:
compare di
f
ferent polynom
i
al
approxima
t
ions
commit
|
commitdiff
|
tree
2007-04-08
Sven Ver
d
oola
e
ge
eval
u
e
_
c
o
nv
e
rt
.
c
c:
partial su
p
port for pr
i
nti
n
g
i
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
S
ven
V
erd
o
o
l
a
ege
Param_Poly
h
edron_
V
olume: perfo
r
m l
i
fting tr
i
an
g
u
lation
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
v
olume
.
c: in
t
roduce parameter_poi
n
t abstraction
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n Ve
r
doola
e
ge
scale
.
c:
export P
a
r
a
m
_Vertex_Comm
o
n_Denominator
commit
|
commitdiff
|
tree
2007-04-08
Sv
e
n
Verdo
o
laege
volume
.
c: drop
r
edundant arg
u
m
ent
s
to
v
olume_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaeg
e
options
.
c:
s
e
p
a
r
at
e
polynomial a
p
proximation
r
ela
t
ed
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven Ve
r
doolaege
ba
r
vino
k
_o
p
tions_ne
w
_with_defaults
:
initialize scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
V
erdo
o
laege
t
r
i
a
ng
u
l
a
te_cone: skip Delaun
a
y triangu
l
ation
b
y default
commit
|
commitdiff
|
tree
next