The routine may be called by the names f01mcf or nagf_matop_real_vband_posdef_fac.
f01mcf determines the unit lower triangular matrix and the diagonal matrix in the Cholesky factorization of a symmetric positive definite variable-bandwidth matrix of order . (Such a matrix is sometimes called a ‘sky-line’ matrix.)
The matrix is represented by the elements lying within the envelope of its lower triangular part, that is, between the first nonzero of each row and the diagonal. The width
of the th row is the number of elements between the first nonzero element and the element on the diagonal, inclusive. Although, of course, any matrix possesses an envelope as defined, this routine is primarily intended for the factorization of symmetric positive definite matrices with an average bandwidth which is small compared with (also see Section 9).
The method is based on the property that during Cholesky factorization there is no fill-in outside the envelope.
The determination of and is normally the first of two steps in the solution of the system of equations . The remaining step, viz. the solution of , may be carried out using f04mcf.
Jennings A (1966) A compact storage scheme for the solution of symmetric linear simultaneous equations Comput. J.9 281–285
Wilkinson J H and Reinsch C (1971) Handbook for Automatic Computation II, Linear Algebra Springer–Verlag
1: – IntegerInput
On entry: , the order of the matrix .
2: – Real (Kind=nag_wp) arrayInput
On entry: the elements within the envelope of the lower triangle of the positive definite symmetric matrix , taken in row by row order. The matrix elements within the band can be assigned to the correct elements of the array using the following
k = 0
Do 20 i = 1, n
Do 10 j = i-nrow(i)+1, i
k = k + 1
a(k) = matrix (i,j)
On entry: the dimension of the arrays a and al as declared in the (sub)program from which f01mcf is called.
4: – Integer arrayInput
On entry: must contain the width of row of the matrix , i.e., the number of elements between the first (leftmost) nonzero element and the element on the diagonal, inclusive.
, for .
5: – Real (Kind=nag_wp) arrayOutput
On exit: the elements within the envelope of the lower triangular matrix , taken in row by row order. The envelope of is identical to that of the lower triangle of . The unit diagonal elements of are stored explicitly. See also Section 9.
6: – Real (Kind=nag_wp) arrayOutput
On exit: the diagonal elements of the diagonal matrix . Note that the determinant of is equal to the product of these diagonal elements. If the value of the determinant is required it should not be determined by forming the product explicitly, because of the possibility of overflow or underflow. The logarithm of the determinant may safely be formed from the sum of the logarithms of the diagonal elements.
7: – IntegerInput/Output
On entry: ifail must be set to , or to set behaviour on detection of an error; these values have no effect when no error is detected.
A value of causes the printing of an error message and program execution will be halted; otherwise program execution continues. A value of means that an error message is printed while a value of means that it is not.
If halting is not appropriate, the value or is recommended. If message printing is undesirable, then the value is recommended. Otherwise, the value is recommended. When the value or is used it is essential to test the value of ifail on exit.
On exit: unless the routine detects an error or a warning has been flagged (see Section 6).
6Error Indicators and Warnings
If on entry or , explanatory error messages are output on the current error message unit (as defined by x04aaf).
Errors or warnings detected by the routine:
On entry, and .
Constraint: and .
On entry, and .
On entry, .
is not positive definite. Factorization abandoned.
is not positive definite. Factorization completed.
An unexpected error has been triggered by this routine. Please
See Section 7 in the Introduction to the NAG Library FL Interface for further information.
Your licence key may have expired or may not have been installed correctly.
See Section 8 in the Introduction to the NAG Library FL Interface for further information.
Dynamic memory allocation failed.
See Section 9 in the Introduction to the NAG Library FL Interface for further information.
If on exit, then the computed
and satisfy the relation , where
where is a constant of order unity, is the largest value of , and is the machine precision. See pages 25–27 and 54–55 of Wilkinson and Reinsch (1971).
8Parallelism and Performance
f01mcf is not threaded in any implementation.
The time taken by f01mcf is approximately proportional to the sum of squares of the values of .
The distribution of row widths may be very non-uniform without undue loss of efficiency. Moreover, the routine has been designed to be as competitive as possible in speed with routines designed for full or uniformly banded matrices, when applied to such matrices.
Unless otherwise stated in the Users' Note for your implementation, the routine may be called with the same actual array supplied for arguments a and al, in which case overwrites the lower triangle of a. However this is not standard Fortran and may not work in all implementations.
This example obtains the Cholesky factorization of the symmetric matrix, whose lower triangle is:
For this matrix, the elements of nrow must be set to , , , , , , and the elements within the envelope must be supplied in row order as: