F01BRF (PDF version)
F01 Chapter Contents
F01 Chapter Introduction
NAG Library Manual

NAG Library Routine Document

F01BRF

Note:  before using this routine, please read the Users' Note for your implementation to check the interpretation of bold italicised terms and other implementation-dependent details.

+ Contents

    1  Purpose
    7  Accuracy

1  Purpose

F01BRF factorizes a real sparse matrix. The routine either forms the LU factorization of a permutation of the entire matrix, or, optionally, first permutes the matrix to block lower triangular form and then only factorizes the diagonal blocks.

2  Specification

SUBROUTINE F01BRF ( N, NZ, A, LICN, IRN, LIRN, ICN, PIVOT, IKEEP, IW, W, LBLOCK, GROW, ABORT, IDISP, IFAIL)
INTEGER  N, NZ, LICN, IRN(LIRN), LIRN, ICN(LICN), IKEEP(5*N), IW(8*N), IDISP(10), IFAIL
REAL (KIND=nag_wp)  A(LICN), PIVOT, W(N)
LOGICAL  LBLOCK, GROW, ABORT(4)

3  Description

Given a real sparse matrix A, F01BRF may be used to obtain the LU factorization of a permutation of A,
PAQ=LU
where P and Q are permutation matrices, L is unit lower triangular and U is upper triangular. The routine uses a sparse variant of Gaussian elimination, and the pivotal strategy is designed to compromise between maintaining sparsity and controlling loss of accuracy through round-off.
Optionally the routine first permutes the matrix into block lower triangular form and then only factorizes the diagonal blocks. For some matrices this gives a considerable saving in storage and execution time.
Extensive data checks are made; duplicated nonzeros can be accumulated.
The factorization is intended to be used by F04AXF to solve sparse systems of linear equations Ax=b or ATx=b. If several matrices of the same sparsity pattern are to be factorized, F01BSF should be used for the second and subsequent matrices.
The method is fully described in Duff (1977).
A more recent algorithm for the same calculation is provided by F11MEF.

4  References

Duff I S (1977) MA28 – a set of Fortran subroutines for sparse unsymmetric linear equations AERE Report R8730 HMSO

5  Parameters

