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
find_fractional_with_max_periods: initialize local variable f
2007-06-13
Harald
.
Devos
@
elis
.
.
.
f
i
n
d_fractiona
l
_wit
h
_max_peri
o
ds: initialize local
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: evalue_spl
i
t
_perio
d
s
:
make sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven V
e
rdo
o
la
e
g
e
eva
l
ue
.
c: poly
n
omial_
p
ro
j
ectio
n
: use ev
a
lue_e
x
t
ract_affin
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add
a
test for b
a
rvinok_m
a
ximize and barvinok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Ve
r
doolaege
barvinok_summ
a
te: sup
p
ort verificatio
n
of
r
esults
commit
|
commitdiff
|
tree
2007-06-10
S
ven Verdoo
l
aege
e
value
.
c: eva
l
ue_sum: split
i
nto or
t
hants + some ref
a
ctor
i
ng
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvinok_union: use argp
f
o
r ar
g
ument parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
barvinok_enumerate_un
i
on
_
serie
s
_with_opt
i
ons: fix typ
o
commit
|
commitdiff
|
tree
2007-06-07
S
v
en Verdo
o
la
e
ge
ba
s
is_reduc
t
ion_cdd
.
c
c
: get correct dual
s
olution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
en
Verdoolaege
b
asis_reduction_glpk
.
c: correctly set typ
e
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_glpk
.
c: check for sa
n
ity of solu
t
ion
commit
|
commitdiff
|
tree
2007-06-06
S
v
e
n Ver
d
oolaege
optio
n
s
:
mention
d
efa
u
lt
and
a
vailable so
l
v
ers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sv
e
n Verdoolaege
po
l
yhedr
o
n_sample
:
take options
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaege
doc: more abou
t
powe
r
sum
s
commit
|
commitdiff
|
tree
2007-06-04
S
ve
n
Verd
o
olaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
S
v
e
n Verdool
a
ege
d
oc: repeat Matthias' s
t
opped
B
arvino
k
experiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoolaege
ad
d
barvinok_summate to sum a qu
a
s
i
-p
o
l
y
nomi
a
l
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en V
e
rdo
o
l
aege
e
val
u
e
_read: fix
f
o
r
top-lev
e
l fractional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoull
i
.
c:
B
e
rnoul
l
i_sum_evalue: reduce res
u
lti
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
b
erno
u
lli
.
c: perfo
r
m n
e
sted sums a
p
pr
o
ximation de
p
th
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verd
o
olaege
add polynomial
a
pproximation
b
as
e
d
on nested sum
s
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
util
.
c:
e
xtract for_each_lower_upper_bou
n
d
from
P
aramLine_Length
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
d
ecomposer: use NT
L
to invert
matrix rather
than convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verd
o
olaege
l
a
ttice_
p
oint
.
cc: allow rays and vertex
to hav
e
been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoolaege
counter: optimi
z
e
s
u
m
ming ove
r
points in fund
a
piped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice_p
o
in
t
.
cc: av
o
id
c
onve
r
s
i
on betw
e
en
N
TL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ver
d
oolaege
conve
r
sion
.
c
c: remove rays
2
matri
x
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
e
v
alue
.
c: e
v
a
lu
e
_p
o
l
y
nomial ex
t
ra
c
ted from ba
r
vin
o
k
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verd
o
olaege
evalue
.
c: add eval
u
e_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaeg
e
doc: a n
o
te on
t
h
e
connection
b
etween T
o
d
d polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
doc: poi
n
ts in f
u
ndapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven
Verdoolaege
barvino
k
.
cc:
si
m
p
lify dpoly_
n
co
n
str
u
c
tor
commit
|
commitdiff
|
tree
2007-05-10
Sven V
e
rdoo
l
a
e
ge
Remove "normalization" or powers in
d
e
n
o
minator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven
V
erdoolaege
decomposer
.
cc: pas
s
o
p
tion
s
to triangulate_
c
one
commit
|
commitdiff
|
tree
2007-05-08
Sven Ver
d
o
olaege
b
a
rvinok_count: op
t
ionally use exponential
substituti
o
n
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
counter
.
cc:
ex
t
r
acted from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
d
p
oly::div: a
v
oid computati
o
n
w
ith rat
i
onal
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
dpoly: use V
a
lue instead of ZZ
commit
|
commitdiff
|
tree
2007-05-08
S
ven Verdoolaege
d
oc: fi
x
typ
o
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
add test
for latt
i
ce point com
p
utation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
evalue_read
.
c: add evalue_r
e
ad_from_s
t
r
for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
r
doolae
g
e
evalue
_
r
ead_from_f
i
le: don't modify var_lis
t
argumen
t
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolaege
evalue_read: rea
d
more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
evalu
e
_convert
.
cc:
a
dd missing inc
l
ude
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoola
e
ge
c
o
nve
r
si
o
n
.
h: g
e
ne
r
alize rays2ma
t
rix2 to
z
z
2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
l
attice_poin
t
.
h: make self-contained
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalu
e
_
read: extract from maximiz
e
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
enumer
a
tor: suppor
t
primal (half-open) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
numer
a
tor: handle (dual) stoppe
d
Barvinok
de
c
omposi
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoola
e
g
e
lattice_point
.
cc: re
m
ov
e
unused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erd
o
olaege
l
a
ttice_p
o
int
.
c
c: extract co
s
e
t
generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
lattice_
p
oin
t
.
cc: rena
m
e
c
ei
l
_mod to f
r
act
i
onal_pa
r
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
l
attice_point
.
cc:
u
se some
hel
p
er fun
c
tions to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
ool
a
ege
lattice
_
point
.
cc: implem
e
nt lookup-tab
l
e version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaeg
e
mov
e
more lattice point computa
t
ions to lattice_poi
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
bar
v
in
o
k
.
cc: la
t
ti
c
e_p
o
int: remove
a
sp
e
cial case
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolae
g
e
do
c
: integer points in fundamental paral
l
elepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
util
.
c:
export Matrix_Transpo
s
ition
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
util
.
c: e
x
p
o
rt Vector_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c:
m
o
ve Param_Vert
e
x_Comm
o
n
_
Denominato
r
to
param_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
eval
u
e
.
c:
add evalue_
a
dd_constant
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
e
v
alue
.
c
: affine2e
v
alue: skip zer
o
coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
ev
a
lue
.
c: emul_poly: e
f
ficie
n
t
l
y hand
l
e case of multip
l
icati
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bump
v
er
s
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
d
o
c
:
update opt
i
ons
a
nd some
f
unction
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
olaege
doc: document volume com
p
utation
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
V
e
rdoolaege
doc: more reports
explaining parts of barvinok
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoolaege
berns
t
ein: bump vers
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laege
doc: transformation
of paramete
r
doma
i
n to ha
v
e revl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven
Verd
o
o
l
ae
g
e
barvin
o
k
.
cc:
b
arvinok_count_f:
a
v
o
i
d
w
arning on recursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Verdoo
l
aege
util
.
c: un
i
modular_
c
omplete:
h
andle co
m
p
le
t
ion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n Ver
d
oolaege
ba
r
vino
k
_enumerate
.
cc: hand
l
e all lines in
-
-series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sv
e
n Ve
r
doolaege
b
arvin
o
k_en
u
mer
a
t
e
.
c
c:
serie
s
: plug memo
r
y
leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdool
a
e
g
e
doc: document
lef
t
_
inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: remove reference to o
l
d barvinok_series appl
i
cation
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
er
d
oolaege
d
o
c: update e
v
alue_b
e
rnstein_coefficients
commit
|
commitdiff
|
tree
2007-04-26
Sve
n
V
e
r
d
o
o
laeg
e
barv
i
nok/op
t
ion
s
.
h: put stats first in
bar
v
inok_o
p
t
ions
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_m
a
ximize
:
read_evalue: s
u
pport relations
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
bernstein
.
c
c: evalue_bernste
i
n_coeffi
c
ients:
h
andle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoolae
g
e
barvinok_
m
aximize: eva
l
ue_read: allow identif
i
ers to
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven
V
erdo
o
l
a
ege
barvinok_maximize: mo
v
e --
(
bernstein
-
)
recurse
option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ve
r
doolaege
lib/argp: fix logic in hol_cluster_c
m
p
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoo
l
aege
b
a
rvinok_ma
x
i
mize: allow
s
pecifica
t
ion o
f
the variables
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize
:
barf on
u
n
expected first token
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
doc: more documents refering to the library
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoo
l
aege
evalue_convert
.
cc: evalue_
c
oset: support relations
commit
|
commitdiff
|
tree
2007-04-23
Sve
n
Verdoolae
g
e
evalue
.
c: pr
i
nt_evalue: alwa
y
s print ne
w
line at the
e
n
d
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
d
oc
:
mult
i
variate quasi
-
polynomials as lists of poly
n
o
mials
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rd
o
olae
g
e
evalue_convert
.
cc
:
i
nclude "co
n
fi
g
.
h" to
p
ick up USE_FDSTRE
A
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdool
a
ege
do
c
: index ad
d
itions
commit
|
commitdiff
|
tree
2007-04-23
S
ven
Verdoolaege
doc: t
r
iangulation in primal s
p
ace
+ so
m
e
typo fi
x
es
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolae
g
e
d
o
c: document inne
r
_point
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoola
e
ge
doc
:
ref
e
r to Koeppe
a
rticle for sim
p
l
er mot
i
v
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoo
l
a
ege
doc: m
o
re
publica
t
ions (implicitly)
refering to the
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
conf
i
gure
.
in: add $(
E
XEEXT) to opti
o
nal programs for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sven Verdoolaege
Makefile
.
am: make sure
distribution c
o
n
tains
r
eq
u
ir
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
d
oolaeg
e
w
o
rk
a
round inc
o
mplete namespace
s
upp
o
r
t
in old compile
r
s
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
disable so
m
e featur
e
s
if fd
s
tream doesn
'
t c
o
mpile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoolaeg
e
barvinok_enum
e
r
ate
.
cc
:
avoid
u
s
e of f
d
s
t
r
eam
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
barvinok_enume
r
a
t
e: don't print (no
n
-exist
i
ng
)
eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
next