SDRVVX(3)
okay bestie, this is SDRVVX(3) from the Library Functions Manualβand the header is literally /home/abui...IG/sdrvvx.f(3) Library Functions Manual/home/abui...IG/sdrvvx.f(3). We are keeping every single detail exactly where it belongs, just with the group-chat energy turned all the way up. π
β¨
πΈ NAME πΈ
/home/abuild/rpmbuild/BUILD/lapack-static-3.12.0-build/lapack-3.12.0/TESTING/EIG/sdrvvx.f
π¦ SYNOPSIS π¦
Functions/Subroutines
Hereβs the call, character for character:
subroutine SDRVVX (nsizes, nn, ntypes, dotype, iseed, thresh, niunit,
nounit, a, lda, h, wr, wi, wr1, wi1, vl, ldvl, vr, ldvr, lre, ldlre,
rcondv, rcndv1, rcdvin, rconde, rcnde1, rcdein, scale, scale1,
result, work, nwork, iwork, info)
SDRVVX
π Function/Subroutine Documentation π
Okay so hereβs the typed-out signatureβsame order, same dimensions, same everything:
subroutine SDRVVX (integer nsizes, integer, dimension( * ) nn, integer
ntypes, logical, dimension( * ) dotype, integer, dimension( 4 ) iseed,
real thresh, integer niunit, integer nounit, real, dimension( lda, * )
a, integer lda, real, dimension( lda, * ) h, real, dimension( * ) wr,
real, dimension( * ) wi, real, dimension( * ) wr1, real, dimension( * )
wi1, real, dimension( ldvl, * ) vl, integer ldvl, real, dimension( ldvr,
* ) vr, integer ldvr, real, dimension( ldlre, * ) lre, integer ldlre,
real, dimension( * ) rcondv, real, dimension( * ) rcndv1, real,
dimension( * ) rcdvin, real, dimension( * ) rconde, real, dimension( * )
rcnde1, real, dimension( * ) rcdein, real, dimension( * ) scale, real,
dimension( * ) scale1, real, dimension( 11 ) result, real, dimension( *
) work, integer nwork, integer, dimension( * ) iwork, integer info)
SDRVVX
π― Purpose π―
okay so SDRVVX is the vibe check for the nonsymmetric eigenvalue problem expert driver SGEEVX. Itβs not doing the math for funβitβs testing it.
SDRVVX uses both test matrices generated randomly depending on data supplied in the calling sequence, as well as on data read from an input file and including precomputed condition numbers to which it compares the ones it computes. Yes, both. Sheβs thorough. π
When SDRVVX is called, a number of matrix () and a number of matrix are specified in the calling sequence. For each size () and each type of matrix, one matrix will be generated and used to test the nonsymmetric eigenroutines. For each matrix, 9 tests will be performed:
- Test (1):
| A * VR - VR * W | / ( n |A| ulp )
Here VR is the matrix of unit right eigenvectors. W is a block diagonal matrix, with a 1x1 block for each real eigenvalue and a 2x2 block for each complex conjugate pair. If eigenvalues j and j+1 are a complex conjugate pair, so WR(j) = WR(j+1) = wr and WI(j) = - WI(j+1) = wi, then the 2 x 2 block corresponding to the pair will be:
( wr wi )
( -wi wr )
Such a block multiplying an n x 2 matrix ( ur ui ) on the right will be the same as multiplying ur + i*ui by wr + i*wi.
- Test (2):
| A**H * VL - VL * W**H | / ( n |A| ulp )
Here VL is the matrix of unit left eigenvectors, A**H is the conjugate transpose of A, and W is as above.
- Test (3):
| |VR(i)| - 1 | / ulp and largest component real
VR(i) denotes the i-th column of VR.
- Test (4):
| |VL(i)| - 1 | / ulp and largest component real
VL(i) denotes the i-th column of VL.
- Test (5):
W(full) = W(partial)
W(full) denotes the eigenvalues computed when VR, VL, RCONDV and RCONDE are also computed, and W(partial) denotes the eigenvalues computed when only some of VR, VL, RCONDV, and RCONDE are computed.
- Test (6):
VR(full) = VR(partial)
VR(full) denotes the right eigenvectors computed when VL, RCONDV and RCONDE are computed, and VR(partial) denotes the result when only some of VL and RCONDV are computed.
- Test (7):
VL(full) = VL(partial)
VL(full) denotes the left eigenvectors computed when VR, RCONDV and RCONDE are computed, and VL(partial) denotes the result when only some of VR and RCONDV are computed.
- Test (8):
0 if SCALE, ILO, IHI, ABNRM (full) =
SCALE, ILO, IHI, ABNRM (partial)
1/ulp otherwise
SCALE, ILO, IHI and ABNRM describe how the matrix is balanced. (full) is when VR, VL, RCONDE and RCONDV are also computed, and (partial) is when some are not computed.
- Test (9):
RCONDV(full) = RCONDV(partial)
RCONDV(full) denotes the reciprocal condition numbers of the right eigenvectors computed when VR, VL and RCONDE are also computed. RCONDV(partial) denotes the reciprocal condition numbers when only some of VR, VL and RCONDE are computed.
The sizes are specified by an array NN(1:NSIZES); the value of each element NN(j) specifies one size. The types are specified by a logical array DOTYPE( 1:NTYPES ); if DOTYPE(j) is .TRUE., then matrix type will be generated. Currently, the list of possible types is:
- The zero matrix.
- The identity matrix.
- A (transposed) Jordan block, with 1's on the diagonal.
- A diagonal matrix with evenly spaced entries 1, ..., ULP and random signs. (
ULP = (first number larger than 1) - 1) - A diagonal matrix with geometrically spaced entries 1, ..., ULP and random signs.
- A diagonal matrix with entries 1, ULP, ..., ULP and random signs.
- Same as (4), but multiplied by a constant near the overflow threshold.
- Same as (4), but multiplied by a constant near the underflow threshold.
- A matrix of the form
U' T U, whereUis orthogonal andThas evenly spaced entries 1, ..., ULP with random signs on the diagonal and random O(1) entries in the upper triangle. - A matrix of the form
U' T U, whereUis orthogonal andThas geometrically spaced entries 1, ..., ULP with random signs on the diagonal and random O(1) entries in the upper triangle. - A matrix of the form
U' T U, whereUis orthogonal andThas entries 1, ULP,..., ULP with random signs on the diagonal and random O(1) entries in the upper triangle. - A matrix of the form
U' T U, whereUis orthogonal andThas real or complex conjugate paired eigenvalues randomly chosen from ( ULP, 1 ) and random O(1) entries in the upper triangle. - A matrix of the form
X' T X, whereXhas conditionSQRT( ULP )andThas evenly spaced entries 1, ..., ULP with random signs on the diagonal and random O(1) entries in the upper triangle. - A matrix of the form
X' T X, whereXhas conditionSQRT( ULP )andThas geometrically spaced entries 1, ..., ULP with random signs on the diagonal and random O(1) entries in the upper triangle. - A matrix of the form
X' T X, whereXhas conditionSQRT( ULP )andThas entries 1, ULP,..., ULP with random signs on the diagonal and random O(1) entries in the upper triangle. - A matrix of the form
X' T X, whereXhas conditionSQRT( ULP )andThas real or complex conjugate paired eigenvalues randomly chosen from ( ULP, 1 ) and random O(1) entries in the upper triangle. - Same as (16), but multiplied by a constant near the overflow threshold.
- Same as (16), but multiplied by a constant near the underflow threshold.
- Nonsymmetric matrix with random entries chosen from (-1,1). If
Nis at least 4, all entries in first two rows and last row, and first column and last two columns are zero. - Same as (19), but multiplied by a constant near the overflow threshold.
- Same as (19), but multiplied by a constant near the underflow threshold.
In addition, an input file will be read from logical unit number NIUNIT. The file contains matrices along with precomputed eigenvalues and reciprocal condition numbers for the eigenvalues and right eigenvectors. For these matrices, in addition to tests (1) to (9) we will compute the following two tests:
- Test (10):
|RCONDV - RCDVIN| / cond(RCONDV)
RCONDV is the reciprocal right eigenvector condition number computed by SGEEVX and RCDVIN (the precomputed true value) is supplied as input. cond(RCONDV) is the condition number of RCONDV, and takes errors in computing RCONDV into account, so that the resulting quantity should be O(ULP). cond(RCONDV) is essentially given by norm(A)/RCONDE.
- Test (11):
|RCONDE - RCDEIN| / cond(RCONDE)
RCONDE is the reciprocal eigenvalue condition number computed by SGEEVX and RCDEIN (the precomputed true value) is supplied as input. cond(RCONDE) is the condition number of RCONDE, and takes errors in computing RCONDE into account, so that the resulting quantity should be O(ULP). cond(RCONDE) is essentially given by norm(A)/RCONDV.
πΈ Parameters πΈ
π NSIZES
NSIZES is INTEGER. Itβs the number of sizes of matrices to use. NSIZES must be at least zero. If it is zero, no randomly generated matrices are tested, but any test matrices read from NIUNIT will be tested. π
π NN
NN is INTEGER array, dimension (NSIZES). An array containing the sizes to be used for the matrices. Zero values will be skipped. The values must be at least zero.
π¦ NTYPES
Okay so picking right back up with the argument tea, no cap:
NTYPESβINTEGER. The number of elements inDOTYPE.NTYPESmust be at least zero. If itβs zero, no randomly generated test matrices are tested, but and test matrices read fromNIUNITwill be tested. If it isMAXTYP+1andNSIZESis 1, then an additional type,MAXTYP+1, is defined, which is to use whatever matrix is inA. This is only useful ifDOTYPE(1:MAXTYP)is.FALSE.andDOTYPE(MAXTYP+1)is.TRUE..DOTYPEβLOGICALarray, dimension(NTYPES). IfDOTYPE(j)is.TRUE., then for each size inNNa matrix of that size and of typejwill be generated. IfNTYPESis smaller than the maximum number of types defined (PARAMETER MAXTYP), then typesNTYPES+1throughMAXTYPwill not be generated. IfNTYPESis larger thanMAXTYP,DOTYPE(MAXTYP+1)throughDOTYPE(NTYPES)will be ignored.ISEEDβINTEGERarray, dimension(4). On entryISEEDspecifies the seed of the random number generator. The array elements should be between0and4095; if not they will be reduced mod4096. Also,ISEED(4)must be odd. The random number generator uses a linear congruential sequence limited to small integers, and so should produce machine independent random numbers. The values ofISEEDare changed on exit, and can be used in the next call toSDRVVXto continue the same random number sequence.THRESHβREAL. A test will count as if the , computed as described above, exceedsTHRESH. Note that the error is scaled to beO(1), soTHRESHshould be a reasonably small multiple of1, e.g.,10or100. In particular, it should not depend on the precision (single vs. double) or the size of the matrix. It must be at least zero.NIUNITβINTEGER. TheFORTRANunit number for reading in the data file of problems to solve.NOUNITβINTEGER. TheFORTRANunit number for printing out error messages (e.g., if a routine returnsINFOnot equal to0.)AβREALarray, dimension(LDA, max(NN,12)). Used to hold the matrix whose eigenvalues are to be computed. On exit,Acontains the last matrix actually used.LDAβINTEGER. The leading dimension of the arraysAandH.LDA >= max(NN,12), since12is the dimension of the largest matrix in the precomputed input file.HβREALarray, dimension(LDA, max(NN,12)). Another copy of the test matrixA, modified bySGEEVX.WRβREALarray, dimension(max(NN)).WIβREALarray, dimension(max(NN)). The real and imaginary parts of the eigenvalues ofA. On exit,WR + WI*iare the eigenvalues of the matrix inA.WR1βREALarray, dimension(max(NN,12)).WI1βREALarray, dimension(max(NN,12)). LikeWR,WI, these arrays contain the eigenvalues ofA, but those computed whenSGEEVXonly computes a partial eigendecomposition, i.e. not the eigenvalues and left and right eigenvectors.VLβREALarray, dimension(LDVL, max(NN,12)).VLholds the computed left eigenvectors.LDVLβINTEGER. Leading dimension ofVL. Must be at leastmax(1,max(NN,12)).VRβREALarray, dimension(LDVR, max(NN,12)).VRholds the computed right eigenvectors.LDVRβINTEGER. Leading dimension ofVR. Must be at leastmax(1,max(NN,12)).LREβREALarray, dimension(LDLRE, max(NN,12)).LREholds the computed right or left eigenvectors.LDLREβINTEGER. Leading dimension ofLRE. Must be at leastmax(1,max(NN,12))RCONDVβREALarray, dimension(N).RCONDVholds the computed reciprocal condition numbers for eigenvectors.RCNDV1βREALarray, dimension(N).RCNDV1holds more computed reciprocal condition numbers for eigenvectors.RCDVINβREALarray, dimension(N). WhenCOMP = .TRUE.RCDVINholds the precomputed reciprocal condition numbers for eigenvectors to be compared withRCONDV.RCONDEβREALarray, dimension(N).RCONDEholds the computed reciprocal condition numbers for eigenvalues.RCNDE1βREALarray, dimension(N).RCNDE1holds more computed reciprocal condition numbers for eigenvalues.RCDEINβREALarray, dimension(N). WhenCOMP = .TRUE.RCDEINholds the precomputed reciprocal condition numbers for eigenvalues to be compared withRCONDE.SCALEβREALarray, dimension(N). Holds information describing balancing of matrix.SCALE1βREALarray, dimension(N). Holds information describing balancing of matrix.RESULTβREALarray, dimension(11). The values computed by the seven tests described above. The values are currently limited to1/ulp, to avoid overflow.WORKβREALarray, dimension(NWORK).NWORKβINTEGER. The number of entries inWORK. This must be at leastmax(6*12+2*12**2,6*NN(j)+2*NN(j)**2) = max( 360 ,6*NN(j)+2*NN(j)**2) for all j.IWORKβINTEGERarray, dimension(2*max(NN,12)).INFOβINTEGER. If0, then successful exit. If<0, then input parameter-INFOis incorrect. If>0,SLATMR,SLATMS,SLATMEorSGET23returned an error code, andINFOis its absolute value.
π§ Some Local Variables and Parameters π«
ZERO, ONEβ Real0and1.MAXTYPβ The number of types defined.NMAXβ Largest value inNNor12.NERRSβ The number of tests which have exceededTHRESH.COND, CONDS, IMODEβ Values to be passed to the matrix generators.ANORMβ Norm ofA; passed to matrix generators.OVFL, UNFLβ Overflow and underflow thresholds.ULP, ULPINVβ Finest relative precision and its inverse.RTULP, RTULPIβ Square roots of the previous4values.
The following four arrays decode JTYPE:
KTYPE(j)β The general type (1-10) for type .KMODE(j)β TheMODEvalue to be passed to the matrix generator for type .KMAGN(j)β The order of magnitude (O(1),O(overflow^(1/2) ),O(underflow^(1/2) ))KCONDS(j)β Selectw whetherCONDSis to be1or1/sqrt(ulp). (0means irrelevant.)
π Author β¨
- Univ. of Tennessee
- Univ. of California Berkeley
- Univ. of Colorado Denver
- NAG Ltd.
Definition at line 515 of file sdrvvx.f.
π€ Author β auto-generated edition β¨
Generated automatically by Doxygen for LAPACK from the source code.
Thatβs the tea from the footer, bestie: LAPACK Version 3.12.0, source path /home/abui...IG/sdrvvx.f(3), and the date line β all wrapped up with a bow ππ
β¨
π¦ 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