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
add barvinok_summate to sum a quasi-polynomial over a parametric polytope
2007-05-25
Sven Verdoolaege
add barvinok_sum
m
ate
to sum a quasi-po
l
ynomia
l
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdo
o
laeg
e
eva
l
ue_read: fix for top-l
e
vel fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdo
o
laege
bernoulli
.
c:
Bernoul
l
i_s
u
m_evalue:
r
e
duce resulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
ven
V
erdool
a
ege
bernoulli
.
c: perform nest
e
d sums approx
i
m
ation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Ve
r
doolaege
add polynomial approxim
a
tion based on nested
sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
uti
l
.
c: e
x
trac
t
for_ea
c
h_lo
w
e
r
_uppe
r
_bound from ParamLi
n
e
_
Len
g
th
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
r
doolaege
d
ecomp
o
ser:
u
se NTL to i
n
ve
r
t matrix
r
a
th
e
r than c
o
nv
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Verdo
o
laege
l
a
tti
c
e_po
i
n
t
.
c
c
:
allow
rays
a
nd ve
r
tex to have be
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n
V
erdoolaege
counter:
op
t
imize summing ov
e
r points in fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoo
l
aeg
e
l
attice_point
.
cc: a
v
oid
con
v
ersion bet
w
een
N
T
L and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
conve
r
sion
.
cc: remove rays2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c: e
v
alue_polynomial extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
evalue
.
c: add e
v
alue_ne
g
ate
commit
|
commitdiff
|
tree
2007-05-13
S
ven Ve
r
doolaege
doc: a note on the connection between Tod
d
polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
doc
:
point
s
in fund
a
piped:
fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolae
g
e
barvinok
.
cc: simplify dp
o
ly_n c
o
ns
t
r
u
ctor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaeg
e
Remov
e
"normal
i
zation" or
powers
i
n
d
eno
m
in
a
tor
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven Verdoola
e
g
e
decompose
r
.
cc: pass optio
n
s
to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaege
barv
i
nok_count: optionally use exponenti
a
l
sub
s
titutio
n
commit
|
commitdiff
|
tree
2007-05-08
Sven Ve
r
doolaege
counter
.
cc:
ext
r
acted from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
d
p
o
l
y::di
v
: a
v
oid co
m
putation
wit
h
rational numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
dp
o
ly: us
e
Value instead of
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
r
do
o
laege
add t
e
st for latti
c
e point c
o
mputation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
evalue_read
.
c
: add eval
u
e_r
e
a
d
_from
_
str for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolae
g
e
evalue_rea
d
_fr
o
m_file: don't mod
i
fy var_list
a
r
g
ument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
evalu
e
_read: read more
gen
e
r
al
e
values
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Ver
d
oolaege
evalu
e
_conv
e
rt
.
cc: ad
d
m
is
s
ing include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
conversion
.
h
: g
e
ner
a
l
i
ze ra
y
s
2matr
i
x2
t
o z
z
2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olaege
lattice_point
.
h: make self
-
c
o
n
t
ained
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
erdoolaege
eva
l
ue_read: extract from maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven Ve
r
dool
a
ege
enumerat
o
r:
s
u
pport pr
i
mal (half-open) d
e
com
p
ositio
n
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaeg
e
enumerator: handle (d
u
al)
stopped Barvinok
d
e
c
omposition
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
lattice_point
.
c
c
: remove unused PD arg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oo
l
aege
l
attic
e
_point
.
c
c: extract cos
e
t gener
a
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_
p
oint
.
cc
:
rena
m
e
c
eil_mod to
fractiona
l
_p
a
rt
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
e
rdoolaege
lattice_
p
oint
.
cc: us
e
some helper functions
t
o simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoo
l
aege
lattice_point
.
cc: im
p
le
m
ent l
o
okup-tabl
e
version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rdoolaege
m
o
ve more lattice point computations to l
a
ttice
_
point
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolae
g
e
b
arvinok
.
cc: lattice_po
i
nt: re
m
ove a special case
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
doc: integer
point
s
in fundamental parallel
e
piped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
util
.
c: export Mat
r
ix_
T
r
ansposition
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Ver
d
oolaege
ut
i
l
.
c: export Ve
c
tor_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
ola
e
ge
scale
.
c:
move Param_Vertex_Common_D
e
n
o
m
inator to para
m
_
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
V
e
r
doolaege
e
v
al
u
e
.
c:
add evalue_add_
c
o
n
s
t
ant
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdoolaege
evalue
.
c: affine2evalue
:
s
kip zero
coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
eva
l
ue
.
c: emul_poly: efficie
n
tly handle case of multiplicat
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
l
a
ege
doc: update o
p
ti
o
ns a
n
d som
e
function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
do
c
: do
c
u
m
e
nt v
o
lume computatio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolae
g
e
doc
:
more reports explai
n
ing parts
of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verdoolaege
bern
s
tein: bump ver
s
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n Verd
o
o
l
aege
doc: transformatio
n
of
p
a
rameter domain to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvinok
.
cc: barv
i
n
o
k
_count_
f
: avoid w
a
rning o
n
recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c:
unimodu
l
ar_
c
o
m
p
l
ete: handle
c
ompletion
of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoola
e
g
e
barvinok_enumerat
e
.
c
c
: handle all lin
e
s in -
-
series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvinok_enumerate
.
cc:
serie
s
: plug memory lea
k
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaeg
e
doc: document left_
i
nverse
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verdoolaege
doc: remove reference to old barvinok_series application
commit
|
commitdiff
|
tree
2007-04-26
Sven
Ve
r
doo
l
a
e
ge
doc: update ev
a
lue_bernste
i
n_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Verd
o
o
l
aege
barvinok/optio
n
s
.
h: put stat
s
first in
b
arv
i
nok_opt
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
er
d
oolaege
barvinok_max
i
mize: read_evalue:
support r
e
l
at
i
ons
commit
|
commitdiff
|
tree
2007-04-25
S
v
e
n
V
erdoolaege
be
r
nstein
.
cc: eva
l
ue_
b
ernstein_co
e
fficients: han
d
le
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
barvinok_maximize: e
v
alu
e
_read: a
l
low identifiers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
lae
g
e
barvinok_
m
aximize: move --(b
e
r
n
stein-)recurse option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
ven Ver
d
o
o
la
e
ge
lib/
a
rgp: fix
logi
c
in hol_cluster_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoolaege
b
arvinok_maximize:
all
o
w spe
c
ificatio
n
of the va
r
i
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
S
v
en
V
erdool
a
ege
barvinok_maximize:
barf on un
e
xpected first token
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoo
l
aege
doc: more d
o
cuments
refering to th
e
library
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
V
e
rdoolaege
evalue_convert
.
cc: evalue_coset:
support relations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue
.
c: print_evalue: always prin
t
newl
i
ne at the
en
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc: multiv
a
riate quasi-
p
olynom
i
als as lists of pol
y
nomials
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
V
erd
o
olaege
evalu
e
_convert
.
cc: include
"
con
f
ig
.
h" to p
i
ck up USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
d
o
olae
g
e
d
o
c: index additions
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: tr
i
angul
a
tion in primal spa
c
e + some typo fixes
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
doc: doc
u
ment
i
nner_p
o
i
n
t
commit
|
commitdiff
|
tree
2007-04-23
S
ven Ver
d
oolaege
doc: refer to Koeppe article for simp
l
er
m
otivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaeg
e
doc: more publications (implicitly) ref
e
ring to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
S
ve
n
Verdoolaege
confi
g
ure
.
in: add $(EXEEXT)
t
o
o
p
tional
p
r
o
grams for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Ver
d
oolaege
M
a
k
efile
.
am: ma
k
e sure
dist
r
ibut
i
on contains r
e
quired
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolaege
work around inc
o
mplete nam
e
spac
e
s
u
p
port
in o
l
d co
m
piler
s
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdo
o
laege
d
i
sable some features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
barv
i
no
k
_enumerate
.
cc: avoid
use
o
f
f
dst
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sven
V
e
r
doolaeg
e
barvino
k
_enumerate
:
don't print (non-e
x
isti
n
g) evalu
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doola
e
ge
edomai
n
.
cc: avoid use o
f
fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
config
u
r
e
.
in: check for polylib/poly
l
ibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven Verdoolae
g
e
declare v
a
r
iable at sta
r
t of c
o
de block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven
Verdoola
e
ge
Makef
i
le
.
am: rebuild
lib
r
ari
e
s
in sub
d
irs if
m
issing
commit
|
commitdiff
|
tree
2007-04-18
Sv
e
n Verdool
a
eg
e
barvin
o
k_
e
numerate
:
rech
e
ck
for equalities
a
f
ter "variable
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
S
v
en Verdoolaeg
e
doc: a votin
g
theory rep
o
rt t
h
at re
f
ers to th
e
library
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolaeg
e
doc
:
update
primal Barvinok refer
e
nce
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoo
l
a
e
ge
d
o
c: add journal vers
i
on
o
f im
p
ro
v
e
d
derivat
i
on paper
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
vo
l
ume
.
c:
k
eep trac
k
o
f
number of simplices i
n
v
o
lume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
V
erdo
o
l
a
ege
te
s
t_ap
p
r
ox: test
v
olume computati
o
n variations
commit
|
commitdiff
|
tree
2007-04-13
Sven Verd
o
olaege
volume
.
c: vo
l
u
m
e_tri
a
ngul
a
te:
use vertex inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven V
e
rdoolaege
volume
.
c
: face_ver
t
ices:
u
se Param_Inner_Product
commit
|
commitdiff
|
tree
2007-04-12
S
ven Ve
r
doolaege
Call set_p
r
ogram
_
name b
e
fore calling argp_par
s
e
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Verdoolaege
reduce_do
m
ain: exploit that no caller
u
ses
P
oly
h
edron2Pa
r
am_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
v
en Ver
d
o
o
la
e
ge
lex
m
in
:
stop
u
sing Polyhedr
o
n2Param_
S
implifi
e
dDo
m
ai
n
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolae
g
e
b
arvinok
.
cc: sto
p
using Polyhedron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
next