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
S
ven V
e
r
doolaege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sven Ver
d
oolaege
testlib
.
cc
:
work a
r
ou
n
d in
c
omp
l
e
te namespace sup
p
o
rt
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven V
e
rdoolaege
sc
a
le
.
c:
e
n
umera
t
e_narr
o
w_flated:
don't si
m
plif
y
constraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Ver
d
oolaege
d
eclare
v
ariables
a
t start of
c
ode block
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaege
doc: update d
o
cumentation of options and some fun
c
tions
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoola
e
ge
P
olyhe
d
ron_S
a
mple
:
factor
polyh
e
dron if poss
i
ble
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
dool
a
ege
Polyhedron_Sample: c
o
mpute vertices of 1D po
l
yhedra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
P
olyhedr
o
n_Sample: rem
o
ve all equalities from polyh
e
d
r
on
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
add
possibility to use GL
P
K as LP sol
v
er
commit
|
commitdiff
|
tree
2007-06-30
S
ven Ver
d
oola
e
ge
Polyhedron_Sample:
p
o
stpone remov
a
l
of rays unti
l
we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en Verdoolaege
P
o
lyhedron_S
a
mple: use
lp
s
ol
v
e
r
f
o
r findin
g
range
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
lex
m
in:
m
ove
choice of lp solve
r
to use outside ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
v
en
V
erdoolaeg
e
polysign
.
h: use cor
r
ec
t
name of PL_poly
h
ed
r
on_affin
e
_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven Verdoolaege
barv
i
n
o
k_enumerate
:
pl
u
g
memory
l
eak
i
n
B
e
rnoulli approximation
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n
Verd
o
olaege
barvinok_enum
e
rate_e_r
:
don't assume
AddConstraints
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
ev
a
lu
e
_
f
r
ac2polyn
o
mial: recheck evalue a
f
ter ev
a
lue_
s
plit_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
S
ven
V
erdoolaege
ut
i
l
.
c: Line_Len
g
th: don't g
e
t confused by positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verd
o
olaege
Makefile
.
am: stop after f
i
rst fail
e
d test
commit
|
commitdiff
|
tree
2007-06-27
Sven V
e
rdoo
l
aege
bernstein: ca
r
ry th
r
ough variable renamin
g
to
d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdo
o
lae
g
e
bernstein: d
o
n
'
t assume input
p
olynomia
l
has
b
een e
x
panded
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n
Verdoolaege
e
v
a
l
u
e_read
.
c: co
r
rect constness
o
f
name in p
a
r
a
meter_new
commit
|
commitdiff
|
tree
2007-06-27
S
v
e
n Verdoolaeg
e
eval
u
e_read: accept co
n
stant multiple of
v
ariable w
i
thout
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven Verdoola
e
ge
eval
u
e
.
c: evalue
_
sum: better handli
n
g of negative va
l
ues
commit
|
commitdiff
|
tree
2007-06-15
Sv
e
n Ver
d
oolaege
eval
u
e
.
c: reorder_terms: fix typo
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoo
l
aege
evalue: d
e
clare fi
r
st argumen
t
of
e
mul const
commit
|
commitdiff
|
tree
2007-06-14
Sven Ve
r
doolaege
evalue
.
c
:
e
m
ul: don't use e
x
plicit_comp
l
ement on argu
m
ent
s
commit
|
commitdiff
|
tree
2007-06-14
S
v
en Ve
r
doolaege
a
dd a
t
est
f
or evalue_split_perio
d
s
commit
|
commitdiff
|
tree
2007-06-12
Sven Ver
d
oolaege
evalue
.
c:
e
value_split_periods: make
s
ure
s
e
l
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdoolaege
evalue
.
c: polyno
m
ial_project
i
on: use
evalue_ex
t
ract_affine
commit
|
commitdiff
|
tree
2007-06-10
Sven Ver
d
oolaeg
e
add
a
t
e
s
t for barvinok_maximi
z
e and
b
ar
v
inok_summa
t
e
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoola
e
ge
barvinok
_
summa
t
e: support verifica
t
ion of
results
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdool
a
eg
e
e
value
.
c:
evalue_su
m
: spl
i
t into
orthan
t
s + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
S
v
e
n
Verdoolaege
bar
v
in
o
k_union: use argp for argum
e
nt parsin
g
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdoolaege
barv
i
nok
_
enumerate_un
i
on_serie
s
_with_options: fix
t
ypo
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
basis_reduction_cdd
.
cc: get corr
e
c
t
dual solution in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verd
o
olae
g
e
basis_r
e
duction
_
glpk
.
c:
c
orrectly set type of ro
w
s
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven
Verdo
o
laege
basis_reducti
o
n_glpk
.
c: check for sanity of s
o
lution
commit
|
commitdiff
|
tree
2007-06-06
Sven
Verdoolaege
o
p
t
ions: mention
d
e
fault and a
v
ailabl
e
s
o
l
v
ers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolae
g
e
polyhed
r
on_sample: take o
p
tions
commit
|
commitdiff
|
tree
2007-06-06
S
v
en V
e
r
d
oolaege
do
c
: more about power sums
commit
|
commitdiff
|
tree
2007-06-04
Sven Verdoo
l
aege
d
o
c
:
typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Ve
r
doo
l
aege
d
o
c: repeat Matthias' stoppe
d
Ba
r
vinok exp
e
r
i
ments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven
V
e
rdoolaege
add barvino
k
_su
m
mate
t
o sum a quasi-pol
y
nomial
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
v
en Verdoolaege
evalue_read: fix for top-level fractional
part
commit
|
commitdiff
|
tree
2007-05-14
Sven V
e
r
doolaege
bernoulli
.
c: Bernoulli_sum_eval
u
e
: r
e
d
u
ce
r
esulting
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven
V
erdool
a
ege
bernoulli
.
c: pe
r
form nest
e
d sums approximation depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
add p
o
l
ynomial
a
pproxima
t
ion b
a
se
d
on ne
s
ted sums
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
util
.
c: extract for_each_l
o
wer_upper_bo
u
n
d from ParamLine_Le
n
g
t
h
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoo
l
aege
d
ecomposer
:
use
NTL to i
n
v
ert matrix rather than converin
g
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdo
o
laege
lattice_point
.
cc: allow rays a
n
d vertex to have been
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sve
n
Verd
o
ol
a
ege
counter:
opt
i
mize summing over points
i
n
fundapiped
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erd
o
ol
a
ege
lattice_point
.
cc: avoid con
v
ersion betw
e
en NTL a
n
d
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven V
e
rdoolaege
c
o
nversion
.
cc:
re
m
o
v
e
r
a
y
s
2matri
x
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoola
e
ge
eval
u
e
.
c: evalue_polyno
m
ial extracted from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
S
v
e
n Verdoolaege
eval
u
e
.
c: add evalue_
n
egate
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdo
o
laeg
e
doc: a
note
on the con
n
e
c
tion b
e
twee
n
Tod
d
po
l
ynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
V
erdoolaege
doc: points in fundapiped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoolaege
barv
i
nok
.
c
c: simplify d
p
oly_n constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven
Verd
o
olaege
Remove
"
normalization" or pow
e
rs
in
de
n
om
i
nator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
Sven
Verdoolaege
decomposer
.
cc: pass options to tr
i
a
n
g
u
late_con
e
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoola
e
ge
b
a
rvinok_cou
n
t:
o
ptionally
u
s
e
e
x
p
o
ne
n
tial
s
u
bstitutio
n
commit
|
commitdiff
|
tree
2007-05-08
Sven
V
erdoolaege
coun
t
er
.
cc: extracted from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoola
e
ge
dpoly::div:
a
void computation with rational
numbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
Sven
Ve
r
doolae
g
e
d
poly:
u
se Value in
s
tead of
Z
Z
commit
|
commitdiff
|
tree
2007-05-08
Sve
n
Verd
o
ol
a
ege
d
o
c: fix ty
p
o
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
a
d
d tes
t
for lattice poi
n
t computation
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
V
erd
o
o
laege
e
v
alue_read
.
c: add eval
u
e
_read_
f
rom_str for r
e
ading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoolaege
evalue_read_from_file:
d
on't modify var_list arg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolae
g
e
evalu
e
_
r
ead:
rea
d
more g
e
nera
l
evalues
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaege
evalue_convert
.
cc: a
d
d missi
n
g inclu
d
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
co
n
version
.
h: generalize r
a
ys2m
a
tr
i
x2 to zz2matr
i
x
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoo
l
aege
l
a
tt
i
ce_
p
oin
t
.
h:
make self-containe
d
commit
|
commitdiff
|
tree
2007-05-02
S
ve
n
Ver
d
oolaeg
e
evalue_read: ex
t
ract from
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
e
n
ume
r
a
t
or: support primal (h
a
lf-open)
d
ecompositi
o
ns
commit
|
commitdiff
|
tree
2007-05-02
S
v
e
n Verdoolaeg
e
enumer
a
to
r
: handle
(dual)
s
topped Barvinok
d
ecomp
o
s
i
t
ion
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
la
e
ge
la
t
tice_p
o
int
.
c
c: remove u
n
used PD argument
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice_point
.
c
c
: extract c
o
s
et gener
a
tion
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
o
o
laege
l
a
ttice_point
.
cc: rena
m
e ceil_mod to f
r
actional_part
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
l
aege
lattice_point
.
cc:
use some helper funct
i
ons to simplify
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doolaege
lattice
_
point
.
c
c: implement lookup-table ver
s
io
n
in
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n
V
e
r
doolaege
move m
o
re lattic
e
poi
n
t computa
t
ions to lattice_po
i
n
t
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdoo
l
ae
g
e
ba
r
vinok
.
c
c
: la
t
tice
_
po
i
n
t
:
remove
a special cas
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
d
oo
l
aege
doc: i
n
t
ege
r
p
oints
in fundamental parallelepiped
:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
util
.
c:
export Matri
x
_Transposit
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sven Ver
d
oolaege
util
.
c: e
x
port Vector_Opp
o
se
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
o
lae
g
e
scale
.
c: m
o
ve P
a
ram_Vertex
_
Common_Denom
i
n
a
to
r
to param
_
u
til
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
e
v
alue
.
c:
a
dd eva
l
u
e
_
a
d
d_cons
t
ant
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdo
o
laege
eval
u
e
.
c: affine
2
evalu
e
: skip zero
coeffi
c
i
en
t
s
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Ver
d
oolae
g
e
e
value
.
c
:
emul_pol
y
:
e
f
ficiently
han
d
le case of mu
l
tiplicat
i
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sve
n
Ve
r
dool
a
eg
e
bump version
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
doc: up
d
a
te o
p
t
i
o
ns and some
function
commit
|
commitdiff
|
tree
2007-04-28
Sv
e
n V
e
rdoola
e
ge
doc: document volume comput
a
t
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven
Verdo
o
l
aege
doc
:
m
o
re reports explaining pa
r
ts of barvi
n
ok
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdo
o
laeg
e
b
ernstein: bu
m
p
v
ersio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaeg
e
doc: transf
o
rm
a
ti
o
n of par
a
meter domai
n
to have revlex
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
bar
v
inok
.
cc: barvinok_coun
t
_f:
avoid
w
a
r
ning
on re
c
ursive
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
ut
i
l
.
c: unimodular
_
complet
e
:
h
andle
c
omp
l
eti
o
n
of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
barvino
k
_enumer
a
te
.
cc
:
hand
l
e
all l
i
nes i
n
--se
r
ies
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
er
d
oolaeg
e
barvinok_enumerate
.
cc: serie
s
: plug
m
emory
leak
commit
|
commitdiff
|
tree
2007-04-26
Sven
V
erdoolaege
d
oc: docum
e
nt l
e
f
t_inv
e
rse
commit
|
commitdiff
|
tree
next