Linear algebra

Exterior powers, weighted-basis decompositions, lattice theory, Mukai constructions, quadratic-form signature theory, and matrix infrastructure used throughout the repository, including the universal cover of GL⁺(2, ℝ) beside the general-linear-group API it covers.