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 0.24
2007-06-30
Sven Verdoolaege
barvinok 0
.
2
4
commit
|
commitdiff
|
tree
2007-06-30
S
v
e
n Verdoolaege
t
estlib
.
cc: work around inc
o
mplete na
m
espace suppor
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoo
l
ae
g
e
sc
a
le
.
c: enum
e
rate_n
a
rrow_flate
d
: don't
s
implify constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sve
n
Verdoo
l
a
ege
declare var
i
a
bles
a
t
s
tart of code block
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
doc: up
d
a
te
d
ocumentation
of op
t
ions and so
m
e functions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
rdoola
e
g
e
Po
l
yhe
d
ron_Sample: factor po
l
yhedron
i
f
p
os
s
ible
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdool
a
ege
Polyhedron_Sample: compu
t
e vertices
o
f 1D polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Po
l
yh
e
d
r
on_Sample: remove all equalities from polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
a
d
d possi
b
ility
to use GL
P
K as LP
s
o
l
v
er
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
Verdoolaege
Polyhe
d
ron
_
Sample: postpone removal of rays
unti
l
w
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
P
o
lyhed
r
on_Sample: use lp solver
fo
r
finding
r
ange
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolae
g
e
lex
m
in: move c
h
o
i
ce of l
p
solver
to us
e
outside basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
polysign
.
h: use correct
name of PL_polyhedron_affi
n
e_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erd
o
o
laege
barv
i
n
o
k_enumerate:
p
lug
memory
lea
k
in Bern
o
ulli appro
x
imati
o
n
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
barvinok_enume
r
at
e
_
e_r:
d
o
n't assume AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolae
g
e
evalue_f
r
a
c
2p
o
lyn
o
m
ial:
r
e
check evalue after evalue_split_
d
o
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdo
o
laege
util
.
c: Li
n
e_Length:
don't get confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaeg
e
Makefile
.
am: stop aft
e
r first f
a
i
led test
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
bernst
e
in: carry throu
g
h v
a
r
iabl
e
r
e
naming to d
e
b
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verd
o
o
l
ae
g
e
bernstein: don't assum
e
in
p
ut polynom
i
a
l
has been
expanded
commit
|
commitdiff
|
tree
2007-06-27
Sven Ver
d
oo
l
aege
evalue_read
.
c: corre
c
t constness
o
f
na
m
e
in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
evalue_read: accept
constant m
u
ltiple of variable wit
h
out
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sv
e
n
Verdoolae
g
e
ev
a
lue
.
c: evalue_sum: b
e
tter handling of
nega
t
iv
e
val
u
es
commit
|
commitdiff
|
tree
2007-06-15
S
ve
n
Verd
o
olaege
e
v
alue
.
c: re
o
rder
_
terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
ev
a
lue
:
declare first argument of emul const
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erd
o
olaege
evalu
e
.
c:
e
mul: don
'
t
u
s
e
explicit_complemen
t
on argum
e
nts
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoolaege
add a tes
t
for evalue_split_
p
eriods
commit
|
commitdiff
|
tree
2007-06-13
Harald
.
Devos@elis
.
.
.
find_fractional_with
_
m
ax_periods: initializ
e
loc
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdool
a
ege
evalue
.
c: evalue
_
s
p
lit_periods: make
sure selected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
S
v
en V
e
r
d
oolaege
ev
a
lue
.
c: polynomial_projection
:
us
e
eva
l
ue_extr
a
c
t_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven
V
e
r
d
o
olaege
ad
d
a test
f
or
barvinok_maximize an
d
ba
r
vinok_s
u
mmate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdool
a
ege
barvinok_summa
t
e: support
v
e
rificat
i
on of re
s
ults
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdo
o
laege
e
value
.
c: evalue_sum
:
s
p
lit into orthants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
bar
v
i
n
ok_union: use argp
for
argument
p
arsing
commit
|
commitdiff
|
tree
2007-06-09
S
ven Verd
o
olaege
b
a
rvinok_enume
r
ate
_
u
nion_ser
i
es_with_op
t
i
o
ns: f
i
x typo
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
V
e
rdoolaege
basis_
r
edu
c
tion_cdd
.
cc: get corre
c
t
d
ual
s
olution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
b
a
sis_reduc
t
ion_glpk
.
c: corr
e
ctly
s
et type
o
f rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
S
ven
Verdoolaege
b
a
sis_reduction_
g
lpk
.
c: c
h
eck for sanity o
f
solution
commit
|
commitdiff
|
tree
2007-06-06
S
v
en V
e
rdoolaege
options: mention default an
d
avai
l
able
s
olvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdool
a
ege
polyhedron_sample: tak
e
options
commit
|
commitdiff
|
tree
2007-06-06
S
v
en
Verdool
a
ege
d
o
c
:
more abou
t
power sums
commit
|
commitdiff
|
tree
2007-06-04
S
ven Verdoolaeg
e
doc: ty
p
o
commit
|
commitdiff
|
tree
2007-05-30
Sven V
e
rdoo
l
aege
doc: re
p
e
a
t
M
atthias' stoppe
d
Bar
v
in
o
k experi
m
ents
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verdoola
e
g
e
add barvinok_summate t
o
s
um a quasi-pol
y
nomia
l
over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
erdoolaege
eva
l
ue_read: fix for top
-
level fract
i
ona
l
part
commit
|
commitdiff
|
tree
2007-05-14
Sven V
e
rdoolaege
bernou
l
li
.
c
: Bernoulli_sum
_
evalue: reduce r
e
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven
V
e
r
doolaege
be
r
no
u
lli
.
c: perform nested
s
ums
a
pp
r
o
x
imation
d
ep
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolae
g
e
add po
l
ynomial appro
x
imation based on
n
ested sums
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdoolaege
util
.
c: extract for_each
_
lower_upper_bound from ParamLin
e
_
L
ength
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
decomposer: use NTL to invert
matrix rather th
a
n
co
n
ver
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdoolaege
lattice_poin
t
.
cc: allow r
a
ys and vert
e
x to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
coun
t
e
r
:
o
p
t
imize
s
umming over points i
n
fun
d
apiped
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aeg
e
lattice_poi
n
t
.
cc: avoid
c
o
nversion b
e
tween NTL
a
nd
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven
V
erdoolaege
conversion
.
cc: re
m
ove ray
s
2matrix
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
e
value
.
c: eval
u
e_polyn
o
mial
extracted
f
rom bar
v
inok
.
c
c
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdool
a
eg
e
e
v
alu
e
.
c:
ad
d
evalue_ne
g
ate
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
doc: a note o
n
the connection
between Todd
polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
doc: points in fundapiped: fi
x
typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
b
arv
i
nok
.
cc: simplify dpoly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verd
o
olaege
Re
m
o
v
e "norm
a
lization" or
p
o
w
e
r
s in denominator
on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sv
e
n Verdoolaege
decomposer
.
cc
:
pass opt
i
o
ns to triangula
t
e_cone
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
b
a
r
v
i
nok_coun
t
: opti
o
nally use exponential
s
ubstitution
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Verdoo
l
aege
counter
.
cc:
extracted
f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaege
dpoly::
d
i
v: avoid computation w
i
th rational numb
e
rs
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven Verd
o
olaege
d
poly:
u
se Value instead
o
f
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdool
a
ege
d
oc:
f
ix typo
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoolae
g
e
a
d
d te
s
t for lattice point com
p
utation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
eva
l
u
e_r
e
a
d
.
c: add
evalue_rea
d
_
fro
m
_str for readi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n
Verdoolaege
evalue_read_fr
o
m_file: don't modify var_li
s
t ar
g
u
m
e
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
e
v
alue_read: read
m
ore
g
e
n
eral eva
l
ue
s
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verd
o
ola
e
ge
e
v
alue
_
convert
.
c
c
: add miss
i
n
g
inc
l
ude
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
conve
r
sion
.
h
:
g
e
ne
r
al
i
ze r
a
ys2matr
i
x2
t
o
z
z2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoola
e
ge
lattice_point
.
h: ma
k
e
self-containe
d
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
evalue_re
a
d: extr
a
ct
fr
o
m maximize
.
c
c
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoola
e
ge
enume
r
ator: support primal
(
half-op
e
n) decompositions
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
g
e
e
n
u
m
erator: handle (dual) st
o
pped Barvinok decompositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdo
o
laege
lattic
e
_point
.
cc:
r
e
move
u
nused PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
lattice_point
.
cc:
extract coset generation
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
cc
:
re
n
ame ce
i
l_mod
t
o
fractional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
lattic
e
_point
.
cc: use s
o
me
h
elper functions
t
o simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Ve
r
doolaege
lattice_
p
oint
.
c
c
: implem
e
nt lookup-table version in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doola
e
ge
mov
e
more lattice point computa
t
i
ons to lattice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
b
a
rvi
n
o
k
.
cc: lattice_point: remov
e
a spec
i
al case
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoo
l
aege
doc:
integer
points in f
u
ndamental para
l
lelepiped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
u
til
.
c: ex
p
ort Matrix_Transposition
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdo
o
laege
ut
i
l
.
c: expo
r
t V
e
ct
o
r_Oppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
scale
.
c: move
P
ar
a
m_Vertex_C
o
mmon_De
n
o
minator to par
a
m
_util
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdoola
e
ge
ev
a
lu
e
.
c: ad
d
evalue_add
_
constan
t
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoo
l
a
e
ge
evalue
.
c: affine2evalu
e
: skip ze
r
o coeff
i
cien
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
laege
e
value
.
c
:
e
m
ul_poly: efficiently handle case of multi
p
lica
t
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaege
b
u
m
p vers
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
S
v
e
n
Verd
o
olaege
do
c
: up
d
ate
options and s
o
m
e
function
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
rdoolae
g
e
do
c
:
document volume
co
m
putation
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: more
repor
t
s expl
a
ining p
a
r
ts of ba
r
vin
o
k
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bernstein:
bump vers
i
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoo
l
aege
doc: transform
a
tion
of parame
t
e
r domain
to have
r
ev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barvinok
.
cc: barvinok_co
u
nt_f: avoid
w
arnin
g
on recurs
i
ve
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
util
.
c
: unimod
u
la
r
_c
o
mp
l
e
te: handle co
m
pletion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verd
o
olaege
barvinok_enumerate
.
cc: handle all lines in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
Verdoolaege
barvinok_en
u
me
r
ate
.
cc: series: plug memo
r
y leak
commit
|
commitdiff
|
tree
next