1:     N – INTEGERInput
On entry: n, the order of the matrix A.
Constraint: N>0.
2:     NZ – INTEGERInput
On entry: the number of nonzero elements in the matrix A.
Constraint: NZ>0.
3:     A(LICN) – REAL (KIND=nag_wp) arrayInput/Output
On entry: Ai, for i=1,2,,NZ, must contain the nonzero elements of the sparse matrix A. They can be in any order since F01BRF will reorder them.
On exit: the nonzero elements in the LU factorization. The array must not be changed by you between a call of F01BRF and a call of F04AXF.
4:     LICN – INTEGERInput
On entry: the dimension of the arrays A and ICN as declared in the (sub)program from which F01BRF is called. Since the factorization is returned in A and ICN, LICN should be large enough to accommodate this and should ordinarily be 2 to 4 times as large as NZ.
Constraint: LICNNZ.
5:     IRN(LIRN) – INTEGER arrayInput/Output
On entry: IRNi, for i=1,2,,NZ, must contain the row index of the nonzero element stored in Ai.
On exit: IRN is overwritten and is not needed for subsequent calls of F01BSF or F04AXF.
6:     LIRN – INTEGERInput
On entry: the dimension of the array IRN as declared in the (sub)program from which F01BRF is called. It need not be as large as LICN; normally it will not need to be very much greater than NZ.
Constraint: LIRNNZ.
7:     ICN(LICN) – INTEGER arrayCommunication Array
ICNi, for i=1,2,,NZ, must contain, on entry, the column index of the nonzero element stored in Ai. ICN contains, on exit, the column indices of the nonzero elements in the factorization. The array must not be changed by you between a call of F01BRF and subsequent calls of F01BSF or F04AXF.
8:     PIVOT – REAL (KIND=nag_wp)Input
On entry: should have a value in the range 0.0PIVOT0.9999 and is used to control the choice of pivots. If PIVOT<0.0, the value 0.0 is assumed, and if PIVOT>0.9999, the value 0.9999 is assumed. When searching a row for a pivot, any element is excluded which is less than PIVOT times the largest of those elements in the row available as pivots. Thus decreasing PIVOT biases the algorithm to maintaining sparsity at the expense of stability.
Suggested value: PIVOT=0.1 has been found to work well on test examples.
9:     IKEEP(5×N) – INTEGER arrayCommunication Array
On exit: indexing information about the factorization.
You must not change IKEEP between a call of F01BRF and subsequent calls to F01BSF or F04AXF.
10:   IW(8×N) – INTEGER arrayWorkspace
11:   W(N) – REAL (KIND=nag_wp) arrayOutput
On exit: if GROW=.TRUE., W1 contains an estimate (an upper bound) of the increase in size of elements encountered during the factorization (see GROW); the rest of the array is used as workspace.
If GROW=.FALSE., the array is not used.
12:   LBLOCK – LOGICALInput
On entry: if LBLOCK=.TRUE., the matrix is preordered into block lower triangular form before the LU factorization is performed; otherwise the entire matrix is factorized.
Suggested value: LBLOCK=.TRUE. unless the matrix is known to be irreducible, or is singular and an upper bound on the rank is required.
13:   GROW – LOGICALInput
On entry: if GROW=.TRUE., then on exit W1 contains an estimate (an upper bound) of the increase in size of elements encountered during the factorization. If the matrix is well-scaled (see Section 8.2), then a high value for W1 indicates that the LU factorization may be inaccurate and you should be wary of the results and perhaps increase the parameter PIVOT for subsequent runs (see Section 7).
Suggested value: GROW=.TRUE..
14:   ABORT(4) – LOGICAL arrayInput
On entry: if ABORT1=.TRUE., F01BRF will exit immediately on detecting a structural singularity (one that depends on the pattern of nonzeros) and return IFAIL=1; otherwise it will complete the factorization (see Section 8.3).
If ABORT2=.TRUE., F01BRF will exit immediately on detecting a numerical singularity (one that depends on the numerical values) and return IFAIL=2; otherwise it will complete the factorization (see Section 8.3).
If ABORT3=.TRUE., F01BRF will exit immediately (with IFAIL=5) when the arrays A and ICN are filled up by the previously factorized, active and unfactorized parts of the matrix; otherwise it continues so that better guidance on necessary array sizes can be given in IDISP6 and IDISP7, and will exit with IFAIL in the range 4 to 6. Note that there is always an immediate error exit if the array IRN is too small.
If ABORT4=.TRUE., F01BRF exits immediately (with IFAIL=13) if it finds duplicate elements in the input matrix.
If ABORT4=.FALSE., F01BRF proceeds using a value equal to the sum of the duplicate elements. In either case details of each duplicate element are output on the current advisory message unit (see X04ABF), unless suppressed by the value of IFAIL on entry.
Suggested values:
  • ABORT1=.TRUE.;
  • ABORT2=.TRUE.;
  • ABORT3=.FALSE.;
  • ABORT4=.TRUE..
15:   IDISP(10) – INTEGER arrayCommunication Array
On exit: contains information about the factorization.
IDISP1 and IDISP2 indicate the position in arrays A and ICN of the first and last elements in the LU factorization of the diagonal blocks. (IDISP2 gives the number of nonzeros in the factorization.) IDISP1 and IDISP2 must not be changed by you between a call of F01BRF and subsequent calls to F01BSF or F04AXF.
IDISP3 and IDISP4 monitor the adequacy of ‘elbow room’ in the arrays IRN and A (and ICN) respectively, by giving the number of times that the data in these arrays has been compressed during the factorization to release more storage. If either IDISP3 or IDISP4 is quite large (say greater than 10), it will probably pay you to increase the size of the corresponding array(s) for subsequent runs. If either is very low or zero, then you can perhaps save storage by reducing the size of the corresponding array(s).
IDISP5, when LBLOCK=.FALSE., gives an upper bound on the rank of the matrix; when LBLOCK=.TRUE., gives an upper bound on the sum of the ranks of the lower triangular blocks.
IDISP6 and IDISP7 give the minimum size of arrays IRN and A (and ICN) respectively which would enable a successful run on an identical matrix (but some ‘elbow-room’ should be allowed – see Section 8).
IDISP8 to 10 are only used if LBLOCK=.TRUE..
  • IDISP8 gives the structural rank of the matrix.
  • IDISP9 gives the number of diagonal blocks.
  • IDISP10 gives the size of the largest diagonal block.
