nag_zhetrs (f07msc) (PDF version)
f07 Chapter Contents
f07 Chapter Introduction
NAG C Library Manual

NAG Library Function Document

nag_zhetrs (f07msc)

+ Contents

    1  Purpose
    7  Accuracy

1  Purpose

nag_zhetrs (f07msc) solves a complex Hermitian indefinite system of linear equations with multiple right-hand sides,
AX=B ,
where A has been factorized by nag_zhetrf (f07mrc).

2  Specification

#include <nag.h>
#include <nagf07.h>
void  nag_zhetrs (Nag_OrderType order, Nag_UploType uplo, Integer n, Integer nrhs, const Complex a[], Integer pda, const Integer ipiv[], Complex b[], Integer pdb, NagError *fail)

3  Description

nag_zhetrs (f07msc) is used to solve a complex Hermitian indefinite system of linear equations AX=B, this function must be preceded by a call to nag_zhetrf (f07mrc) which computes the Bunch–Kaufman factorization of A.
If uplo=Nag_Upper, A=PUDUHPT, where P is a permutation matrix, U is an upper triangular matrix and D is an Hermitian block diagonal matrix with 1 by 1 and 2 by 2 blocks; the solution X is computed by solving PUDY=B and then UHPTX=Y.
If uplo=Nag_Lower, A=PLDLHPT, where L is a lower triangular matrix; the solution X is computed by solving PLDY=B and then LHPTX=Y.

4  References

Golub G H and Van Loan C F (1996) Matrix Computations (3rd Edition) Johns Hopkins University Press, Baltimore

5  Arguments

1:     orderNag_OrderTypeInput
On entry: the order argument specifies the two-dimensional storage scheme being used, i.e., row-major ordering or column-major ordering. C language defined storage is specified by order=Nag_RowMajor. See Section 3.2.1.3 in the Essential Introduction for a more detailed explanation of the use of this argument.
Constraint: order=Nag_RowMajor or Nag_ColMajor.
2:     uploNag_UploTypeInput
On entry: specifies how A has been factorized.
uplo=Nag_Upper
A=PUDUHPT, where U is upper triangular.
uplo=Nag_Lower
A=PLDLHPT, where L is lower triangular.
Constraint: uplo=Nag_Upper or Nag_Lower.
3:     nIntegerInput
On entry: n, the order of the matrix A.
Constraint: n0.
4:     nrhsIntegerInput
On entry: r, the number of right-hand sides.
Constraint: nrhs0.
5:     a[dim]const ComplexInput
Note: the dimension, dim, of the array a must be at least max1,pda×n.
On entry: details of the factorization of A, as returned by nag_zhetrf (f07mrc).
6:     pdaIntegerInput
On entry: the stride separating row or column elements (depending on the value of order) of the matrix in the array a.
Constraint: pdamax1,n.
7:     ipiv[dim]const IntegerInput
Note: the dimension, dim, of the array ipiv must be at least max1,n.
On entry: details of the interchanges and the block structure of D, as returned by nag_zhetrf (f07mrc).
8:     b[dim]ComplexInput/Output
Note: the dimension, dim, of the array b must be at least
  • max1,pdb×nrhs when order=Nag_ColMajor;
  • max1,n×pdb when order=Nag_RowMajor.
The i,jth element of the matrix B is stored in
  • b[j-1×pdb+i-1] when order=Nag_ColMajor;
  • b[i-1×pdb+j-1] when order=Nag_RowMajor.
On entry: the n by r right-hand side matrix B.
On exit: the n by r solution matrix X.
9:     pdbIntegerInput
On entry: the stride separating row or column elements (depending on the value of order) in the array b.
Constraints:
  • if order=Nag_ColMajor, pdbmax1,n;
  • if order=Nag_RowMajor, pdbmax1,nrhs.
10:   failNagError *Input/Output
The NAG error argument (see Section 3.6 in the Essential Introduction).

6  Error Indicators and Warnings

NE_ALLOC_FAIL
Dynamic memory allocation failed.
NE_BAD_PARAM
On entry, argument value had an illegal value.
NE_INT
On entry, n=value.
Constraint: n0.
On entry, nrhs=value.
Constraint: nrhs0.
On entry, pda=value.
Constraint: pda>0.
On entry, pdb=value.
Constraint: pdb>0.
NE_INT_2
On entry, pda=value and n=value.
Constraint: pdamax1,n.
On entry, pdb=value and n=value.
Constraint: pdbmax1,n.
On entry, pdb=value and nrhs=value.
Constraint: pdbmax1,nrhs.
NE_INTERNAL_ERROR
An internal error has occurred in this function. Check the function call and any array sizes. If the call is correct then please contact NAG for assistance.

7  Accuracy

For each right-hand side vector b, the computed solution x is the exact solution of a perturbed system of equations A+Ex=b, where cn is a modest linear function of n, and ε is the machine precision.
If x^ is the true solution, then the computed solution x satisfies a forward error bound of the form
x-x^ x cncondA,xε
where condA,x=A-1Ax/xcondA=A-1AκA.
Note that condA,x can be much smaller than condA.
Forward and backward error bounds can be computed by calling nag_zherfs (f07mvc), and an estimate for κA (=κ1A) can be obtained by calling nag_zhecon (f07muc).

8  Further Comments

The total number of real floating point operations is approximately 8n2r.
This function may be followed by a call to nag_zherfs (f07mvc) to refine the solution and return an error estimate.
The real analogue of this function is nag_dsytrs (f07mec).

9  Example

This example solves the system of equations AX=B, where
A= -1.36+0.00i 1.58+0.90i 2.21-0.21i 3.91+1.50i 1.58-0.90i -8.87+0.00i -1.84-0.03i -1.78+1.18i 2.21+0.21i -1.84+0.03i -4.63+0.00i 0.11+0.11i 3.91-1.50i -1.78-1.18i 0.11-0.11i -1.84+0.00i
and
B= 7.79+05.48i -35.39+18.01i -0.77-16.05i 4.23-70.02i -9.58+03.88i -24.79-08.40i 2.98-10.18i 28.68-39.89i .
Here A is Hermitian indefinite and must first be factorized by nag_zhetrf (f07mrc).

9.1  Program Text

Program Text (f07msce.c)

9.2  Program Data

Program Data (f07msce.d)

9.3  Program Results

Program Results (f07msce.r)


nag_zhetrs (f07msc) (PDF version)
f07 Chapter Contents
f07 Chapter Introduction
NAG C Library Manual

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