GNU Octave Manual Version 3 by John W. Eaton, David Bateman, Søren Hauberg Paperback (6"x9"), 568 pages ISBN 095461206X RRP £24.95 ($39.95) |
18.2 Basic Matrix Functions
- Loadable Function: aa = balance (a, opt)
- Loadable Function: [dd, aa] = balance (a, opt)
- Loadable Function: [cc, dd, aa, bb] = balance (a, b, opt)
-
Compute
aa = dd \ a * dd
in whichaa
is a matrix whose row and column norms are roughly equal in magnitude, anddd
=p * d
, in whichp
is a permutation matrix andd
is a diagonal matrix of powers of two. This allows the equilibration to be computed without roundoff. Results of eigenvalue calculation are typically improved by balancing first.If four output values are requested, compute
aa = cc*a*dd
andbb = cc*b*dd)
, in whichaa
andbb
have non-zero elements of approximately the same magnitude andcc
anddd
are permuted diagonal matrices as indd
for the algebraic eigenvalue problem.The eigenvalue balancing option
opt
may be one of:"N"
,"n"
- No balancing; arguments copied, transformation(s) set to identity.
"P"
,"p"
- Permute argument(s) to isolate eigenvalues where possible.
"S"
,"s"
- Scale to improve accuracy of computed eigenvalues.
"B"
,"b"
- Permute and scale, in that order. Rows/columns of a (and b) that are isolated by permutation are not scaled. This is the default behavior.
Algebraic eigenvalue balancing uses standard lapack routines.
Generalized eigenvalue problem balancing uses Ward's algorithm (SIAM Journal on Scientific and Statistical Computing, 1981).
- Function File: cond (a,p)
- Compute the p-norm condition number of a matrix.
cond (a)
is defined asnorm (a, p) * norm (inv (a), p)
. By defaultp=2
is used which implies a (relatively slow) singular value decomposition. Other possible selections arep= 1, Inf, inf, 'Inf', 'fro'
which are generally faster.See also norm, inv, det, svd, rank
- Loadable Function: [d, rcond] = det (a)
- Compute the determinant of a using lapack. Return an estimate of the reciprocal condition number if requested.
- Function File: dmult (a, b)
- If a is a vector of length
rows (b)
, returndiag (a) * b
(but computed much more efficiently).
- Function File: dot (x, y, dim)
- Computes the dot product of two vectors. If x and y are matrices, calculate the dot-product along the first non-singleton dimension. If the optional argument dim is given, calculate the dot-product along this dimension.
- Loadable Function: lambda = eig (a)
- Loadable Function: [v, lambda] = eig (a)
- The eigenvalues (and eigenvectors) of a matrix are computed in a several
step process which begins with a Hessenberg decomposition, followed by a
Schur decomposition, from which the eigenvalues are apparent. The
eigenvectors, when desired, are computed by further manipulations of the
Schur decomposition.
The eigenvalues returned by
eig
are not ordered.
- Loadable Function: g = givens (x, y)
- Loadable Function: [c, s] = givens (x, y)
-
Return a 2 by 2 orthogonal matrix
g = [c s; -s' c]
such thatg [x; y] = [*; 0]
with x and y scalars.For example,
givens (1, 1) => 0.70711 0.70711 -0.70711 0.70711
- Loadable Function: [x, rcond] = inv (a)
- Loadable Function: [x, rcond] = inverse (a)
- Compute the inverse of the square matrix a. Return an estimate of the reciprocal condition number if requested, otherwise warn of an ill-conditioned matrix if the reciprocal condition number is small.
- Loadable Function: type = matrix_type (a)
- Loadable Function: a = matrix_type (a, type)
- Loadable Function: a = matrix_type (a, 'upper', perm)
- Loadable Function: a = matrix_type (a, 'lower', perm)
- Loadable Function: a = matrix_type (a, 'banded', nl, nu)
- Identify the matrix type or mark a matrix as a particular type. This allows rapid
for solutions of linear equations involving a to be performed. Called with a
single argument,
matrix_type
returns the type of the matrix and caches it for future use. Called with more than one argument,matrix_type
allows the type of the matrix to be defined.The possible matrix types depend on whether the matrix is full or sparse, and can be one of the following
- 'unknown'
- Remove any previously cached matrix type, and mark type as unknown
- 'full'
- Mark the matrix as full.
- 'positive definite'
- Probable full positive definite matrix.
- 'diagonal'
- Diagonal Matrix. (Sparse matrices only)
- 'permuted diagonal'
- Permuted Diagonal matrix. The permutation does not need to be specifically indicated, as the structure of the matrix explicitly gives this. (Sparse matrices only)
- 'upper'
- Upper triangular. If the optional third argument perm is given, the matrix is assumed to be a permuted upper triangular with the permutations defined by the vector perm.
- 'lower'
- Lower triangular. If the optional third argument perm is given, the matrix is assumed to be a permuted lower triangular with the permutations defined by the vector perm.
- 'banded'
- 'banded positive definite'
- Banded matrix with the band size of nl below the diagonal and nu above it. If nl and nu are 1, then the matrix is tridiagonal and treated with specialized code. In addition the matrix can be marked as probably a positive definite (Sparse matrices only)
- 'singular'
- The matrix is assumed to be singular and will be treated with a minimum norm solution
Note that the matrix type will be discovered automatically on the first attempt to solve a linear equation involving a. Therefore
matrix_type
is only useful to give Octave hints of the matrix type. Incorrectly defining the matrix type will result in incorrect results from solutions of linear equations, and so it is entirely the responsibility of the user to correctly identify the matrix type.Also the test for positive definiteness is a low-cost test for a hermitian matrix with a real positive diagonal. This does not guarantee that the matrix is positive definite, but only that it is a probable candidate. When such a matrix is factorized, a Cholesky factorization is first attempted, and if that fails the matrix is then treated with an LU factorization. Once the matrix has been factorized,
matrix_type
will return the correct classification of the matrix.
- Function File: norm (a, p)
- Compute the p-norm of the matrix a. If the second argument is
missing,
p = 2
is assumed.If a is a matrix:
- p =
1
- 1-norm, the largest column sum of the absolute values of a.
- p =
2
- Largest singular value of a.
- p =
Inf
or"inf"
- Infinity norm, the largest row sum of the absolute values of a.
- p =
"fro"
-
Frobenius norm of a,
sqrt (sum (diag (a' * a)))
.
If a is a vector or a scalar:
- p =
Inf
or"inf"
-
max (abs (a))
. - p =
-Inf
-
min (abs (a))
. - p =
"fro"
-
Frobenius norm of a,
sqrt (sumsq (abs (a)))
. - other
-
p-norm of a,
(sum (abs (a) .^ p)) ^ (1/p)
.
See also cond, svd
- p =
- Function File: null (a, tol)
- Return an orthonormal basis of the null space of a.
The dimension of the null space is taken as the number of singular values of a not greater than tol. If the argument tol is missing, it is computed as
max (size (a)) * max (svd (a)) * eps
- Function File: orth (a, tol)
- Return an orthonormal basis of the range space of a.
The dimension of the range space is taken as the number of singular values of a greater than tol. If the argument tol is missing, it is computed as
max (size (a)) * max (svd (a)) * eps
- Loadable Function: pinv (x, tol)
- Return the pseudoinverse of x. Singular values less than
tol are ignored.
If the second argument is omitted, it is assumed that
tol = max (size (x)) * sigma_max (x) * eps,
where
sigma_max (x)
is the maximal singular value of x.
- Function File: rank (a, tol)
- Compute the rank of a, using the singular value decomposition.
The rank is taken to be the number of singular values of a that
are greater than the specified tolerance tol. If the second
argument is omitted, it is taken to be
tol = max (size (a)) * sigma(1) * eps;
where
eps
is machine precision andsigma(1)
is the largest singular value of a.
- Function File: trace (a)
- Compute the trace of a,
sum (diag (a))
.
- Function File: [r, k] = rref (a, tol)
-
Returns the reduced row echelon form of a. tol defaults to
eps * max (size (a)) * norm (a, inf)
.Called with two return arguments, k returns the vector of "bound variables", which are those columns on which elimination has been performed.
ISBN 095461206X | GNU Octave Manual Version 3 | See the print edition |