NAG FL Interface
f07paf (dspsv)
1
Purpose
f07paf computes the solution to a real system of linear equations
where
is an
by
symmetric matrix stored in packed format and
and
are
by
matrices.
2
Specification
Fortran Interface
Integer, Intent (In) |
:: |
n, nrhs, ldb |
Integer, Intent (Out) |
:: |
ipiv(n), info |
Real (Kind=nag_wp), Intent (Inout) |
:: |
ap(*), b(ldb,*) |
Character (1), Intent (In) |
:: |
uplo |
|
C Header Interface
#include <nag.h>
void |
f07paf_ (const char *uplo, const Integer *n, const Integer *nrhs, double ap[], Integer ipiv[], double b[], const Integer *ldb, Integer *info, const Charlen length_uplo) |
|
C++ Header Interface
#include <nag.h> extern "C" {
void |
f07paf_ (const char *uplo, const Integer &n, const Integer &nrhs, double ap[], Integer ipiv[], double b[], const Integer &ldb, Integer &info, const Charlen length_uplo) |
}
|
The routine may be called by the names f07paf, nagf_lapacklin_dspsv or its LAPACK name dspsv.
3
Description
f07paf uses the diagonal pivoting method to factor as if or if , where (or ) is a product of permutation and unit upper (lower) triangular matrices, is symmetric and block diagonal with by and by diagonal blocks. The factored form of is then used to solve the system of equations .
4
References
Anderson E, Bai Z, Bischof C, Blackford S, Demmel J, Dongarra J J, Du Croz J J, Greenbaum A, Hammarling S, McKenney A and Sorensen D (1999)
LAPACK Users' Guide (3rd Edition) SIAM, Philadelphia
https://www.netlib.org/lapack/lug
Golub G H and Van Loan C F (1996) Matrix Computations (3rd Edition) Johns Hopkins University Press, Baltimore
Higham N J (2002) Accuracy and Stability of Numerical Algorithms (2nd Edition) SIAM, Philadelphia
5
Arguments
-
1:
– Character(1)
Input
-
On entry: if
, the upper triangle of
is stored.
If , the lower triangle of is stored.
Constraint:
or .
-
2:
– Integer
Input
-
On entry: , the number of linear equations, i.e., the order of the matrix .
Constraint:
.
-
3:
– Integer
Input
-
On entry: , the number of right-hand sides, i.e., the number of columns of the matrix .
Constraint:
.
-
4:
– Real (Kind=nag_wp) array
Input/Output
-
Note: the dimension of the array
ap
must be at least
.
On entry: the
by
symmetric matrix
, packed by columns.
More precisely,
- if , the upper triangle of must be stored with element in for ;
- if , the lower triangle of must be stored with element in for .
On exit: the block diagonal matrix
and the multipliers used to obtain the factor
or
from the factorization
or
as computed by
f07pdf, stored as a packed triangular matrix in the same storage format as
.
-
5:
– Integer array
Output
-
On exit: details of the interchanges and the block structure of
. More precisely,
- if , is a by pivot block and the th row and column of were interchanged with the th row and column;
- if and , is a by pivot block and the th row and column of were interchanged with the th row and column;
- if and , is a by pivot block and the th row and column of were interchanged with the th row and column.
-
6:
– Real (Kind=nag_wp) array
Input/Output
-
Note: the second dimension of the array
b
must be at least
.
On entry: the by right-hand side matrix .
On exit: if , the by solution matrix .
-
7:
– Integer
Input
-
On entry: the first dimension of the array
b as declared in the (sub)program from which
f07paf is called.
Constraint:
.
-
8:
– Integer
Output
-
On exit:
unless the routine detects an error (see
Section 6).
6
Error Indicators and Warnings
If , argument had an illegal value. An explanatory message is output, and execution of the program is terminated.
-
Element of the diagonal is exactly zero.
The factorization has been completed, but the block diagonal matrix
is exactly singular, so the solution could not be computed.
7
Accuracy
The computed solution for a single right-hand side,
, satisfies an equation of the form
where
and
is the
machine precision. An approximate error bound for the computed solution is given by
where
, the condition number of
with respect to the solution of the linear equations. See Section 4.4 of
Anderson et al. (1999) and Chapter 11 of
Higham (2002) for further details.
f07pbf is a comprehensive LAPACK driver that returns forward and backward error bounds and an estimate of the condition number. Alternatively,
f04bjf solves
and returns a forward error bound and condition estimate.
f04bjf calls
f07paf to solve the equations.
8
Parallelism and Performance
f07paf makes calls to BLAS and/or LAPACK routines, which may be threaded within the vendor library used by this implementation. Consult the documentation for the vendor library for further information.
Please consult the
X06 Chapter Introduction for information on how to control and interrogate the OpenMP environment used within this routine. Please also consult the
Users' Note for your implementation for any additional implementation-specific information.
The total number of floating-point operations is approximately , where is the number of right-hand sides.
The complex analogues of
f07paf are
f07pnf for Hermitian matrices, and
f07qnf for symmetric matrices.
10
Example
This example solves the equations
where
is the symmetric matrix
Details of the factorization of are also output.
10.1
Program Text
10.2
Program Data
10.3
Program Results