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
doc: another document refering to the library
2007-05-14
Sven Ve
r
doolaeg
e
bernoulli
.
c
:
Ber
n
oulli_sum_evalue: redu
c
e re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sv
e
n
Verdo
o
laege
bernoul
l
i
.
c
:
p
e
r
form nested sums appr
o
ximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
add polyn
o
mial approximation based on nested sums
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdool
a
ege
util
.
c: extract for_each_lower_upper
_
bound from ParamLine_Length
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
decomposer: u
s
e N
T
L
to invert matr
i
x r
a
ther
t
han
conv
e
ring
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdo
o
laege
latt
i
c
e
_poin
t
.
cc: all
o
w r
a
ys and
v
ertex
t
o have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
count
e
r: optimize summing
over points in
fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
lattice_point
.
cc: avoid conversio
n
between NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Ver
d
oolaege
convers
i
on
.
cc: remove rays2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
o
laege
evalue
.
c: evalue_poly
n
omial extracted
from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
evalue
.
c: add evalue_neg
a
te
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
d
oc: a note o
n
the co
n
ne
c
ti
o
n between Todd polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
ege
doc:
points in fundapiped:
f
ix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
rdool
a
ege
barvino
k
.
c
c: simplif
y
dpoly_n con
s
truc
t
or
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolae
g
e
R
emo
v
e "normali
z
ation" or powers in denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdo
o
laege
dec
o
mp
o
ser
.
cc: pass
o
ptions to triangulate_cone
commit
|
commitdiff
|
tree
2007-05-08
S
ven
Ve
r
doo
l
aege
barvi
n
ok_count: optional
l
y us
e
exp
o
nen
t
ial substitu
t
i
o
n
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoo
l
aeg
e
counter
.
cc
:
extracted fr
o
m
b
arv
i
nok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n
Verdoolaege
d
poly::div: avoi
d
c
o
mputation with rational
n
u
m
bers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly: use V
a
lue ins
t
ead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
d
oc:
fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
add test for lattice point comp
u
tat
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read
.
c: add eval
u
e_read_from_str for
reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
ev
a
l
u
e_read_fro
m
_file: don't modify var_list arg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
ev
a
lue_read: read more
general eval
u
es
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
e
v
a
l
ue_c
o
nvert
.
cc: add missing includ
e
commit
|
commitdiff
|
tree
2007-05-02
S
ven
V
e
rdoola
e
ge
conversion
.
h: gener
a
l
i
ze rays2ma
t
rix2 t
o
zz2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
lattice
_
point
.
h: make self-contai
n
ed
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
evalue_read: extract from ma
x
imize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
enumerator:
supp
o
rt primal (hal
f
-open) decomposition
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
enum
e
rator:
handle
(
dua
l
) stop
p
ed Barvinok decomposition
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaeg
e
l
a
ttice_poi
n
t
.
cc: remo
v
e unused PD
a
rgu
m
ent
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
erdoolaege
lattice
_
point
.
c
c: extra
c
t coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_point
.
cc: rename
ce
i
l_
m
od to
f
ractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
l
att
i
ce_point
.
cc
:
u
se so
m
e helper functions t
o
s
implif
y
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
lattice_poin
t
.
cc: im
p
lem
e
nt lookup-ta
b
le
v
ersi
o
n in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdool
a
ege
m
ove more la
t
t
i
ce po
i
nt computation
s
t
o
l
a
tti
c
e_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
S
ven
Verdoo
l
aege
barvinok
.
cc: lattice_point: r
e
move a
s
pecial case
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
d
oc: integer po
i
nt
s
i
n
f
undamen
t
a
l parall
e
lepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
util
.
c: exp
o
r
t
Ma
t
rix_Tran
s
p
osition
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
util
.
c: expor
t
Vecto
r
_Oppose
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolae
g
e
scale
.
c: move Pa
r
am_Vertex
_
Comm
o
n_Denom
i
n
a
tor to
param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
ool
a
ege
e
v
alue
.
c
: a
d
d evalu
e
_add_co
n
stant
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
evalue
.
c: affine2
e
v
a
lue
:
s
k
ip zer
o
co
e
fficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: emul_
p
oly: eff
i
c
i
ently handle case of mult
i
pli
c
ati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: u
p
date optio
n
s a
n
d some
f
unctio
n
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Verdoolaege
d
o
c
:
document volume computation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more reports explaini
n
g parts o
f
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
be
r
n
s
te
i
n: b
u
mp v
e
rsion
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Ver
d
oolaege
d
oc: transfor
m
at
i
on of
p
arameter domain
t
o have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
barvinok
.
cc: barvinok
_
cou
n
t
_f
:
avoid
w
arning on r
e
cursiv
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n Ve
r
doo
l
aeg
e
ut
i
l
.
c: un
i
m
o
d
u
lar_c
o
mplete: handle
c
o
m
p
l
etion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barvino
k
_enumerate
.
cc: handle all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Ver
d
o
o
l
aege
barvinok_
e
numerate
.
cc
:
series: plug memory l
e
ak
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
e
rd
o
o
l
a
e
g
e
doc
:
docume
n
t
left_in
v
erse
commit
|
commitdiff
|
tree
2007-04-26
S
v
en Verdoo
l
aege
doc: remove ref
e
rence to old bar
v
inok
_
series a
p
plication
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
Verdoolaege
doc: update e
v
alue_
b
erns
t
e
i
n_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoo
l
ae
g
e
bar
v
inok/options
.
h:
put stats f
i
rst in barvin
o
k_options
commit
|
commitdiff
|
tree
2007-04-25
S
v
en Verdoo
l
ae
g
e
barvinok_maxim
i
ze: re
a
d_evalue: support r
e
lations
commit
|
commitdiff
|
tree
2007-04-25
Sv
e
n Verdoola
e
ge
bernstein
.
cc: evalue_berns
t
ein
_
c
o
e
ff
i
ci
e
nts: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdoolaeg
e
bar
v
inok_
m
axim
i
ze: evalue_r
e
ad: allow identifiers
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok
_
max
i
mize: m
o
ve --(be
r
n
s
tei
n
-)rec
u
rse o
p
tion
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
e
r
doolaege
lib/argp:
f
ix log
i
c in hol_cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdo
o
laege
barvinok_max
i
mize: allow specifi
c
ation of t
h
e vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaeg
e
barvinok_maximize: barf on unexpected first
t
oken
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
g
e
doc: more docume
n
ts ref
e
r
ing
t
o
the library
commit
|
commitdiff
|
tree
2007-04-23
S
ven V
e
rd
o
olaege
evalue_convert
.
cc: evalue_coset: s
u
pport relatio
n
s
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoolaege
evalue
.
c: pri
n
t_evalue: a
l
ways pr
i
nt newl
i
n
e
a
t
the end
commit
|
commitdiff
|
tree
2007-04-23
S
ven Verdoola
e
ge
doc: multivariate quasi-polynomia
l
s
as
l
ists of
p
olynomia
l
s
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
evalue_
c
onv
e
rt
.
c
c
:
i
n
c
lude "
c
on
f
ig
.
h"
to pick u
p
U
S
E_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc: i
n
de
x
a
d
di
t
ions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ve
r
doo
l
aege
doc: tr
i
angul
a
tion in
p
r
i
mal space + so
m
e
typo
fixes
commit
|
commitdiff
|
tree
2007-04-23
S
ve
n
V
e
r
doolaege
doc
:
document inner_point
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
doc: re
f
er to
K
oeppe article
for
s
impler m
o
tivati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
doc: mo
r
e
publications (implicitly)
r
e
fer
i
ng to
the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoo
l
a
ege
confi
g
ure
.
in:
a
dd
$(EXEEXT)
t
o optional programs fo
r
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sv
e
n V
e
rdoolaege
Makef
i
le
.
am
:
make sure distr
i
bution con
t
ai
n
s requ
i
red
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
V
erdoolaege
barvinok_enumerat
e
: don't
print (non-existing) evalue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolae
g
e
e
d
omain
.
cc: avoid u
s
e of fdstrea
m
commit
|
commitdiff
|
tree
2007-04-19
Sven V
e
rdoolaege
configure
.
in
:
check for poly
l
ib
/
polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
Sven
Verdoo
l
aeg
e
de
c
la
r
e
variable at start of code block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
Ma
k
efile
.
am: rebuild lib
r
aries i
n
subdirs if miss
i
ng
commit
|
commitdiff
|
tree
2007-04-18
Sven Verdoolaege
barvinok_enumerate:
r
e
check for equalities after "variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-15
Sven
V
erd
o
olaege
d
o
c: a voting theo
r
y rep
o
rt that refers to
t
he library
commit
|
commitdiff
|
tree
2007-04-15
S
ven Verd
o
olaege
doc: u
p
d
ate primal Ba
r
vinok reference
commit
|
commitdiff
|
tree
2007-04-15
Sven Verdoolae
g
e
d
o
c:
add jo
u
rnal version of improved deri
v
ation pap
e
r
commit
|
commitdiff
|
tree
2007-04-13
Sven
Verd
o
o
l
aeg
e
volume
.
c
:
kee
p
track of number of simplices in
v
olume
.
.
.
commit
|
commitdiff
|
tree
2007-04-13
Sven Verdoolaege
t
e
st_app
r
ox:
t
est volume computat
i
on variations
commit
|
commitdiff
|
tree
2007-04-13
Sve
n
V
e
rdool
a
ege
v
o
lu
m
e
.
c: volume_triangulate: use
vert
e
x in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
v
o
lu
m
e
.
c:
f
a
ce_vertices:
use Param_Inner_Pr
o
du
c
t
commit
|
commitdiff
|
tree
2007-04-12
Sven
Verd
o
olaege
r
e
duce_domain: exploit that
n
o caller uses Polyh
e
dron
2
P
aram_
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolae
g
e
lexmin: stop
u
sing Poly
h
edr
o
n2
P
ar
a
m_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
v
e
n Ve
r
doola
e
ge
barv
i
nok
.
cc: stop us
i
ng Polyhedron2Param_SimplifiedDomain
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
Require a version
o
f PolyL
i
b that c
o
mputes
c
orrect
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
volume
.
c: no
n
_em
p
ty_point: simply use
i
n
t
e
rnal p
o
int
.
.
.
commit
|
commitdiff
|
tree
2007-04-12
S
ven Verdoolaege
add an ehrhart example
wit
h
interesting c
h
ambers
commit
|
commitdiff
|
tree
2007-04-12
Sv
e
n Ver
d
oolaege
tes
t
_approx
:
test chamber ba
s
ed
s
ca
l
ing
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdool
a
ege
sca
l
e
.
c: optionally
p
erform sc
a
ling on ind
i
vid
u
al
chambers
commit
|
commitdiff
|
tree
2007-04-12
Sven Verdoolaege
b
a
rvino
k
_
e
numerate: use "va
r
iable compression"
t
o
r
emo
v
e
.
.
.
commit
|
commitdiff
|
tree
next