const Matrix * rawBIBasis(const Matrix *matrix, int toGroebner)
const Matrix * GetBIBasisMatrix(const Matrix *matrix, int toGroebner) const
Top-level entry point that runs a BIBasis (boolean involutive) computation on an engine Matrix and re...
BIBasis::Launcher — monomial-order dispatcher between the engine boundary and BooleanInvolutiveBasis.
Matrix — the engine's immutable homomorphism F -> G between free modules.