You must not change IDISP between a call of F01BRF and subsequent calls to F01BSF or F04AXF.
16:   IFAIL – INTEGERInput/Output
For this routine, the normal use of IFAIL is extended to control the printing of error and warning messages as well as specifying hard or soft failure (see Section 3.3 in the Essential Introduction).
On entry: IFAIL must be set to a value with the decimal expansion cba, where each of the decimal digits c, b and a must have a value of 0 or 1.
a=0 specifies hard failure, otherwise soft failure;
b=0 suppresses error messages, otherwise error messages will be printed (see Section 6);
c=0 suppresses warning messages, otherwise warning messages will be printed (see Section 6).
The recommended value for inexperienced users is 110 (i.e., hard failure with all messages printed).
On exit: IFAIL=0 unless the routine detects an error or a warning has been flagged (see Section 6).

6  Error Indicators and Warnings

If on entry IFAIL=0 or -1, explanatory error messages are output on the current error message unit (as defined by X04AAF).
Errors or warnings detected by the routine:
IFAIL=-2
Successful factorization of a numerically singular matrix (which may also be structurally singular) (see Section 8.3).
IFAIL=-1
Successful factorization of a structurally singular matrix (see Section 8.3).
IFAIL=1
The matrix is structurally singular and the factorization has been abandoned (ABORT1 was .TRUE. on entry).
IFAIL=2
The matrix is numerically singular and the factorization has been abandoned (ABORT2 was .TRUE. on entry).
IFAIL=3
LIRN is too small: there is not enough space in the array IRN to continue the factorization. You are recommended to try again with LIRN (and the length of IRN) equal to at least IDISP6+N/2.
IFAIL=4
LICN is much too small: there is much too little space in the arrays A and ICN to continue the factorization.
IFAIL=5
LICN is too small: there is not enough space in the arrays A and ICN to store the factorization. If ABORT3 was .FALSE. on entry, the factorization has been completed but some of the LU factors have been discarded to create space; IDISP7 then gives the minimum value of LICN (i.e., the minimum length of A and ICN) required for a successful factorization of the same matrix.
IFAIL=6
LICN and LIRN are both too small: effectively this is a combination of IFAIL=3 and 5 (with ABORT3=.FALSE.).
IFAIL=7
LICN is too small: there is not enough space in the arrays A and ICN for the permutation to block triangular form.
IFAIL=8
On entry,N0.
IFAIL=9
On entry,NZ0.
IFAIL=10
On entry,LICN<NZ.
IFAIL=11
On entry,LIRN<NZ.
IFAIL=12
On entry, an element of the input matrix has a row or column index (i.e., an element of IRN or ICN) outside the range 1 to N.
IFAIL=13
Duplicate elements have been found in the input matrix and the factorization has been abandoned (ABORT4=.TRUE. on entry).

7  Accuracy

The factorization obtained is exact for a perturbed matrix whose i,jth element differs from aij by less than 3ερmij where ε is the machine precision, ρ is the growth value returned in W1 if GROW=.TRUE., and mij the number of Gaussian elimination operations applied to element i,j. The value of mij is not greater than n and is usually much less. Small ρ values therefore guarantee accurate results, but unfortunately large ρ values may give a very pessimistic indication of accuracy.

8  Further Comments

8.1  Timing

