Dense Linear Algebra

Facade module for dense row-major matrices, row operations, homogeneous-kernel extraction, and their correctness contracts.