zpst01.c

Go to the documentation of this file.

/* zpst01.f -- translated by f2c (version 20061008).
   You must link the resulting object file with libf2c:
        on Microsoft Windows system, link with libf2c.lib;
        on Linux or Unix systems, link with .../path/to/libf2c.a -lm
        or, if you install libf2c.a in a standard place, with -lf2c -lm
        -- in that order, at the end of the command line, as in
                cc *.o -lf2c -lm
        Source for libf2c is in /netlib/f2c/libf2c.zip, e.g.,

                http://www.netlib.org/f2c/libf2c.zip
*/

#include "f2c.h"
#include "blaswrap.h"

/* Table of constant values */

static integer c__1 = 1;
static doublereal c_b20 = 1.;

/* Subroutine */ int zpst01_(char *uplo, integer *n, doublecomplex *a, 
        integer *lda, doublecomplex *afac, integer *ldafac, doublecomplex *
        perm, integer *ldperm, integer *piv, doublereal *rwork, doublereal *
        resid, integer *rank)
{
    /* System generated locals */
    integer a_dim1, a_offset, afac_dim1, afac_offset, perm_dim1, perm_offset, 
            i__1, i__2, i__3, i__4, i__5;
    doublereal d__1;
    doublecomplex z__1;

    /* Builtin functions */
    double d_imag(doublecomplex *);
    void d_cnjg(doublecomplex *, doublecomplex *);

    /* Local variables */
    integer i__, j, k;
    doublecomplex tc;
    doublereal tr, eps;
    extern /* Subroutine */ int zher_(char *, integer *, doublereal *, 
            doublecomplex *, integer *, doublecomplex *, integer *);
    extern logical lsame_(char *, char *);
    doublereal anorm;
    extern /* Subroutine */ int zscal_(integer *, doublecomplex *, 
            doublecomplex *, integer *);
    extern /* Double Complex */ VOID zdotc_(doublecomplex *, integer *, 
            doublecomplex *, integer *, doublecomplex *, integer *);
    extern /* Subroutine */ int ztrmv_(char *, char *, char *, integer *, 
            doublecomplex *, integer *, doublecomplex *, integer *);
    extern doublereal dlamch_(char *), zlanhe_(char *, char *, 
            integer *, doublecomplex *, integer *, doublereal *);


/*  -- LAPACK test routine (version 3.1) -- */
/*     Craig Lucas, University of Manchester / NAG Ltd. */
/*     October, 2008 */

/*     .. Scalar Arguments .. */
/*     .. */
/*     .. Array Arguments .. */
/*     .. */

/*  Purpose */
/*  ======= */

/*  ZPST01 reconstructs an Hermitian positive semidefinite matrix A */
/*  from its L or U factors and the permutation matrix P and computes */
/*  the residual */
/*     norm( P*L*L'*P' - A ) / ( N * norm(A) * EPS ) or */
/*     norm( P*U'*U*P' - A ) / ( N * norm(A) * EPS ), */
/*  where EPS is the machine epsilon, L' is the conjugate transpose of L, */
/*  and U' is the conjugate transpose of U. */

/*  Arguments */
/*  ========== */

/*  UPLO    (input) CHARACTER*1 */
/*          Specifies whether the upper or lower triangular part of the */
/*          Hermitian matrix A is stored: */
/*          = 'U':  Upper triangular */
/*          = 'L':  Lower triangular */

/*  N       (input) INTEGER */
/*          The number of rows and columns of the matrix A.  N >= 0. */

/*  A       (input) COMPLEX*16 array, dimension (LDA,N) */
/*          The original Hermitian matrix A. */

/*  LDA     (input) INTEGER */
/*          The leading dimension of the array A.  LDA >= max(1,N) */

/*  AFAC    (input) COMPLEX*16 array, dimension (LDAFAC,N) */
/*          The factor L or U from the L*L' or U'*U */
/*          factorization of A. */

/*  LDAFAC  (input) INTEGER */
/*          The leading dimension of the array AFAC.  LDAFAC >= max(1,N). */

/*  PERM    (output) COMPLEX*16 array, dimension (LDPERM,N) */
/*          Overwritten with the reconstructed matrix, and then with the */
/*          difference P*L*L'*P' - A (or P*U'*U*P' - A) */

/*  LDPERM  (input) INTEGER */
/*          The leading dimension of the array PERM. */
/*          LDAPERM >= max(1,N). */

/*  PIV     (input) INTEGER array, dimension (N) */
/*          PIV is such that the nonzero entries are */
/*          P( PIV( K ), K ) = 1. */

/*  RWORK   (workspace) DOUBLE PRECISION array, dimension (N) */

/*  RESID   (output) DOUBLE PRECISION */
/*          If UPLO = 'L', norm(L*L' - A) / ( N * norm(A) * EPS ) */
/*          If UPLO = 'U', norm(U'*U - A) / ( N * norm(A) * EPS ) */

/*  ===================================================================== */

/*     .. Parameters .. */
/*     .. */
/*     .. Local Scalars .. */
/*     .. */
/*     .. External Functions .. */
/*     .. */
/*     .. External Subroutines .. */
/*     .. */
/*     .. Intrinsic Functions .. */
/*     .. */
/*     .. Executable Statements .. */

/*     Quick exit if N = 0. */

    /* Parameter adjustments */
    a_dim1 = *lda;
    a_offset = 1 + a_dim1;
    a -= a_offset;
    afac_dim1 = *ldafac;
    afac_offset = 1 + afac_dim1;
    afac -= afac_offset;
    perm_dim1 = *ldperm;
    perm_offset = 1 + perm_dim1;
    perm -= perm_offset;
    --piv;
    --rwork;

    /* Function Body */
    if (*n <= 0) {
        *resid = 0.;
        return 0;
    }

/*     Exit with RESID = 1/EPS if ANORM = 0. */

    eps = dlamch_("Epsilon");
    anorm = zlanhe_("1", uplo, n, &a[a_offset], lda, &rwork[1]);
    if (anorm <= 0.) {
        *resid = 1. / eps;
        return 0;
    }

/*     Check the imaginary parts of the diagonal elements and return with */
/*     an error code if any are nonzero. */

    i__1 = *n;
    for (j = 1; j <= i__1; ++j) {
        if (d_imag(&afac[j + j * afac_dim1]) != 0.) {
            *resid = 1. / eps;
            return 0;
        }
/* L100: */
    }

/*     Compute the product U'*U, overwriting U. */

    if (lsame_(uplo, "U")) {

        if (*rank < *n) {
            i__1 = *n;
            for (j = *rank + 1; j <= i__1; ++j) {
                i__2 = j;
                for (i__ = *rank + 1; i__ <= i__2; ++i__) {
                    i__3 = i__ + j * afac_dim1;
                    afac[i__3].r = 0., afac[i__3].i = 0.;
/* L110: */
                }
/* L120: */
            }
        }

        for (k = *n; k >= 1; --k) {

/*           Compute the (K,K) element of the result. */

            zdotc_(&z__1, &k, &afac[k * afac_dim1 + 1], &c__1, &afac[k * 
                    afac_dim1 + 1], &c__1);
            tr = z__1.r;
            i__1 = k + k * afac_dim1;
            afac[i__1].r = tr, afac[i__1].i = 0.;

/*           Compute the rest of column K. */

            i__1 = k - 1;
            ztrmv_("Upper", "Conjugate", "Non-unit", &i__1, &afac[afac_offset]
, ldafac, &afac[k * afac_dim1 + 1], &c__1);

/* L130: */
        }

/*     Compute the product L*L', overwriting L. */

    } else {

        if (*rank < *n) {
            i__1 = *n;
            for (j = *rank + 1; j <= i__1; ++j) {
                i__2 = *n;
                for (i__ = j; i__ <= i__2; ++i__) {
                    i__3 = i__ + j * afac_dim1;
                    afac[i__3].r = 0., afac[i__3].i = 0.;
/* L140: */
                }
/* L150: */
            }
        }

        for (k = *n; k >= 1; --k) {
/*           Add a multiple of column K of the factor L to each of */
/*           columns K+1 through N. */

            if (k + 1 <= *n) {
                i__1 = *n - k;
                zher_("Lower", &i__1, &c_b20, &afac[k + 1 + k * afac_dim1], &
                        c__1, &afac[k + 1 + (k + 1) * afac_dim1], ldafac);
            }

/*           Scale column K by the diagonal element. */

            i__1 = k + k * afac_dim1;
            tc.r = afac[i__1].r, tc.i = afac[i__1].i;
            i__1 = *n - k + 1;
            zscal_(&i__1, &tc, &afac[k + k * afac_dim1], &c__1);
/* L160: */
        }

    }

/*        Form P*L*L'*P' or P*U'*U*P' */

    if (lsame_(uplo, "U")) {

        i__1 = *n;
        for (j = 1; j <= i__1; ++j) {
            i__2 = *n;
            for (i__ = 1; i__ <= i__2; ++i__) {
                if (piv[i__] <= piv[j]) {
                    if (i__ <= j) {
                        i__3 = piv[i__] + piv[j] * perm_dim1;
                        i__4 = i__ + j * afac_dim1;
                        perm[i__3].r = afac[i__4].r, perm[i__3].i = afac[i__4]
                                .i;
                    } else {
                        i__3 = piv[i__] + piv[j] * perm_dim1;
                        d_cnjg(&z__1, &afac[j + i__ * afac_dim1]);
                        perm[i__3].r = z__1.r, perm[i__3].i = z__1.i;
                    }
                }
/* L170: */
            }
/* L180: */
        }


    } else {

        i__1 = *n;
        for (j = 1; j <= i__1; ++j) {
            i__2 = *n;
            for (i__ = 1; i__ <= i__2; ++i__) {
                if (piv[i__] >= piv[j]) {
                    if (i__ >= j) {
                        i__3 = piv[i__] + piv[j] * perm_dim1;
                        i__4 = i__ + j * afac_dim1;
                        perm[i__3].r = afac[i__4].r, perm[i__3].i = afac[i__4]
                                .i;
                    } else {
                        i__3 = piv[i__] + piv[j] * perm_dim1;
                        d_cnjg(&z__1, &afac[j + i__ * afac_dim1]);
                        perm[i__3].r = z__1.r, perm[i__3].i = z__1.i;
                    }
                }
/* L190: */
            }
/* L200: */
        }

    }

/*     Compute the difference  P*L*L'*P' - A (or P*U'*U*P' - A). */

    if (lsame_(uplo, "U")) {
        i__1 = *n;
        for (j = 1; j <= i__1; ++j) {
            i__2 = j - 1;
            for (i__ = 1; i__ <= i__2; ++i__) {
                i__3 = i__ + j * perm_dim1;
                i__4 = i__ + j * perm_dim1;
                i__5 = i__ + j * a_dim1;
                z__1.r = perm[i__4].r - a[i__5].r, z__1.i = perm[i__4].i - a[
                        i__5].i;
                perm[i__3].r = z__1.r, perm[i__3].i = z__1.i;
/* L210: */
            }
            i__2 = j + j * perm_dim1;
            i__3 = j + j * perm_dim1;
            i__4 = j + j * a_dim1;
            d__1 = a[i__4].r;
            z__1.r = perm[i__3].r - d__1, z__1.i = perm[i__3].i;
            perm[i__2].r = z__1.r, perm[i__2].i = z__1.i;
/* L220: */
        }
    } else {
        i__1 = *n;
        for (j = 1; j <= i__1; ++j) {
            i__2 = j + j * perm_dim1;
            i__3 = j + j * perm_dim1;
            i__4 = j + j * a_dim1;
            d__1 = a[i__4].r;
            z__1.r = perm[i__3].r - d__1, z__1.i = perm[i__3].i;
            perm[i__2].r = z__1.r, perm[i__2].i = z__1.i;
            i__2 = *n;
            for (i__ = j + 1; i__ <= i__2; ++i__) {
                i__3 = i__ + j * perm_dim1;
                i__4 = i__ + j * perm_dim1;
                i__5 = i__ + j * a_dim1;
                z__1.r = perm[i__4].r - a[i__5].r, z__1.i = perm[i__4].i - a[
                        i__5].i;
                perm[i__3].r = z__1.r, perm[i__3].i = z__1.i;
/* L230: */
            }
/* L240: */
        }
    }

/*     Compute norm( P*L*L'P - A ) / ( N * norm(A) * EPS ), or */
/*     ( P*U'*U*P' - A )/ ( N * norm(A) * EPS ). */

    *resid = zlanhe_("1", uplo, n, &perm[perm_offset], ldafac, &rwork[1]);

    *resid = *resid / (doublereal) (*n) / anorm / eps;

    return 0;

/*     End of ZPST01 */

} /* zpst01_ */