5 const Matrix& gbModuleMatrix,
23 ERROR(
"Expected a Matrix over a FreeAlgebraQuotient");
Ring-shaped façade around a non-commutative quotient algebra.
Quotient of a FreeAlgebra by a Groebner basis up to a fixed degree bound.
const FreeAlgebraQuotient & freeAlgebraQuotient() const
Concrete Ring wrapper around an owned FreeAlgebraQuotient (the quotient counterpart of M2FreeAlgebra)...
const Ring * get_ring() const
const Matrix & mInputModuleGB
NCResComputation(const FreeAlgebraQuotient &ring, const Matrix &gbIdealMatrix, int max_level)
virtual const M2FreeAlgebraQuotient * cast_to_M2FreeAlgebraQuotient() const
ResolutionComputation * createNCRes(const Matrix *gbModuleMatrix, int max_level, int strategy)
NCResComputation — placeholder free-resolution driver for modules over a FreeAlgebraQuotient.