Imports
Chapter 28 — Matrix Operations
This is the canonical CLRS fourth-edition chapter guide during the migration period.
Current source
Sections 28.1--28.3 are native fourth-edition sections (solving systems of
linear equations via LUP decomposition, inverting matrices, and symmetric
positive-definite matrices with least-squares approximation), imported
directly from
Section 28.1,
Section 28.2,
and
Section 28.3.
Declarations keep their current namespaces; the third-edition-numbered
imports CLRSLean.Chapter_28 and
CLRSLean.Chapter_28.Section_28_* forward to these sources.
Coverage boundary
The native sections supply the represented fourth-edition matrix-operations sections (CLRS Theorem 28.1 and Lemmas 28.1--28.2).
See docs/clrs-fourth-edition-map.csv for the section-level mapping and
docs/migrations/clrs4.md for compatibility and deprecation policy.