/* zgtrfs.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_b18 = -1.; static doublereal c_b19 = 1.; static doublecomplex c_b26 = {1.,0.}; /* Subroutine */ int zgtrfs_(char *trans, integer *n, integer *nrhs, doublecomplex *dl, doublecomplex *d__, doublecomplex *du, doublecomplex *dlf, doublecomplex *df, doublecomplex *duf, doublecomplex *du2, integer *ipiv, doublecomplex *b, integer *ldb, doublecomplex *x, integer *ldx, doublereal *ferr, doublereal *berr, doublecomplex *work, doublereal *rwork, integer *info) { /* System generated locals */ integer b_dim1, b_offset, x_dim1, x_offset, i__1, i__2, i__3, i__4, i__5, i__6, i__7, i__8, i__9; doublereal d__1, d__2, d__3, d__4, d__5, d__6, d__7, d__8, d__9, d__10, d__11, d__12, d__13, d__14; doublecomplex z__1; /* Builtin functions */ double d_imag(doublecomplex *); /* Local variables */ integer i__, j; doublereal s; integer nz; doublereal eps; integer kase; doublereal safe1, safe2; extern logical lsame_(char *, char *); integer isave[3], count; extern /* Subroutine */ int zcopy_(integer *, doublecomplex *, integer *, doublecomplex *, integer *), zaxpy_(integer *, doublecomplex *, doublecomplex *, integer *, doublecomplex *, integer *), zlacn2_( integer *, doublecomplex *, doublecomplex *, doublereal *, integer *, integer *); extern doublereal dlamch_(char *); doublereal safmin; extern /* Subroutine */ int xerbla_(char *, integer *), zlagtm_( char *, integer *, integer *, doublereal *, doublecomplex *, doublecomplex *, doublecomplex *, doublecomplex *, integer *, doublereal *, doublecomplex *, integer *); logical notran; char transn[1], transt[1]; doublereal lstres; extern /* Subroutine */ int zgttrs_(char *, integer *, integer *, doublecomplex *, doublecomplex *, doublecomplex *, doublecomplex * , integer *, doublecomplex *, integer *, integer *); /* -- LAPACK routine (version 3.2) -- */ /* Univ. of Tennessee, Univ. of California Berkeley and NAG Ltd.. */ /* November 2006 */ /* Modified to call ZLACN2 in place of ZLACON, 10 Feb 03, SJH. */ /* .. Scalar Arguments .. */ /* .. */ /* .. Array Arguments .. */ /* .. */ /* Purpose */ /* ======= */ /* ZGTRFS improves the computed solution to a system of linear */ /* equations when the coefficient matrix is tridiagonal, and provides */ /* error bounds and backward error estimates for the solution. */ /* Arguments */ /* ========= */ /* TRANS (input) CHARACTER*1 */ /* Specifies the form of the system of equations: */ /* = 'N': A * X = B (No transpose) */ /* = 'T': A**T * X = B (Transpose) */ /* = 'C': A**H * X = B (Conjugate transpose) */ /* N (input) INTEGER */ /* The order of the matrix A. N >= 0. */ /* NRHS (input) INTEGER */ /* The number of right hand sides, i.e., the number of columns */ /* of the matrix B. NRHS >= 0. */ /* DL (input) COMPLEX*16 array, dimension (N-1) */ /* The (n-1) subdiagonal elements of A. */ /* D (input) COMPLEX*16 array, dimension (N) */ /* The diagonal elements of A. */ /* DU (input) COMPLEX*16 array, dimension (N-1) */ /* The (n-1) superdiagonal elements of A. */ /* DLF (input) COMPLEX*16 array, dimension (N-1) */ /* The (n-1) multipliers that define the matrix L from the */ /* LU factorization of A as computed by ZGTTRF. */ /* DF (input) COMPLEX*16 array, dimension (N) */ /* The n diagonal elements of the upper triangular matrix U from */ /* the LU factorization of A. */ /* DUF (input) COMPLEX*16 array, dimension (N-1) */ /* The (n-1) elements of the first superdiagonal of U. */ /* DU2 (input) COMPLEX*16 array, dimension (N-2) */ /* The (n-2) elements of the second superdiagonal of U. */ /* IPIV (input) INTEGER array, dimension (N) */ /* The pivot indices; for 1 <= i <= n, row i of the matrix was */ /* interchanged with row IPIV(i). IPIV(i) will always be either */ /* i or i+1; IPIV(i) = i indicates a row interchange was not */ /* required. */ /* B (input) COMPLEX*16 array, dimension (LDB,NRHS) */ /* The right hand side matrix B. */ /* LDB (input) INTEGER */ /* The leading dimension of the array B. LDB >= max(1,N). */ /* X (input/output) COMPLEX*16 array, dimension (LDX,NRHS) */ /* On entry, the solution matrix X, as computed by ZGTTRS. */ /* On exit, the improved solution matrix X. */ /* LDX (input) INTEGER */ /* The leading dimension of the array X. LDX >= max(1,N). */ /* FERR (output) DOUBLE PRECISION array, dimension (NRHS) */ /* The estimated forward error bound for each solution vector */ /* X(j) (the j-th column of the solution matrix X). */ /* If XTRUE is the true solution corresponding to X(j), FERR(j) */ /* is an estimated upper bound for the magnitude of the largest */ /* element in (X(j) - XTRUE) divided by the magnitude of the */ /* largest element in X(j). The estimate is as reliable as */ /* the estimate for RCOND, and is almost always a slight */ /* overestimate of the true error. */ /* BERR (output) DOUBLE PRECISION array, dimension (NRHS) */ /* The componentwise relative backward error of each solution */ /* vector X(j) (i.e., the smallest relative change in */ /* any element of A or B that makes X(j) an exact solution). */ /* WORK (workspace) COMPLEX*16 array, dimension (2*N) */ /* RWORK (workspace) DOUBLE PRECISION array, dimension (N) */ /* INFO (output) INTEGER */ /* = 0: successful exit */ /* < 0: if INFO = -i, the i-th argument had an illegal value */ /* Internal Parameters */ /* =================== */ /* ITMAX is the maximum number of steps of iterative refinement. */ /* ===================================================================== */ /* .. Parameters .. */ /* .. */ /* .. Local Scalars .. */ /* .. */ /* .. Local Arrays .. */ /* .. */ /* .. External Subroutines .. */ /* .. */ /* .. Intrinsic Functions .. */ /* .. */ /* .. External Functions .. */ /* .. */ /* .. Statement Functions .. */ /* .. */ /* .. Statement Function definitions .. */ /* .. */ /* .. Executable Statements .. */ /* Test the input parameters. */ /* Parameter adjustments */ --dl; --d__; --du; --dlf; --df; --duf; --du2; --ipiv; b_dim1 = *ldb; b_offset = 1 + b_dim1; b -= b_offset; x_dim1 = *ldx; x_offset = 1 + x_dim1; x -= x_offset; --ferr; --berr; --work; --rwork; /* Function Body */ *info = 0; notran = lsame_(trans, "N"); if (! notran && ! lsame_(trans, "T") && ! lsame_( trans, "C")) { *info = -1; } else if (*n < 0) { *info = -2; } else if (*nrhs < 0) { *info = -3; } else if (*ldb < max(1,*n)) { *info = -13; } else if (*ldx < max(1,*n)) { *info = -15; } if (*info != 0) { i__1 = -(*info); xerbla_("ZGTRFS", &i__1); return 0; } /* Quick return if possible */ if (*n == 0 || *nrhs == 0) { i__1 = *nrhs; for (j = 1; j <= i__1; ++j) { ferr[j] = 0.; berr[j] = 0.; /* L10: */ } return 0; } if (notran) { *(unsigned char *)transn = 'N'; *(unsigned char *)transt = 'C'; } else { *(unsigned char *)transn = 'C'; *(unsigned char *)transt = 'N'; } /* NZ = maximum number of nonzero elements in each row of A, plus 1 */ nz = 4; eps = dlamch_("Epsilon"); safmin = dlamch_("Safe minimum"); safe1 = nz * safmin; safe2 = safe1 / eps; /* Do for each right hand side */ i__1 = *nrhs; for (j = 1; j <= i__1; ++j) { count = 1; lstres = 3.; L20: /* Loop until stopping criterion is satisfied. */ /* Compute residual R = B - op(A) * X, */ /* where op(A) = A, A**T, or A**H, depending on TRANS. */ zcopy_(n, &b[j * b_dim1 + 1], &c__1, &work[1], &c__1); zlagtm_(trans, n, &c__1, &c_b18, &dl[1], &d__[1], &du[1], &x[j * x_dim1 + 1], ldx, &c_b19, &work[1], n); /* Compute abs(op(A))*abs(x) + abs(b) for use in the backward */ /* error bound. */ if (notran) { if (*n == 1) { i__2 = j * b_dim1 + 1; i__3 = j * x_dim1 + 1; rwork[1] = (d__1 = b[i__2].r, abs(d__1)) + (d__2 = d_imag(&b[ j * b_dim1 + 1]), abs(d__2)) + ((d__3 = d__[1].r, abs( d__3)) + (d__4 = d_imag(&d__[1]), abs(d__4))) * (( d__5 = x[i__3].r, abs(d__5)) + (d__6 = d_imag(&x[j * x_dim1 + 1]), abs(d__6))); } else { i__2 = j * b_dim1 + 1; i__3 = j * x_dim1 + 1; i__4 = j * x_dim1 + 2; rwork[1] = (d__1 = b[i__2].r, abs(d__1)) + (d__2 = d_imag(&b[ j * b_dim1 + 1]), abs(d__2)) + ((d__3 = d__[1].r, abs( d__3)) + (d__4 = d_imag(&d__[1]), abs(d__4))) * (( d__5 = x[i__3].r, abs(d__5)) + (d__6 = d_imag(&x[j * x_dim1 + 1]), abs(d__6))) + ((d__7 = du[1].r, abs( d__7)) + (d__8 = d_imag(&du[1]), abs(d__8))) * ((d__9 = x[i__4].r, abs(d__9)) + (d__10 = d_imag(&x[j * x_dim1 + 2]), abs(d__10))); i__2 = *n - 1; for (i__ = 2; i__ <= i__2; ++i__) { i__3 = i__ + j * b_dim1; i__4 = i__ - 1; i__5 = i__ - 1 + j * x_dim1; i__6 = i__; i__7 = i__ + j * x_dim1; i__8 = i__; i__9 = i__ + 1 + j * x_dim1; rwork[i__] = (d__1 = b[i__3].r, abs(d__1)) + (d__2 = d_imag(&b[i__ + j * b_dim1]), abs(d__2)) + ((d__3 = dl[i__4].r, abs(d__3)) + (d__4 = d_imag(&dl[i__ - 1]), abs(d__4))) * ((d__5 = x[i__5].r, abs(d__5) ) + (d__6 = d_imag(&x[i__ - 1 + j * x_dim1]), abs( d__6))) + ((d__7 = d__[i__6].r, abs(d__7)) + ( d__8 = d_imag(&d__[i__]), abs(d__8))) * ((d__9 = x[i__7].r, abs(d__9)) + (d__10 = d_imag(&x[i__ + j * x_dim1]), abs(d__10))) + ((d__11 = du[i__8].r, abs(d__11)) + (d__12 = d_imag(&du[i__]), abs( d__12))) * ((d__13 = x[i__9].r, abs(d__13)) + ( d__14 = d_imag(&x[i__ + 1 + j * x_dim1]), abs( d__14))); /* L30: */ } i__2 = *n + j * b_dim1; i__3 = *n - 1; i__4 = *n - 1 + j * x_dim1; i__5 = *n; i__6 = *n + j * x_dim1; rwork[*n] = (d__1 = b[i__2].r, abs(d__1)) + (d__2 = d_imag(&b[ *n + j * b_dim1]), abs(d__2)) + ((d__3 = dl[i__3].r, abs(d__3)) + (d__4 = d_imag(&dl[*n - 1]), abs(d__4))) * ((d__5 = x[i__4].r, abs(d__5)) + (d__6 = d_imag(&x[* n - 1 + j * x_dim1]), abs(d__6))) + ((d__7 = d__[i__5] .r, abs(d__7)) + (d__8 = d_imag(&d__[*n]), abs(d__8))) * ((d__9 = x[i__6].r, abs(d__9)) + (d__10 = d_imag(& x[*n + j * x_dim1]), abs(d__10))); } } else { if (*n == 1) { i__2 = j * b_dim1 + 1; i__3 = j * x_dim1 + 1; rwork[1] = (d__1 = b[i__2].r, abs(d__1)) + (d__2 = d_imag(&b[ j * b_dim1 + 1]), abs(d__2)) + ((d__3 = d__[1].r, abs( d__3)) + (d__4 = d_imag(&d__[1]), abs(d__4))) * (( d__5 = x[i__3].r, abs(d__5)) + (d__6 = d_imag(&x[j * x_dim1 + 1]), abs(d__6))); } else { i__2 = j * b_dim1 + 1; i__3 = j * x_dim1 + 1; i__4 = j * x_dim1 + 2; rwork[1] = (d__1 = b[i__2].r, abs(d__1)) + (d__2 = d_imag(&b[ j * b_dim1 + 1]), abs(d__2)) + ((d__3 = d__[1].r, abs( d__3)) + (d__4 = d_imag(&d__[1]), abs(d__4))) * (( d__5 = x[i__3].r, abs(d__5)) + (d__6 = d_imag(&x[j * x_dim1 + 1]), abs(d__6))) + ((d__7 = dl[1].r, abs( d__7)) + (d__8 = d_imag(&dl[1]), abs(d__8))) * ((d__9 = x[i__4].r, abs(d__9)) + (d__10 = d_imag(&x[j * x_dim1 + 2]), abs(d__10))); i__2 = *n - 1; for (i__ = 2; i__ <= i__2; ++i__) { i__3 = i__ + j * b_dim1; i__4 = i__ - 1; i__5 = i__ - 1 + j * x_dim1; i__6 = i__; i__7 = i__ + j * x_dim1; i__8 = i__; i__9 = i__ + 1 + j * x_dim1; rwork[i__] = (d__1 = b[i__3].r, abs(d__1)) + (d__2 = d_imag(&b[i__ + j * b_dim1]), abs(d__2)) + ((d__3 = du[i__4].r, abs(d__3)) + (d__4 = d_imag(&du[i__ - 1]), abs(d__4))) * ((d__5 = x[i__5].r, abs(d__5) ) + (d__6 = d_imag(&x[i__ - 1 + j * x_dim1]), abs( d__6))) + ((d__7 = d__[i__6].r, abs(d__7)) + ( d__8 = d_imag(&d__[i__]), abs(d__8))) * ((d__9 = x[i__7].r, abs(d__9)) + (d__10 = d_imag(&x[i__ + j * x_dim1]), abs(d__10))) + ((d__11 = dl[i__8].r, abs(d__11)) + (d__12 = d_imag(&dl[i__]), abs( d__12))) * ((d__13 = x[i__9].r, abs(d__13)) + ( d__14 = d_imag(&x[i__ + 1 + j * x_dim1]), abs( d__14))); /* L40: */ } i__2 = *n + j * b_dim1; i__3 = *n - 1; i__4 = *n - 1 + j * x_dim1; i__5 = *n; i__6 = *n + j * x_dim1; rwork[*n] = (d__1 = b[i__2].r, abs(d__1)) + (d__2 = d_imag(&b[ *n + j * b_dim1]), abs(d__2)) + ((d__3 = du[i__3].r, abs(d__3)) + (d__4 = d_imag(&du[*n - 1]), abs(d__4))) * ((d__5 = x[i__4].r, abs(d__5)) + (d__6 = d_imag(&x[* n - 1 + j * x_dim1]), abs(d__6))) + ((d__7 = d__[i__5] .r, abs(d__7)) + (d__8 = d_imag(&d__[*n]), abs(d__8))) * ((d__9 = x[i__6].r, abs(d__9)) + (d__10 = d_imag(& x[*n + j * x_dim1]), abs(d__10))); } } /* Compute componentwise relative backward error from formula */ /* max(i) ( abs(R(i)) / ( abs(op(A))*abs(X) + abs(B) )(i) ) */ /* where abs(Z) is the componentwise absolute value of the matrix */ /* or vector Z. If the i-th component of the denominator is less */ /* than SAFE2, then SAFE1 is added to the i-th components of the */ /* numerator and denominator before dividing. */ s = 0.; i__2 = *n; for (i__ = 1; i__ <= i__2; ++i__) { if (rwork[i__] > safe2) { /* Computing MAX */ i__3 = i__; d__3 = s, d__4 = ((d__1 = work[i__3].r, abs(d__1)) + (d__2 = d_imag(&work[i__]), abs(d__2))) / rwork[i__]; s = max(d__3,d__4); } else { /* Computing MAX */ i__3 = i__; d__3 = s, d__4 = ((d__1 = work[i__3].r, abs(d__1)) + (d__2 = d_imag(&work[i__]), abs(d__2)) + safe1) / (rwork[i__] + safe1); s = max(d__3,d__4); } /* L50: */ } berr[j] = s; /* Test stopping criterion. Continue iterating if */ /* 1) The residual BERR(J) is larger than machine epsilon, and */ /* 2) BERR(J) decreased by at least a factor of 2 during the */ /* last iteration, and */ /* 3) At most ITMAX iterations tried. */ if (berr[j] > eps && berr[j] * 2. <= lstres && count <= 5) { /* Update solution and try again. */ zgttrs_(trans, n, &c__1, &dlf[1], &df[1], &duf[1], &du2[1], &ipiv[ 1], &work[1], n, info); zaxpy_(n, &c_b26, &work[1], &c__1, &x[j * x_dim1 + 1], &c__1); lstres = berr[j]; ++count; goto L20; } /* Bound error from formula */ /* norm(X - XTRUE) / norm(X) .le. FERR = */ /* norm( abs(inv(op(A)))* */ /* ( abs(R) + NZ*EPS*( abs(op(A))*abs(X)+abs(B) ))) / norm(X) */ /* where */ /* norm(Z) is the magnitude of the largest component of Z */ /* inv(op(A)) is the inverse of op(A) */ /* abs(Z) is the componentwise absolute value of the matrix or */ /* vector Z */ /* NZ is the maximum number of nonzeros in any row of A, plus 1 */ /* EPS is machine epsilon */ /* The i-th component of abs(R)+NZ*EPS*(abs(op(A))*abs(X)+abs(B)) */ /* is incremented by SAFE1 if the i-th component of */ /* abs(op(A))*abs(X) + abs(B) is less than SAFE2. */ /* Use ZLACN2 to estimate the infinity-norm of the matrix */ /* inv(op(A)) * diag(W), */ /* where W = abs(R) + NZ*EPS*( abs(op(A))*abs(X)+abs(B) ))) */ i__2 = *n; for (i__ = 1; i__ <= i__2; ++i__) { if (rwork[i__] > safe2) { i__3 = i__; rwork[i__] = (d__1 = work[i__3].r, abs(d__1)) + (d__2 = d_imag(&work[i__]), abs(d__2)) + nz * eps * rwork[i__] ; } else { i__3 = i__; rwork[i__] = (d__1 = work[i__3].r, abs(d__1)) + (d__2 = d_imag(&work[i__]), abs(d__2)) + nz * eps * rwork[i__] + safe1; } /* L60: */ } kase = 0; L70: zlacn2_(n, &work[*n + 1], &work[1], &ferr[j], &kase, isave); if (kase != 0) { if (kase == 1) { /* Multiply by diag(W)*inv(op(A)**H). */ zgttrs_(transt, n, &c__1, &dlf[1], &df[1], &duf[1], &du2[1], & ipiv[1], &work[1], n, info); i__2 = *n; for (i__ = 1; i__ <= i__2; ++i__) { i__3 = i__; i__4 = i__; i__5 = i__; z__1.r = rwork[i__4] * work[i__5].r, z__1.i = rwork[i__4] * work[i__5].i; work[i__3].r = z__1.r, work[i__3].i = z__1.i; /* L80: */ } } else { /* Multiply by inv(op(A))*diag(W). */ i__2 = *n; for (i__ = 1; i__ <= i__2; ++i__) { i__3 = i__; i__4 = i__; i__5 = i__; z__1.r = rwork[i__4] * work[i__5].r, z__1.i = rwork[i__4] * work[i__5].i; work[i__3].r = z__1.r, work[i__3].i = z__1.i; /* L90: */ } zgttrs_(transn, n, &c__1, &dlf[1], &df[1], &duf[1], &du2[1], & ipiv[1], &work[1], n, info); } goto L70; } /* Normalize error. */ lstres = 0.; i__2 = *n; for (i__ = 1; i__ <= i__2; ++i__) { /* Computing MAX */ i__3 = i__ + j * x_dim1; d__3 = lstres, d__4 = (d__1 = x[i__3].r, abs(d__1)) + (d__2 = d_imag(&x[i__ + j * x_dim1]), abs(d__2)); lstres = max(d__3,d__4); /* L100: */ } if (lstres != 0.) { ferr[j] /= lstres; } /* L110: */ } return 0; /* End of ZGTRFS */ } /* zgtrfs_ */