Matrix factorizations (a.k.a. matrix decompositions) compute the factorization of a matrix into a product of matrices, and are one of the central concepts in linear algebra.
The following table summarizes the types of matrix factorizations that have been implemented in Julia. Details of their associated methods can be found in the Linear Algebra section of the standard library documentation.
|Pivoted Cholesky factorization|
|LU factorization for Tridiagonal matrices|
|LU factorization for sparse matrices (computed by UMFPack)|
|Compact WY form of the QR factorization|
|Pivoted QR factorization|
|Singular value decomposition|
Matrices with special symmetries and structures arise often in linear algebra and are frequently associated with various matrix factorizations. Julia features a rich collection of special matrix types, which allow for fast computation with specialized routines that are specially developed for particular matrix types.
The following tables summarize the types of special matrices that have been implemented in Julia, as well as whether hooks to various optimized methods for them in LAPACK are available.
|Upper triangular matrix|
|Lower triangular matrix|
|Symmetric tridiagonal matrix|
|Upper/lower bidiagonal matrix|
|Uniform scaling operator|
|Matrix type||Other functions with optimized methods|
|M (matrix)||An optimized method for matrix-matrix operations is available|
|V (vector)||An optimized method for matrix-vector operations is available|
|S (scalar)||An optimized method for matrix-scalar operations is available|
|A (all)||An optimized method to find all the characteristic values and/or vectors is available||e.g. |
|R (range)||An optimized method to find the |
|I (interval)||An optimized method to find the characteristic values in the interval [|
|V (vectors)||An optimized method to find the characteristic vectors corresponding to the characteristic values |
The uniform scaling operator¶
UniformScaling operator represents a scalar times the identity operator,
λ*I. The identity operator
I is defined as a constant and is an instance of
UniformScaling. The size of these operators are generic and match the other matrix in the binary operations
A-I this means that
A must be square. Multiplication with the identity operator
I is a noop (except for checking that the scaling factor is one) and therefore almost without overhead.