newf4::Basis — evolving Gröbner basis container with GBPolyStatus per element.
Engine-side free module R^n over a Ring.
Abstract base class for mutable matrices over an arbitrary engine Ring, the in-place counterpart of t...
FreeModule — finite-rank free module R^n, the type-level anchor for every Matrix.
MutableMatrix — abstract base of every mutable matrix the engine hands across the boundary.
Umbrella header that ties together MutableMat declarations, implementations, and the SLP variant.