10#ifndef BIBASIS_LAUNCHER_HPP
11#define BIBASIS_LAUNCHER_HPP
bool CheckMatrix(const Matrix *matrix) const
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::BooleanInvolutiveBasis<MonomType> — Janet-involutive Gröbner driver for F_2[x]/(x_i^2-x_i).
Matrix — the engine's immutable homomorphism F -> G between free modules.