f07mgf estimates the condition number of a real symmetric indefinite matrix
$A$, where
$A$ has been factorized by
f07mdf.
f07mgf estimates the condition number (in the
$1$-norm) of a real symmetric indefinite matrix
$A$:
Since
$A$ is symmetric,
${\kappa}_{1}\left(A\right)={\kappa}_{\infty}\left(A\right)={\Vert A\Vert}_{\infty}{\Vert {A}^{-1}\Vert}_{\infty}$.
The routine should be preceded by a call to
f06rcf to compute
${\Vert A\Vert}_{1}$ and a call to
f07mdf to compute the Bunch–Kaufman factorization of
$A$. The routine then uses Higham's implementation of Hager's method (see
Higham (1988)) to estimate
${\Vert {A}^{-1}\Vert}_{1}$.
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
The computed estimate
rcond is never less than the true value
$\rho $, and in practice is nearly always less than
$10\rho $, although examples can be constructed where
rcond is much larger.
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.
A call to
f07mgf involves solving a number of systems of linear equations of the form
$Ax=b$; the number is usually
$4$ or
$5$ and never more than
$11$. Each solution involves approximately
$2{n}^{2}$ floating-point operations but takes considerably longer than a call to
f07mef with one right-hand side, because extra care is taken to avoid overflow when
$A$ is approximately singular.
The complex analogues of this routine are
f07muf for Hermitian matrices and
f07nuf for symmetric matrices.
This example estimates the condition number in the
$1$-norm (or
$\infty $-norm) of the matrix
$A$, where
Here
$A$ is symmetric indefinite and must first be factorized by
f07mdf. The true condition number in the
$1$-norm is
$75.68$.