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
barvinok_summate: support verification of results
2007-06-10
Sven Verdool
a
ege
b
arvinok_su
m
mate
:
support
verification of results
commit
|
commitdiff
|
tree
2007-06-10
Sven Verd
o
olaege
evalue
.
c: eval
u
e_sum: split int
o
o
rthants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaeg
e
barvinok_un
i
on:
u
se argp for
argument parsing
commit
|
commitdiff
|
tree
2007-06-09
S
v
e
n Verd
o
olaeg
e
barvin
o
k_enu
m
er
a
te_union_series_wit
h
_options: fix typo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdo
o
laege
bas
i
s_reduction_cdd
.
cc: get correct d
u
al solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_re
d
uct
i
o
n_gl
p
k
.
c: correctl
y
set
type
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
v
e
n
Verdoolaege
basis_reduc
t
ion_glpk
.
c:
c
he
c
k for
sanity of s
o
l
ution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
options: mention default and
a
vailable solver
s
for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
polyhedron_sa
m
p
l
e:
t
ake options
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
do
c
: more about po
w
er
sums
commit
|
commitdiff
|
tree
2007-06-04
Sv
e
n
Verdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Verdoolaeg
e
doc:
r
ep
e
at Matthias' stopped Barvinok experim
e
nts
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven
Verdool
a
e
g
e
add barvinok_summate t
o
sum a quasi-polyno
m
ial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
e
r
d
oolaege
evalue_read: fix for top-le
v
el f
r
actional part
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: Berno
u
lli_sum_evalue: reduce resu
l
ting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
S
v
e
n Verdoolae
g
e
bernoulli
.
c: perfo
r
m n
e
sted sum
s
a
p
pr
o
ximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verdoola
e
ge
add pol
y
n
omial approximation b
a
se
d
on
n
est
e
d sums
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
util
.
c: ext
r
act for
_
each_lowe
r
_upper_bound from ParamL
i
n
e
_Length
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ver
d
oolae
g
e
decomp
o
ser:
use N
T
L to invert matr
i
x rather than c
o
nver
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
lattice_point
.
cc: allow
r
ays and ve
r
tex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolae
g
e
counte
r
: o
p
timize summi
n
g ov
e
r points in fundapipe
d
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verdool
a
eg
e
lattice_point
.
c
c
: avoid conver
s
ion b
e
t
we
e
n NT
L
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
convers
i
on
.
cc: remove ra
y
s2
m
a
tr
i
x
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
er
d
oolaege
evalue
.
c: eva
l
ue_pol
y
nomial
extracted fr
o
m b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
evalue
.
c: add e
v
alue_negate
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
e
rd
o
olaeg
e
doc: a no
t
e on the conn
e
ction between
Todd
polynomials
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoo
l
ae
g
e
doc: poin
t
s in fundapi
p
ed
:
fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdool
a
ege
ba
r
vin
o
k
.
cc: simpl
i
f
y
dpoly
_
n co
n
structor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
Remove
"normaliza
t
io
n
" or pow
e
rs in d
e
n
o
m
in
a
tor
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven V
e
rdoo
l
aege
decomposer
.
cc: pass option
s
to
t
riangul
a
t
e_cone
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdool
a
ege
b
arvi
n
ok_count
:
optionally
u
se exponential
s
u
b
s
titu
t
io
n
commit
|
commitdiff
|
tree
2007-05-08
S
v
en Verdoo
l
aege
counter
.
cc: ext
r
act
e
d from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolae
g
e
dpol
y
::div: a
v
oid comp
u
tat
i
on with
rationa
l
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
v
en
V
e
rdoolae
g
e
dpoly: use Value instea
d
of ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdo
o
l
aeg
e
d
o
c
:
fix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
a
d
d test fo
r
l
a
ttice point computation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
evalue_read
.
c
:
add
evalue_read_from_str for
reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
e
v
al
u
e_re
a
d
_from_fil
e
:
don't modify var_list arg
u
m
e
nt
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue_read: read
m
ore g
e
neral evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oola
e
ge
evalue_co
n
vert
.
cc: ad
d
mis
s
i
n
g include
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
conversion
.
h: generali
z
e
rays2m
a
tr
i
x2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_po
i
n
t
.
h: make sel
f
-contained
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaeg
e
eval
u
e_r
e
a
d
: extract
f
rom maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdo
o
l
a
ege
enumerator: supp
o
rt primal (h
a
lf-open) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaeg
e
en
u
mera
t
or
:
handle (du
a
l) stopped
Barvinok decom
p
os
i
tio
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doola
e
ge
latt
i
ce_
p
o
int
.
cc:
r
e
move unused
PD argu
m
e
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
lattice_point
.
cc
:
extract coset
generation
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ve
r
doolaege
latti
c
e_point
.
cc: renam
e
c
eil_mod to fractio
n
al_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
lattice_po
i
n
t
.
cc
:
use
s
ome helper functions to
s
i
m
plify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
la
t
tic
e
_
poi
n
t
.
cc: imp
l
e
ment
loo
k
up-table vers
i
on in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ver
d
oolae
g
e
move mo
r
e lattice point computation
s
to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolae
g
e
barvinok
.
cc: lattice
_
po
i
nt: r
e
move a s
p
e
c
ial case
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
doc: integer
point
s
in
f
undamental parallelep
i
ped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
g
e
util
.
c: e
x
port
Matrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
util
.
c: ex
p
o
r
t
Vector_
O
ppose
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolae
g
e
scale
.
c: move Par
a
m_Vertex_Comm
o
n_Denominator t
o
param_
u
til
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoola
e
ge
e
value
.
c: add ev
a
lue_add
_
con
s
tant
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
e
rd
o
o
l
aege
ev
a
lue
.
c: affine2eva
l
ue: s
k
ip zero
coefficients
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
evalue
.
c: emul_poly: effi
c
ien
t
l
y hand
l
e
c
ase of multip
l
ic
a
ti
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven Verdoo
l
aeg
e
bump versi
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
d
o
c:
u
pdate
o
ptio
n
s a
n
d some function
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc
:
document volume compu
t
ation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: more reports expla
i
ning par
t
s of barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n V
e
rdool
a
ege
b
e
rnst
e
in: bump ver
s
ion
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolaege
doc: t
r
ans
f
or
m
a
t
i
o
n
of
p
aram
e
ter
d
omain to
have
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
S
ven
Verdoolae
g
e
barvinok
.
cc: barvinok_co
u
nt_f:
a
vo
i
d
w
arn
i
ng on r
e
cursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Ver
d
oolae
g
e
util
.
c:
u
n
i
mod
u
lar_compl
e
te
:
han
d
le c
o
mplet
i
on o
f
more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
barv
i
nok_enumerate
.
cc: handle all lines in --s
e
ri
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
bar
v
inok
_
enume
r
ate
.
cc:
s
er
i
e
s
: plug memory le
a
k
commit
|
commitdiff
|
tree
2007-04-26
S
ven
V
erdoolaege
doc: d
o
cument l
e
ft_inverse
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolaege
doc: rem
o
ve ref
e
r
ence
to o
l
d
b
arvi
n
ok_ser
i
e
s a
p
p
li
c
a
tion
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc: update
evalue
_
bernstein_coefficient
s
commit
|
commitdiff
|
tree
2007-04-26
S
v
e
n
V
er
d
oolaege
barvinok/options
.
h: pu
t
st
a
ts
f
irst in barvinok_o
p
t
i
ons
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoola
e
ge
barvinok_maximize: rea
d
_eval
u
e: support re
l
a
t
ions
commit
|
commitdiff
|
tree
2007-04-25
S
v
en
V
e
rdoolaege
b
e
rns
t
ein
.
cc: evalue_bernstein_coefficients: handle
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sve
n
Ver
d
oolaege
barv
i
nok_maximi
z
e
:
eval
u
e_read
:
a
l
l
ow
identifiers t
o
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven V
e
rdoola
e
ge
barvinok_maxi
m
ize: move --(bernstein-)recurse
option
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Ve
r
d
oo
l
aege
li
b
/argp: fix
l
ogic
in ho
l
_
cluster_cmp
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvi
n
ok_maximize
:
a
l
l
o
w spec
i
fication of the
variable
s
.
.
.
commit
|
commitdiff
|
tree
2007-04-25
Sven Verdoolaege
barvinok_maximize
:
barf
on
un
e
xpec
t
ed
fi
r
st toke
n
commit
|
commitdiff
|
tree
2007-04-23
Sven Verd
o
olaege
doc: more documents refering to the libr
a
ry
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
e
v
a
lue_co
n
v
e
r
t
.
c
c: evalu
e
_coset: suppor
t
r
e
lations
commit
|
commitdiff
|
tree
2007-04-23
Sven Verdoolaege
e
v
alue
.
c: pri
n
t
_
evalue: a
l
ways p
r
int newline at
t
he end
commit
|
commitdiff
|
tree
2007-04-23
S
v
en Verdoolae
g
e
doc:
multivaria
t
e
quasi-polynomials as
l
ists o
f
p
o
lynomials
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verdoolaege
evalue_convert
.
c
c: include "config
.
h
" to pick
u
p
USE_FDSTREA
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n Verdoo
l
aege
d
o
c:
index
a
dditions
commit
|
commitdiff
|
tree
2007-04-23
Sven Ver
d
oo
l
ae
g
e
doc: tr
i
angulation
in prima
l
sp
a
ce
+
some typo fi
x
es
commit
|
commitdiff
|
tree
2007-04-23
Sven V
e
rdoolaege
doc
:
docume
n
t inne
r
_
p
oint
commit
|
commitdiff
|
tree
2007-04-23
Sv
e
n
Verdoolaege
doc: refer to Koeppe article for sim
p
l
er m
o
tivation
.
.
.
commit
|
commitdiff
|
tree
2007-04-23
Sven
Verd
o
olaege
doc:
more p
u
blications (i
m
plicitly
)
refering to th
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-21
Sven Verdoolaege
c
o
n
figure
.
i
n
:
a
d
d $
(
EXEEXT) to
o
p
tional pr
o
gr
a
m
s for
.
.
.
commit
|
commitdiff
|
tree
2007-04-20
Sv
e
n Verdoolaege
Makefile
.
a
m
: make s
u
re di
s
tribut
i
o
n
contains required
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
Ve
r
doolaege
work
around
i
n
complete nam
e
space suppo
r
t in old compilers
commit
|
commitdiff
|
tree
2007-04-19
Sven Ve
r
doola
e
g
e
d
i
sabl
e
some features if fdstream doesn't compile
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
S
v
en Verdoo
l
a
e
ge
barvinok_enumerate
.
cc
:
a
v
oid use of
fdstr
e
am
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
barv
i
nok_enumera
t
e
:
don't
print (non-existing) eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2007-04-19
Sve
n
Verdoolaege
edomain
.
c
c
:
a
vo
i
d
use of fdstream
commit
|
commitdiff
|
tree
2007-04-19
Sven Ver
d
oolaege
con
f
igure
.
in: check for polylib/polylibgmp
.
h
commit
|
commitdiff
|
tree
2007-04-19
S
v
e
n
V
erdo
o
laeg
e
declare variabl
e
at
start of c
o
de block
.
commit
|
commitdiff
|
tree
2007-04-18
Sven V
e
rdoolaege
M
a
kefile
.
a
m
:
rebuil
d
libraries in
s
ubdirs if
m
issin
g
commit
|
commitdiff
|
tree
next