SGET07(3)
π SGET07(3) β LAPACK's error-bound vibe check β¨
Okay so this is from the Library Functions Manual, and we're talking about SGET07 β a LAPACK subroutine that is literally a vibe check for error bounds. No cap. π«Ά
πΈ NAME
/home/abuild/rpmbuild/BUILD/lapack-static-3.12.0-build/lapack-3.12.0/TESTING/LIN/sget07.f
That's the file path, periodt. π
β¨ SYNOPSIS
π§ Functions/Subroutines
subroutine SGET07 (trans, n, nrhs, a, lda, b, ldb, x, ldx, xact, ldxact,
ferr, chkferr, berr, reslts)
SGET07
π₯ Function/Subroutine Documentation
subroutine SGET07 (character trans, integer n, integer nrhs, real,
dimension( lda, * ) a, integer lda, real, dimension( ldb, * ) b, integer
ldb, real, dimension( ldx, * ) x, integer ldx, real, dimension( ldxact,
* ) xact, integer ldxact, real, dimension( * ) ferr, logical chkferr,
real, dimension( * ) berr, real, dimension( * ) reslts)
SGET07
SGET07
π― Purpose:
Okay so SGET07 tests the error bounds from iterative refinement for the computed solution to a system of equations op(A)*X = B, where A is a general n by n matrix and op(A) = A or A**T, depending on TRANS. It's giving very main-character numerical-validation energy. π
RESLTS(1) = test of the error bound= norm(X - XACT) / ( norm(X) * FERR )
- A large value is returned if this ratio is not less than one. So yeah, if that ratio isn't less than one, bestie, expect a large value. π
RESLTS(2) = residual from the iterative refinement routine= the maximum of BERR / ( (n+1)*EPS + (*) ), where(*) = (n+1)*UNFL / (min_i (abs(op(A))*abs(X) +abs(b))_i )
π§Έ Parameters
TRANSβTRANS is CHARACTER*1. It specifies the form of the system of equations, and it's literally choosing the solver vibe:'N': A * X = B (No transpose)'T': A**T * X = B (Transpose)'C': A**H * X = B (Conjugate transpose = Transpose)
NβN is INTEGER. The number of rows of the matricesXandXACT.N >= 0. Slay, non-negative. β¨NRHSβNRHS is INTEGER. The number of columns of the matricesXandXACT.NRHS >= 0. Also non-negative, we love that.AβA is REAL array, dimension (LDA,N). The originalnbynmatrixA. Iconic.LDAβLDA is INTEGER. The leading dimension of the arrayA.LDA >= max(1,N). Respect the leading dimension, fr fr.BβB is REAL array, dimension (LDB,NRHS). The right hand side vectors for the system of linear equations. The B in the equation, bestie. πLDBβLDB is INTEGER. The leading dimension of the arrayB.LDB >= max(1,N).XβX is REAL array, dimension (LDX,NRHS). The computed solution vectors. Each vector is stored as a column of the matrixX. It's giving column storage. π¦LDXβLDX is INTEGER. The leading dimension of the arrayX.LDX >= max(1,N).XACTβXACT is REAL array, dimension (LDX,NRHS). The exact solution vectors. Each vector is stored as a column of the matrixXACT. Exact-solution energy. πLDXACTβLDXACT is INTEGER. The leading dimension of the arrayXACT.LDXACT >= max(1,N).FERRβFERR is REAL array, dimension (NRHS). The estimated forward error bounds for each solution vectorX. IfXTRUEis the true solution,FERRbounds the magnitude of the largest entry in(X - XTRUE)divided by the magnitude of the largest entry inX. Big important error-bound math, no cap. π₯CHKFERRβCHKFERR is LOGICAL. Set to.TRUE.to checkFERR,.FALSE.not to checkFERR. Heads up: When the test system is ill-conditioned, the solution inXACTmay be incorrect. So yeah, ill-conditioned systems can makeXACTsus. πBERRβBERR is REAL array, dimension (NRHS). The componentwise relative backward error of each solution vector (i.e., the smallest relative change in any entry ofAorBthat makesXan exact solution). Literally the smallest change that makes it exact. πRESLTSβRESLTS is REAL array, dimension (2). The maximum over theNRHSsolution vectors of the ratios:
RESLTS(1) = norm(X - XACT) / ( norm(X) * FERR )
RESLTS(2) = BERR / ( (n+1)*EPS + (*) )
That's the whole results vibe. Good. π
π Author
- Univ. of Tennessee
- Univ. of California Berkeley
- Univ. of Colorado Denver
- NAG Ltd.
Definition at line 163 of file sget07.f.
π Author
Generated automatically by Doxygen for LAPACK from the source code.
Cute sign-off π: LAPACK Version 3.12.0, page source /home/abui...IN/sget07.f(3). Date? Not shown in this footer, bestie β so we're not inventing one. That's the deets, and that's periodt. π
π¦ where this page comes from
- opensuse-leap 16.0: lapack-man 3.12.0-160000.2.2 Β· BSD-3-Clause
- opensuse-leap 16.0: lapack-man 3.12.0-160000.2.2 Β· BSD-3-Clause
- opensuse-leap 16.0: lapack-man 3.12.0-160000.2.2 Β· BSD-3-Clause
- opensuse-leap 16.0: lapack-man 3.12.0-160000.2.2 Β· BSD-3-Clause
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms