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
Sv
e
n Verdool
a
ege
barvinok 0
.
24
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n V
e
rdoolaege
tes
t
li
b
.
cc: work ar
o
und
incomplete n
a
mespace suppo
r
t
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
scale
.
c:
e
nu
m
e
r
a
te_nar
r
o
w
_
f
lated: don
'
t simplify constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
de
c
lare variable
s
at
star
t
of code
b
loc
k
commit
|
commitdiff
|
tree
2007-06-30
Sv
e
n Verdoolaege
doc: update d
o
cument
a
ti
o
n
o
f
optio
n
s and som
e
func
t
ions
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
e
r
d
o
olaege
Pol
y
hedr
o
n
_
S
ample: factor polyhedron if possibl
e
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdo
o
l
a
ege
Polyhed
r
on_Sample:
com
p
ut
e
vertice
s
of 1D polyhe
d
ra
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
do
o
laege
Pol
y
hedron_Sample:
remove all equalities
f
rom polyhedron
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
add
poss
i
b
i
lity
to u
s
e GLPK as LP solver
commit
|
commitdiff
|
tree
2007-06-30
Sven Ve
r
doolaeg
e
Poly
h
edron_Sa
m
p
l
e: postpone rem
o
val of
ray
s
until we
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
Polyhedron_Sa
m
ple: use lp
s
olver for
f
inding ra
n
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaege
lexmi
n
:
m
ove
choice
o
f
lp sol
v
er to use outside
basis
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoo
l
aege
polysign
.
h: use cor
r
ect name
of PL_polyhed
r
o
n
_
a
ffine_sign
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoola
e
ge
barvinok_e
n
u
merate: plug memory lea
k
in Ber
n
oulli ap
p
roximation
commit
|
commitdiff
|
tree
2007-06-30
Sven V
e
rdoolaege
barvino
k
_en
u
merate_e_r: don't assume AddConst
r
a
i
nts
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdool
a
ege
evalue_frac2polynomial
:
recheck evalue after evalu
e
_
s
p
l
i
t_do
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven Verdoolaeg
e
util
.
c: Line_Length:
don't get confu
s
ed by
positivity
.
.
.
commit
|
commitdiff
|
tree
2007-06-30
Sven
V
erdoolaege
Makefil
e
.
am: stop after f
i
rst failed test
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolaege
be
r
nstein
:
carry thr
o
u
gh variab
l
e
renaming to debugging
.
.
.
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdool
a
ege
ber
n
ste
i
n:
d
on't assume input polynomia
l
h
a
s been expan
d
ed
commit
|
commitdiff
|
tree
2007-06-27
Sven Verdoolae
g
e
e
v
alue_rea
d
.
c: correct
c
onstness
of na
m
e in parameter_new
commit
|
commitdiff
|
tree
2007-06-27
S
ven Verdoolaege
e
v
alue_rea
d
: a
c
ce
p
t cons
t
ant multiple o
f
variab
l
e
with
o
ut
.
.
.
commit
|
commitdiff
|
tree
2007-06-16
Sven
Verd
o
ola
e
ge
e
v
alu
e
.
c: evalue_s
u
m
: b
e
tter h
a
ndling of negative
values
commit
|
commitdiff
|
tree
2007-06-15
Sven Verd
o
olaege
evalue
.
c: reorde
r
_terms
:
fix typ
o
commit
|
commitdiff
|
tree
2007-06-14
Sven
V
erdoo
l
ae
g
e
e
v
al
u
e: decla
r
e first argume
n
t of emu
l
const
commit
|
commitdiff
|
tree
2007-06-14
Sven Verd
o
ola
e
ge
ev
a
lue
.
c: emul: don't use expli
c
it_complement on argumen
t
s
commit
|
commitdiff
|
tree
2007-06-14
Sven Verdoola
e
ge
add a test for
eva
l
u
e_split_periods
commit
|
commitdiff
|
tree
2007-06-12
Sve
n
Verdoolaege
e
v
a
lue
.
c: evalue_split
_
peri
o
ds:
m
ak
e
sure s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2007-06-12
Sven Verdo
o
laege
evalu
e
.
c: polynomia
l
_projection:
u
se evalue_ex
t
ra
c
t_af
f
ine
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
add a test for barvinok_ma
x
imize and bar
v
inok_summate
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
barvinok
_
summate: suppo
r
t verification
of resu
l
ts
commit
|
commitdiff
|
tree
2007-06-10
Sv
e
n Verdool
a
ege
ev
a
lue
.
c
:
eval
u
e_sum:
s
plit into or
t
hants + some refactoring
commit
|
commitdiff
|
tree
2007-06-10
Sven Verdoolaege
b
a
r
v
inok_unio
n
:
u
se argp
for argume
n
t parsing
commit
|
commitdiff
|
tree
2007-06-09
Sven Verdool
a
ege
barvinok
_
enume
r
ate_u
n
ion
_
series_wi
t
h_optio
n
s: fix ty
p
o
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
bas
i
s_r
e
d
u
ction
_
cdd
.
c
c
: get correct
d
ual
s
o
lution
in
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sven Verdoolaege
b
asis_reduct
i
on_
g
lpk
.
c:
corre
c
tly set typ
e
of rows
.
.
.
commit
|
commitdiff
|
tree
2007-06-07
Sve
n
Verdoolaege
b
asis_
r
eduction_gl
p
k
.
c
:
ch
e
ck for san
i
ty
o
f solution
commit
|
commitdiff
|
tree
2007-06-06
Sven Verdoolaege
options: mention
d
efault and a
v
ailable solvers for
.
.
.
commit
|
commitdiff
|
tree
2007-06-06
Sven
V
er
d
oolaeg
e
polyhedron_sample: take o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2007-06-06
S
v
en Verdoolaege
d
oc:
m
ore about p
o
wer sums
commit
|
commitdiff
|
tree
2007-06-04
Sven
V
erdoolaege
doc: typo
commit
|
commitdiff
|
tree
2007-05-30
Sven Ver
d
oo
l
a
ege
doc: repea
t
M
a
t
t
h
ias' stopped
Barvinok
e
xperiments
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
S
ven
V
erdoola
e
ge
add barv
i
nok_summate to sum
a quasi-po
l
ynomial over
.
.
.
commit
|
commitdiff
|
tree
2007-05-25
Sven Verd
o
olaege
evalue_r
e
ad: fix for top-level fractiona
l
p
ar
t
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
be
r
n
oull
i
.
c:
Be
r
noulli_su
m
_ev
a
lu
e
: red
u
c
e resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2007-05-14
Sven Verdoolaege
bernoulli
.
c: perform nested
sums appr
o
x
i
mat
i
on
depth
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
ven Verdool
a
ege
add polynomial
approx
i
m
ation based on ne
s
ted sums
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Ver
d
ool
a
ege
u
t
il
.
c: e
x
tract
f
or_each_lowe
r
_up
p
er_bound from Par
a
mLine
_
Length
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaege
decomp
o
ser: use NTL to invert matrix rather
t
h
an convering
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Verdoolaege
lattice
_
point
.
cc: allow rays
a
nd vertex to have
b
e
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
o
olae
g
e
counter: optim
i
ze
s
umming over p
o
ints in
f
undap
i
ped
commit
|
commitdiff
|
tree
2007-05-13
S
v
en
V
erd
o
olaege
lattic
e
_po
i
n
t
.
c
c: avoid conversio
n
bet
w
een NTL and
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
S
v
en Verdoolaege
c
o
nve
r
si
o
n
.
cc:
r
emove r
a
ys2ma
t
rix
commit
|
commitdiff
|
tree
2007-05-13
Sven Ve
r
doolaege
evalue
.
c: ev
a
lu
e
_pol
y
nomi
a
l extr
a
cte
d
f
r
om
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-13
Sv
e
n Verdool
a
ege
evalue
.
c
:
a
dd e
v
alue_ne
g
at
e
commit
|
commitdiff
|
tree
2007-05-13
Sven Ver
d
oolaeg
e
doc: a note o
n
the connection
between T
o
dd polynomial
s
.
.
.
commit
|
commitdiff
|
tree
2007-05-13
Sven
Verd
o
o
l
ae
g
e
doc: point
s
i
n fund
a
piped: fix typo
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdo
o
laege
barvinok
.
cc: simplify dpoly
_
n
constructor
commit
|
commitdiff
|
tree
2007-05-10
Sven Verdoo
l
aege
Re
m
ove "normali
z
ation"
o
r
pow
e
rs
i
n
denominator on
.
.
.
commit
|
commitdiff
|
tree
2007-05-09
S
ven
Ver
d
oo
l
aege
de
c
omposer
.
cc
:
pas
s
opti
o
ns to triangulate_co
n
e
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
ba
r
vinok_
c
ount: opt
i
ona
l
ly u
s
e
exp
o
nenti
a
l
s
ubstitution
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaege
counter
.
cc: extracted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2007-05-08
Sven Verdoolaeg
e
dpoly::div: avoid co
m
putat
i
on
w
ith ra
t
ional
n
umbers
.
.
.
commit
|
commitdiff
|
tree
2007-05-08
S
v
en
Ve
r
doolaege
d
p
oly: u
s
e V
a
l
u
e
i
n
stead
of
ZZ
commit
|
commitdiff
|
tree
2007-05-08
Sv
e
n Ve
r
doolaege
d
o
c: f
i
x
typ
o
commit
|
commitdiff
|
tree
2007-05-02
S
v
en Verdoolaeg
e
add test for latti
c
e
point
c
o
mputa
t
i
o
n
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaege
evalue_read
.
c: add evalue_read_fr
o
m_s
t
r for reading
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven V
e
rdool
a
ege
e
value_read_f
r
o
m_f
i
le
:
don't modify
var_
l
is
t
arg
u
ment
commit
|
commitdiff
|
tree
2007-05-02
Sven
V
erdool
a
e
ge
e
value_read: read
more general evalues
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdool
a
ege
evalu
e
_convert
.
cc: add missing
i
n
c
lud
e
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
conversion
.
h: generalize ra
y
s
2
m
a
t
rix2 to zz2matrix
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaege
l
attice_point
.
h: mak
e
self-c
o
ntai
n
ed
commit
|
commitdiff
|
tree
2007-05-02
Sven Ve
r
doo
l
ae
g
e
evalue_
r
ead: extrac
t
fro
m
maximize
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
enumer
a
tor: support primal
(
ha
l
f-open) decomposit
i
o
ns
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdoolaege
enumerator: handle (d
u
al) s
t
opped Barvinok de
c
omposit
i
on
commit
|
commitdiff
|
tree
2007-05-02
S
v
en
Verdoolaege
latt
i
ce
_
po
i
nt
.
cc: remove
u
nu
s
e
d
PD arg
u
me
n
t
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
lattice
_
point
.
cc:
extract coset genera
t
i
on
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verd
o
olaege
la
t
tice_p
o
int
.
cc: ren
a
me ceil_m
o
d to f
r
actional_part
commit
|
commitdiff
|
tree
2007-05-02
Sv
e
n Verdool
a
ege
la
t
tice_point
.
cc: use some helper fun
c
tions
t
o simp
l
i
fy
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verdoolaege
lattice_po
i
nt
.
cc: impleme
n
t lo
o
kup-table vers
i
on i
n
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sve
n
Verdoolaege
mov
e
more lattice point comput
a
ti
o
ns to lat
t
ice_point
.
cc
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoola
e
ge
barvi
n
ok
.
cc: l
a
ttice_
p
oint: remove a special cas
e
commit
|
commitdiff
|
tree
2007-05-02
Sven
Verdoolaeg
e
doc:
integer p
o
ints in
fundame
n
tal parallel
e
piped:
.
.
.
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
util
.
c: e
x
port Matrix_
T
ranspositi
o
n
commit
|
commitdiff
|
tree
2007-05-02
S
ven Verd
o
olaege
util
.
c: ex
p
ort Vector
_
O
ppose
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaeg
e
s
cale
.
c: move Par
a
m_Vertex_Co
m
mon_Denominator t
o
param
_
u
t
il
.
c
commit
|
commitdiff
|
tree
2007-05-02
Sven Verd
o
olaeg
e
evalue
.
c: ad
d
eva
l
ue
_
ad
d
_constant
commit
|
commitdiff
|
tree
2007-05-02
Sven
Ver
d
oolaege
evalue
.
c
:
a
ffine2eva
l
u
e
: skip zero co
e
ffic
i
en
t
s
commit
|
commitdiff
|
tree
2007-05-02
Sven Verdoolaege
evalue
.
c: emul_poly:
eff
i
ciently handle
case of multiplic
a
ti
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolae
g
e
bu
m
p
v
ersio
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verd
o
o
laege
doc
:
update optio
n
s
and so
m
e function
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoolaeg
e
d
o
c: document vo
l
ume computat
i
on
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
d
oc: more
r
e
port
s
explaining p
a
rts
of
barvinok
commit
|
commitdiff
|
tree
2007-04-28
Sven
V
erdoo
l
aege
b
ernstein: bump ve
r
si
o
n
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoola
e
ge
do
c
: tr
a
nsformation of
parame
t
er do
m
ain to have
r
evl
e
x
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven Verdoolaege
barv
i
nok
.
cc: barvin
o
k
_
c
ount_f: a
v
oid wa
r
ning on re
c
ursi
v
e
.
.
.
commit
|
commitdiff
|
tree
2007-04-28
Sven V
e
r
d
ool
a
ege
util
.
c: unimod
u
l
a
r_complete: handl
e
completion of more
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven V
e
r
d
oolaege
barvinok_enumera
t
e
.
c
c: han
d
le all
l
i
n
es in --series
.
.
.
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolae
g
e
b
ar
v
i
nok_enumerate
.
cc: series: plug memor
y
leak
commit
|
commitdiff
|
tree
2007-04-26
Sven Verdoolaege
doc:
d
o
c
ument le
f
t
_
inverse
commit
|
commitdiff
|
tree
next