f07muc (pdf version)

Chapter Contents

Chapter Introduction

NAG C Library Contents

NAG C Library Function Document

nag_zhecon (f07muc)

+− Contents

1 Purpose

2 Specification

3 Description

4 References

5 Parameters

6 Error Indicators and Warnings

7 Accuracy

8 Further Comments

+− 9 Example

9.1 Program Text

9.2 Program Data

9.3 Program Results

1 Purpose

nag_zhecon (f07muc) estimates the condition number of a complex Hermitian indefinite matrix

A

A

has been factorized by nag_zhetrf (f07mrc).

2 Specification

#include <nag.h> #include <nagf07.h>
void nag_zhecon	(Nag_OrderType order, Nag_UploType uplo, Integer n, const Complex a[], Integer pda, const Integer ipiv[], double anorm, double rcond, NagError fail)

3 Description

nag_zhecon (f07muc) estimates the condition number (in the one-norm) of a complex Hermitian indefinite matrix

A

κ_{1} (A) = {‖A‖}_{1} {‖A^{- 1}‖}_{1} .

A

κ_{1} (A) = κ_{\infty} (A) = {‖A‖}_{\infty} {‖A^{- 1}‖}_{\infty}

κ_{1} (A)

A

is singular, the function actually returns an estimate of the reciprocal of

κ_{1} (A)

The function should be preceded by a call to nag_zhe_norm (f16ucc) to compute

{‖A‖}_{1}

and a call to nag_zhetrf (f07mrc) to compute the Bunch–Kaufman factorization of

A

. The function then uses Higham's implementation of Hager's method (see Higham (1988)) to estimate

{‖A^{- 1}‖}_{1}

.

4 References

Higham N J (1988) FORTRAN codes for estimating the one-norm of a real or complex matrix, with applications to condition estimation ACM Trans. Math. Software 14 381–396

5 Parameters

1: order – Nag_OrderTypeInput

On entry: the order parameter 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 2.2.1.4 of the Essential Introduction for a more detailed explanation of the use of this parameter.

Constraint: order

=

Nag_RowMajor or Nag_ColMajor.

2: uplo – Nag_UploType Input

On entry: indicates how

A

has been factorized as follows:

if $uplo$ $=$ Nag_Upper, $A = P U D U^{H} P^{T}$ , where $U$ is upper triangular;
if $uplo$ $=$ Nag_Lower, $A = P L D L^{H} P^{T}$ , where $L$ is lower triangular.

uplo

=

Nag_Upper or Nag_Lower.

3: n – Integer Input

n

, the order of the matrix

A

n \geq 0

4: a[ $\dim$ ] – const Complex Input

Note: the dimension, dim, of the array a must be at least

\max (1, pda \times \max (1, n))

.

On entry: details of the factorization of

A

, as returned by nag_zhetrf (f07mrc).

5: pda – Integer Input

On entry: the stride separating row or column elements (depending on the value of order ) of the matrix in the array a .

Constraint:

pda \geq \max (1, n)

.

6: ipiv[ $\dim$ ] – const Integer Input

Note: the dimension, dim, of the array ipiv must be at least

\max (1, n)

.

On entry: details of the interchanges and the block structure of

D

, as returned by nag_zhetrf (f07mrc).

7: anorm – double Input

On entry: the one-norm of the original matrix

A

, which may be computed by calling nag_zhe_norm (f16ucc). anorm must be computed either before calling nag_zhetrf (f07mrc) or else from a copy of the original matrix

A

.

Constraint:

anorm \geq 0.0

.

8: rcond – double *Output

On exit: an estimate of the reciprocal of the condition number of

A

. rcond is set to zero if exact singularity is detected or the estimate underflows. If rcond is less than machine precision,

A

is singular to working precision.

9: fail – NagError *Input/Output

The NAG error parameter (see the Essential Introduction).

6 Error Indicators and Warnings

NE_INT: On entry, $n = 〈value〉$ .
Constraint: $n \geq 0$ .; On entry, $pda = 〈value〉$ .
Constraint: $pda > 0$ .
NE_INT_2: On entry, $pda = 〈value〉$ , $n = 〈value〉$ .
Constraint: $pda \geq \max (1, n)$ .
NE_REAL: On entry, $anorm = 〈value〉$ .
Constraint: $anorm \geq 0.0$ .
NE_ALLOC_FAIL: Memory allocation failed.
NE_BAD_PARAM: On entry, parameter $〈value〉$ had an illegal value.
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 consult NAG for assistance.

7 Accuracy

The computed estimate rcond is never less than the true value

ρ

, and in practice is nearly always less than

10 ρ

, although examples can be constructed where rcond is much larger.

8 Further Comments

A call to nag_zhecon (f07muc) involves solving a number of systems of linear equations of the form

A x = b

; the number is usually 5 and never more than 11. Each solution involves approximately

8 n^{2}

real floating-point operations but takes considerably longer than a call to nag_zhetrs (f07msc) with one right-hand side, because extra care is taken to avoid overflow when

A

is approximately singular.

The real analogue of this function is nag_dsycon (f07mgc).

9 Example

To estimate the condition number in the one-norm (or infinity-norm) of the matrix

A

A = (\begin{matrix} - 1.36 + 0.00 i & 1.58 + 0.90 i & 2.21 - 0.21 i & 3.91 + 1.50 i \\ 1.58 - 0.90 i & - 8.87 + 0.00 i & - 1.84 - 0.03 i & - 1.78 + 1.18 i \\ 2.21 + 0.21 i & - 1.84 + 0.03 i & - 4.63 + 0.00 i & 0.11 + 0.11 i \\ 3.91 - 1.50 i & - 1.78 - 1.18 i & 0.11 - 0.11 i & - 1.84 + 0.00 i \end{matrix}) .

A

is Hermitian indefinite and must first be factorized by nag_zhetrf (f07mrc). The true condition number in the one-norm is

9.10

.

9.1 Program Text

Program Text (f07muce.c)

9.2 Program Data

Program Data (f07muce.d)

9.3 Program Results

Program Results (f07muce.r)

f07muc (pdf version)

Chapter Contents

Chapter Introduction

NAG C Library Contents

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