The time required may be estimated very roughly from the number τ of nonzeros in the factorized form (output as IDISP2) and for F01BRF and its associates is
F01BRF: 5τ2/n units
F01BSF: τ2/n units
F04AXF: 2τ units
where our unit is the time for the inner loop of a full matrix code (e.g., solving a full set of equations takes about 13n3 units). Note that the faster F01BSF time makes it well worthwhile to use this for a sequence of problems with the same pattern.
It should be appreciated that τ varies widely from problem to problem. For network problems it may be little greater than NZ, the number of nonzeros in A; for discretization of two-dimensional and three-dimensional partial differential equations it may be about 3nlog2n and 12n5/3, respectively.
The time taken by F01BRF to find the block lower triangular form (LBLOCK=.TRUE.) is typically 515% of the time taken by the routine when it is not found (LBLOCK=.FALSE.). If the matrix is irreducible (IDISP9=1 after a call with LBLOCK=.TRUE.) then this time is wasted. Otherwise, particularly if the largest block is small (IDISP10n), the consequent savings are likely to be greater.
The time taken to estimate growth (GROW=.TRUE.) is typically under 20% of the overall time.
The overall time may be substantially increased if there is inadequate ‘elbow-room’ in the arrays A, IRN and ICN. When the sizes of the arrays are minimal (IDISP6 and IDISP7) it can execute as much as three times slower. Values of IDISP3 and IDISP4 greater than about 10 indicate that it may be worthwhile to increase array sizes.

8.2  Scaling

The use of a relative pivot tolerance PIVOT essentially presupposes that the matrix is well-scaled, i.e., that the matrix elements are broadly comparable in size. Practical problems are often naturally well-scaled but particular care is needed for problems containing mixed types of variables (for example millimetres and neutron fluxes).

8.3  Singular and Rectangular Systems

It is envisaged that F01BRF will almost always be called for square nonsingular matrices and that singularity indicates an error condition. However, even if the matrix is singular it is possible to complete the factorization. It is even possible for F04AXF to solve a set of equations whose matrix is singular provided the set is consistent.
Two forms of singularity are possible. If the matrix would be singular for any values of the nonzeros (e.g., if it has a whole row of zeros), then we say it is structurally singular, and continue only if ABORT1=.FALSE.. If the matrix is nonsingular by virtue of the particular values of the nonzeros, then we say that it is numerically singular and continue only if ABORT2=.FALSE., in which case an upper bound on the rank of the matrix is returned in IDISP5 when LBLOCK=.FALSE..
Rectangular matrices may be treated by setting N to the larger of the number of rows and numbers of columns and setting ABORT1=.FALSE..
Note:  the soft failure option should be used (last digit of IFAIL=1) if you wish to factorize singular matrices with ABORT1 or ABORT2 set to .FALSE..

8.4  Duplicated Nonzeros

The matrix A may consist of a sum of contributions from different sub-systems (for example finite elements). In such cases you may rely on F01BRF to perform assembly, since duplicated elements are summed.

8.5  Determinant

The following code may be used to compute the determinant of A (as the real variable DET) after a call of F01BRF:
   DET = 1.0
   ID = IDISP(1)
   DO 10 I = 1, N
      IDG = ID + IKEEP(3*N+I)
      DET = DET*A(IDG)
      IF (IKEEP(N+I).NE.I)DET = -DET
      IF (IKEEP(2*N+I).NE.I)DET = -DET
      ID = ID + IKEEP(I)
10 CONTINUE

9  Example

This example factorizes the real sparse matrix:
5 0 0 0 0 0 0 2 -1 2 0 0 0 0 3 0 0 0 -2 0 0 1 1 0 -1 0 0 -1 2 -3 -1 -1 0 0 0 6 .
This example program simply prints out some information about the factorization as returned by F01BRF in W1 and IDISP. Normally the call of F01BRF would be followed by a call of F04AXF (see Section 9 in F04AXF).

9.1  Program Text

Program Text (f01brfe.f90)

9.2  Program Data

Program Data (f01brfe.d)

9.3  Program Results

Program Results (f01brfe.r)


F01BRF (PDF version)
F01 Chapter Contents
F01 Chapter Introduction
NAG Library Manual

© The Numerical Algorithms Group Ltd, Oxford, UK. 2012