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
lattice_point.cc: remove unused PD argument
2007-05-02
Sven Verdoolae
g
e
lattice_poin
t
.
cc: remove unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_
p
oint
.
cc: extrac
t
co
s
et ge
n
eration
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoo
l
aeg
e
lattice_point
.
cc: rename ceil_mod to fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olae
g
e
lattice_poin
t
.
cc:
use some helper fun
c
t
i
ons to simplif
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
l
a
ttice_poin
t
.
c
c
: impl
e
m
e
nt lookup
-
t
a
ble
version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
move mor
e
l
a
ttice point comp
u
t
ati
o
ns
to lattice_poin
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
b
a
r
vino
k
.
c
c
: l
a
t
tice_point
:
remove a sp
e
cial case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
doc:
i
n
te
g
er p
o
int
s
in
fundame
n
ta
l
paralle
l
ep
i
ped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
util
.
c: expor
t
M
a
t
rix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdool
a
e
ge
u
t
il
.
c:
expo
r
t Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
sca
l
e
.
c: m
o
ve Param_Vertex
_
Com
m
o
n
_Denominat
o
r t
o
p
a
r
am_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolae
g
e
evalue
.
c: ad
d
evalue_add_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: affi
n
e
2
evalue:
s
k
ip zero coeff
i
cients
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
evalue
.
c: em
u
l_po
l
y: efficie
n
tly han
d
le case of mult
i
plicati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ve
r
d
o
olaege
bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
e
r
doolaege
doc: updat
e
options and som
e
function
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdool
a
ege
doc: doc
u
men
t
volume compu
t
a
ti
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdool
a
e
g
e
do
c
:
m
ore repo
r
ts exp
l
ainin
g
parts of bar
v
i
n
ok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
bernstein: bump
vers
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
o
c: transformation
of parame
t
er domai
n
to have revl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
b
a
rvinok
.
cc: barvinok_count_
f
:
a
void
w
a
r
ning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
ut
i
l
.
c
: unimodula
r
_complete: handl
e
comp
l
etion
of
mor
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
ven Verd
o
olaege
barvin
o
k
_
en
u
merate
.
cc: handle all lines in
-
-serie
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdo
o
l
aege
barvinok
_
enumer
a
te
.
c
c:
s
erie
s
: plug memory lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
d
o
c
: docume
n
t left
_
inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven
Ve
r
doolaege
doc: re
m
ove
reference to old ba
r
vinok_series applic
a
tio
n
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc:
u
pdat
e
eva
l
u
e_b
e
r
nstei
n
_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
ge
barvinok/
o
ptio
n
s
.
h
: p
u
t stats first in
b
arvinok_options
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
o
olaege
barvinok_ma
x
imize
:
read_evalue: support rel
a
tio
n
s
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaege
bernstein
.
c
c
: evalue_bernste
i
n_coeffi
c
ien
t
s: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
barvinok_maximize
:
evalue_read: allow identifiers
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdool
a
ege
barvinok_m
a
ximize: move --(bernstei
n
-)recu
r
s
e opt
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verd
o
o
l
aege
lib
/
arg
p
: fix logic in hol_cl
u
st
e
r
_cm
p
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Verdoolaege
barvi
n
ok_maximize: allow s
p
ecification of the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
V
erdo
o
l
aege
barv
i
nok_
m
aximize
:
b
arf on
unexpec
t
ed fi
r
st token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
doc: more
documents r
e
ferin
g
to th
e
library
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
rdoolaege
evalue_convert
.
cc: evalue_coset:
su
p
p
ort
r
elations
commit
|
commitdiff
|
tree
2007-04-23
S
v
en
Verdoolaege
eval
u
e
.
c: print_evalue: alw
a
ys print newline a
t
t
he
e
nd
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
o
olaege
d
o
c: mu
l
tivariate qua
s
i-po
l
y
n
o
m
i
a
ls as
l
ist
s
of polynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_convert
.
cc: incl
u
de
"
config
.
h" to
p
ick up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc: index addi
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc
:
triangulation in primal space +
some t
y
po fi
x
e
s
commit
|
commitdiff
|
tree
2007-04-23
S
v
en V
e
rdoolaege
doc: documen
t
inner
_
po
i
nt
commit
|
commitdiff
|
tree
2007-04-23
Sven
V
e
r
doolaege
doc: refer to Koeppe art
i
cle for simpler motivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoolaeg
e
doc: more pu
b
lications (implicitly) refering to t
h
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolae
g
e
c
o
nfigure
.
in
:
add $(EXEEX
T
) t
o
optional programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaeg
e
M
a
k
efile
.
am:
m
ak
e
sure distrib
u
tion contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en
V
e
r
dool
a
e
ge
barvinok_e
n
umerate: don't p
r
i
n
t
(
non-e
x
isting) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoolaeg
e
ed
o
main
.
cc: avoi
d
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
S
ven Verdoolae
g
e
configure
.
in: check
f
or
p
olylib/po
l
ylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verd
o
olaege
declare variable
at start of
c
o
de block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Ve
r
d
o
olaeg
e
Makefile
.
am
:
rebuild libraries
in
s
u
bdirs if
m
issing
commit
|
commitdiff
|
tree
2007-04-18
Sven
V
erdo
o
laege
barvinok_enumer
a
t
e
:
recheck for equaliti
e
s after "
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sve
n
Verdoolaege
doc: a vo
t
ing the
o
ry
report
t
hat refers to the lib
r
ary
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaege
d
oc: update p
r
i
m
al Barvi
n
ok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
a
e
g
e
doc: add journal v
e
rs
i
on of improved
derivation pa
p
er
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoo
l
aege
v
olu
m
e
.
c
:
ke
e
p t
r
a
c
k of numb
e
r
o
f
s
i
mpli
c
es in vo
l
ume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
S
v
e
n Verdo
o
laege
test_approx: test volume
comp
u
tat
i
on variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Ver
d
oolaege
volume
.
c
:
volum
e
_tr
i
angulate
:
use ver
t
ex instead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: face_vertices: use Par
a
m_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
Sven Ver
d
oolaege
reduce_domain:
explo
i
t that no caller uses Pol
y
hedr
o
n2Par
a
m_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
lex
m
in: stop
using Poly
h
edron2Pa
r
am_
S
i
m
plifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
barv
i
nok
.
cc: stop
us
i
n
g
Polyhedron2Param_Simp
l
ifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
Re
q
uire a
v
e
rsion of PolyLib that comput
e
s
corre
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
volume
.
c: non_empty_point: simply use internal point
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
a
d
d
a
n ehrhart examp
l
e wi
t
h inte
r
es
t
ing chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
test_ap
p
rox: t
e
st
chamber based scaling
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
scale
.
c
:
opt
i
on
a
lly perf
o
r
m
s
c
a
ling on indi
v
idual chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaeg
e
barvinok_e
n
umera
t
e:
use "va
r
ia
b
le com
p
r
ession" to remove
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdo
o
laege
u
til
.
c: left_inverse
:
han
d
le constant map
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n
Verdoolae
g
e
evalue
.
c
:
evalue_s
u
bstitute:
m
ove from ed
o
m
a
in
.
cc
commit
|
commitdiff
|
tree
2007-04-12
Sven
V
erdoolaege
eval
u
e
.
c: af
f
ine2evalue: extracted from vol
u
me
.
c
commit
|
commitdiff
|
tree
2007-04-12
Sven Ve
r
doola
e
ge
reduce_domain
:
parti
t
ion
c
hamber c
o
mplex based
on inner
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
r
e
duce_domain
.
c:
e
xtract inner_
p
oint a
n
d is_interna
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verd
o
olaege
r
educe_
d
o
m
ain: check f
o
r adj
a
ce
n
t c
h
ambers
in sim
p
lified
.
.
.
commit
|
commitdiff
|
tree
2007-04-11
Sven Verdoolaege
FORALL_
R
EDUCED_DOMAIN:
e
xtract common ha
n
dl
i
ng
o
f re
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaeg
e
barv
i
n
o
k_en
u
me
r
ate: mo
v
e recursi
v
e c
a
ll d
u
ri
n
g scal
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdoolaege
b
arvinok
.
cc: Param_Polyhedron_Enumerate: e
x
tracted
.
.
.
commit
|
commitdiff
|
tree
2007-04-09
Sve
n
Verdoolaege
add some interesting test cases fo
r
volume computation
commit
|
commitdiff
|
tree
2007-04-09
Sven Verdo
o
laege
p
erf
o
r
m
very basic
p
olynomial approximation test
commit
|
commitdiff
|
tree
2007-04-09
S
v
en
V
er
d
o
o
laege
test
_
approx: compare diffe
r
ent polynomial approximations
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
evalue_convert
.
cc: partial sup
p
o
r
t for printing in
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
d
o
ola
e
ge
Param_Polyhedron_Vo
l
ume
:
perform lifting triangul
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoolaege
volum
e
.
c: introduc
e
para
m
eter
_
point abstr
a
ction
commit
|
commitdiff
|
tree
2007-04-08
Sven Ve
r
d
o
ol
a
e
g
e
scale
.
c: export Param_Vert
e
x_Common
_
D
en
o
mi
n
ator
commit
|
commitdiff
|
tree
2007-04-08
Sven Verdoola
e
ge
volume
.
c: drop redundant arguments to vol
u
me_simplex
commit
|
commitdiff
|
tree
2007-04-08
Sven
V
er
d
oolaege
o
p
tions
.
c
:
separate polynomial appr
o
ximation related
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
Sven V
e
rdoolaege
b
a
r
vinok_optio
n
s_ne
w
_with_defaults: initiali
z
e scale_flags
commit
|
commitdiff
|
tree
2007-04-07
Sven
Verdoolaege
triangulate_c
o
ne:
s
kip Delaunay triangula
t
io
n
by def
a
ult
commit
|
commitdiff
|
tree
2007-04-07
Sven Verdoolaege
evalue
_
con
v
ert:
pr
i
nt lattice when pri
n
tin
g
a
s l
i
st
.
.
.
commit
|
commitdiff
|
tree
2007-04-07
S
v
e
n
Verdoolaege
evalue_convert: add verbose argument and retu
r
n
1 i
f
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verd
o
o
la
e
ge
Poly
h
e
d
ron_Flate: in
t
ersect inflated
p
o
lytope with
.
.
.
commit
|
commitdiff
|
tree
2007-04-06
Sven Verdoolaege
doc: bib: fix up name in
t
itle
o
f Algorithmica pa
p
er
commit
|
commitdiff
|
tree
2007-04-05
Sven Verdoolaege
a
d
d m
i
ssing volume
.
h
f
ile
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoolae
g
e
volume
.
c: de
l
a
y
computation of
p
oint whe
r
e volume is
.
.
.
commit
|
commitdiff
|
tree
2007-04-04
Sven Verdoola
e
ge
Param_Polyhedron
_
Volume: set
polyno
m
ia
l
_
approxi
m
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ver
d
oolaege
vo
l
ume
.
c
: a
l
low computation of l
o
wer and uppe
r
bound
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Ve
r
doolaege
scale: e
x
po
r
t
P
olyhedro
n
_F
l
ate
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoo
l
a
ege
barvinok_enu
m
er
a
te
:
optional
l
y compute "volume" polynomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-04-03
Sven Verdoolae
g
e
pol
y
tope
_
vo
l
ume:
compute volume o
f
parametric
p
o
lytope
commit
|
commitdiff
|
tree
next