Typed LAPACK interfaces. The checked real64 main verifies a matrix inverse residual, determinant, known eigenvalues, eigenpair residuals and orthonormality for a symmetric 3-by-3 tridiagonal matrix. Complex, single-precision and other BLAS/LAPACK wrappers are not covered. Legacy implicit external interfaces are explicitly enabled in the pinned package manifest.
Package dependencies
Resolved GitHub repositories used by the verified playground build, combining direct and indirect dependencies. This list does not describe internal module dependencies or native system libraries.
Required by this build
No additional GitHub package dependencies were recorded for this verified build.
Build record verified 2026-10-28.
Used by (0 selected packages)
No other selected build records this repository as a dependency. This is not a measure of usage outside the catalog.
Reviewed procedures
These mappings have pinned source evidence. A checked package example may exercise only some of them; source review is not a numerical benchmark.
Typed LAPACK interfaces. The checked real64 main verifies a matrix inverse residual, determinant, known eigenvalues, eigenpair residuals and orthonormality for a symmetric 3-by-3 tridiagonal matrix. Complex, single-precision and other BLAS/LAPACK wrappers are not covered. Legacy implicit external interfaces are explicitly enabled in the pinned package manifest. Dedicated D2 real64 consumer checks 132 scaled known LDU matrices and first/last-row permutations, using closed-form bidiagonal inverse factors and determinant products. Both left/right inverse residuals are accumulated with independent scalar loops. Two exact rank-deficient examples must return a false inverse status and zero determinant. Ill-conditioned/near-singular, nonsquare, complex and real32 cases are not verified.
Typed LAPACK interfaces. The checked real64 main verifies a matrix inverse residual, determinant, known eigenvalues, eigenpair residuals and orthonormality for a symmetric 3-by-3 tridiagonal matrix. Complex, single-precision and other BLAS/LAPACK wrappers are not covered. Legacy implicit external interfaces are explicitly enabled in the pinned package manifest. Dedicated D4 driver checks all 20 eigenpairs of the same Dirichlet tridiagonal matrix used by the ARPACK driver against analytic eigenvalues and sign-invariant sine eigenvectors, with residuals, orthonormality and reconstruction. This covers a real symmetric ordinary problem only; no generic solver success status is inferred from the API return. Refined from broad D4 to D4a1 for the reviewed real symmetric ordinary-eigenproblem interfaces.