Top-level entry point that runs a BIBasis (boolean involutive) computation on an engine Matrix and returns the result as a Matrix. More...

#include <launcher.hpp>

Public Member Functions
const Matrix *	GetBIBasisMatrix (const Matrix *matrix, int toGroebner) const

Private Member Functions
bool	CheckMatrix (const Matrix *matrix) const

Detailed Description

Top-level entry point that runs a BIBasis (boolean involutive) computation on an engine Matrix and returns the result as a Matrix.

Note: AI-generated documentation. Verify against the source before relying on it.

GetBIBasisMatrix(matrix, toGroebner) validates the input via CheckMatrix, dispatches to the involutive solver configured through SettingsManager, and converts the resulting set of monomials back into a Matrix. The toGroebner flag selects between the involutive basis (0) and its derived Groebner basis (1).

Definition at line 60 of file launcher.hpp.

The documentation for this class was generated from the following files:

Macaulay2/e/bibasis/launcher.hpp
Macaulay2/e/bibasis/launcher.cpp

Public Member Functions

Private Member Functions

Detailed Description