?gerfs

Developer Reference for Intel® oneAPI Math Kernel Library for Fortran

Download PDF

ID 766686

Date 11/07/2023

Version

Public

A newer version of this document is available. Customers should click here to go to the newest version.

Visible to Intel only — GUID: GUID-A3CD196D-97A3-4135-8E78-1813A0A73E84

View Details

?gerfs

Refines the solution of a system of linear equations with a general coefficient matrix and estimates its error.

Syntax

call sgerfs( trans, n, nrhs, a, lda, af, ldaf, ipiv, b, ldb, x, ldx, ferr, berr, work, iwork, info )

call dgerfs( trans, n, nrhs, a, lda, af, ldaf, ipiv, b, ldb, x, ldx, ferr, berr, work, iwork, info )

call cgerfs( trans, n, nrhs, a, lda, af, ldaf, ipiv, b, ldb, x, ldx, ferr, berr, work, rwork, info )

call zgerfs( trans, n, nrhs, a, lda, af, ldaf, ipiv, b, ldb, x, ldx, ferr, berr, work, rwork, info )

call gerfs( a, af, ipiv, b, x [,trans] [,ferr] [,berr] [,info] )

Include Files

mkl.fi, lapack.f90

Description

The routine performs an iterative refinement of the solution to a system of linear equations A*X = B or A^T*X = B or A^H*X = B with a general matrix A, with multiple right-hand sides. For each computed solution vector x, the routine computes the component-wise backward errorβ. This error is the smallest relative perturbation in elements of A and b such that x is the exact solution of the perturbed system:

|δa_ij| ≤β|a_ij|, |δb_i| ≤β|b_i| such that (A + δA)x = (b + δb).

Finally, the routine estimates the component-wise forward error in the computed solution ||x - x_e||_∞/||x||_∞ (here x_e is the exact solution).

Before calling this routine:

call the factorization routine ?getrf
call the solver routine ?getrs.

Input Parameters

trans	CHARACTER1. Must be 'N' or 'T' or 'C'. Indicates the form of the equations: If `trans = 'N'`, the system has the form `AX = B`. If `trans = 'T'`, the system has the form `A`^T`X` = `B`. If `trans = 'C'`, the system has the form `A`^H`X` = `B`.
n	INTEGER. The order of the matrix `A`; `n`≥ 0.
nrhs	INTEGER. The number of right-hand sides; `nrhs`≥ 0.
a,af,b,x,work	REAL for sgerfs DOUBLE PRECISION for dgerfs COMPLEX for cgerfs DOUBLE COMPLEX for zgerfs. Arrays: `a`(size `lda` by ) contains the original matrix `A`, as supplied to ?getrf. `af`(size `ldaf` by ) contains the factored matrix `A`, as returned by ?getrf. `b`(size `ldb` by ) contains the right-hand side matrix `B`. `x`(size `ldx` by ) contains the solution matrix `X`. `work`(size ) is a workspace array. The second dimension of `a` and `af` must be at least `max(1, n)`; the second dimension of `b` and `x` must be at least `max(1, nrhs)`; the dimension of `work` must be at least `max(1, 3n)` for real flavors and `max(1, 2*n)` for complex flavors.
lda	INTEGER. The leading dimension of `a`; `lda≥ max(1, n)`.
ldaf	INTEGER. The leading dimension of `af`; `ldaf≥ max(1, n)`.
ldb	INTEGER. The leading dimension of `b`; `ldb≥ max(1, n)`.
ldx	INTEGER. The leading dimension of `x`; `ldx≥ max(1, n)`.
ipiv	INTEGER. Array, size at least `max(1, n)`. The `ipiv` array, as returned by ?getrf.
iwork	INTEGER. Workspace array, size at least `max(1, n)`.
rwork	REAL for cgerfs DOUBLE PRECISION for zgerfs. Workspace array, size at least `max(1, n)`.

Output Parameters

The refined solution matrix X.

ferr, berr

REAL for single precision flavors

DOUBLE PRECISION for double precision flavors.

Arrays, size at least max(1, nrhs). Contain the component-wise forward and backward errors, respectively, for each solution vector.

info

INTEGER. If info = 0, the execution is successful.

If info = -i, the i-th parameter had an illegal value.

LAPACK 95 Interface Notes

Routines in Fortran 95 interface have fewer arguments in the calling sequence than their FORTRAN 77 counterparts. For general conventions applied to skip redundant or reconstructible arguments, see LAPACK 95 Interface Conventions.

Specific details for the routine gerfs interface are as follows:

a	Holds the matrix `A` of size (`n`, `n`).
af	Holds the matrix `AF` of size (`n`, `n`).
ipiv	Holds the vector of length `n`.
b	Holds the matrix `B` of size (`n`, `nrhs`).
x	Holds the matrix `X` of size (`n`, `nrhs`).
ferr	Holds the vector of length (`nrhs`).
berr	Holds the vector of length (`nrhs`).
trans	Must be 'N', 'C', or 'T'. The default value is 'N'.

Application Notes

The bounds returned in ferr are not rigorous, but in practice they almost always overestimate the actual error.

For each right-hand side, computation of the backward error involves a minimum of 4n² floating-point operations (for real flavors) or 16n² operations (for complex flavors). In addition, each step of iterative refinement involves 6n² operations (for real flavors) or 24n² operations (for complex flavors); the number of iterations may range from 1 to 5. Estimating the forward error involves solving a number of systems of linear equations A*x = b with the same coefficient matrix A and different right hand sides b; the number is usually 4 or 5 and never more than 11. Each solution requires approximately 2n² floating-point operations for real flavors or 8n² for complex flavors.

Parent topic: Refining the Solution and Estimating Its Error: LAPACK Computational Routines

Select Your Language

Using Intel.com Search

Quick Links

Recent Searches

Advanced Search

Only search in

Developer Reference for Intel® oneAPI Math Kernel Library for Fortran

?gerfs

Syntax

Include Files

Description

Input Parameters

Output Parameters

LAPACK 95 Interface Notes

Application Notes

See Also