GetBIBasisMatrix()

const Matrix * BIBasis::Launcher::GetBIBasisMatrix	(	const Matrix *	matrix,
		int	toGroebner ) const

Definition at line 21 of file launcher.cpp.

    {
        if (!CheckMatrix(matrix))
        {
            return nullptr;
        }
        
        switch(GetSettingsManager().GetMonomialOrder())
        {
            case Monom::Lex:
                {
                    BooleanInvolutiveBasis<MonomLex> basis(matrix, toGroebner);
                    return basis.ToMatrix();
                }
            case Monom::DegLex:
                {
                    BooleanInvolutiveBasis<MonomDL> basis(matrix, toGroebner);
                    return basis.ToMatrix();
                }
            case Monom::DegRevLex:
                {
                    BooleanInvolutiveBasis<MonomDRL> basis(matrix, toGroebner);
                    return basis.ToMatrix();
                }
            default:
                return nullptr;
        };
    }

References CheckMatrix(), BIBasis::Monom::DegLex, BIBasis::Monom::DegRevLex, BIBasis::GetSettingsManager(), BIBasis::Monom::Lex, Matrix, and BIBasis::BooleanInvolutiveBasis< MonomType >::ToMatrix().

Referenced by rawBIBasis().