18{
19 (void) strategy;
21 if (ring != nullptr)
23 ERROR(
"Expected a Matrix over a FreeAlgebraQuotient");
24 return nullptr;
25}
const FreeAlgebraQuotient & freeAlgebraQuotient() const
Concrete Ring wrapper around an owned FreeAlgebraQuotient (the quotient counterpart of M2FreeAlgebra)...
const Ring * get_ring() const
ResolutionComputation subclass that builds a free resolution over a FreeAlgebraQuotient (non-commutat...
virtual const M2FreeAlgebraQuotient * cast_to_M2FreeAlgebraQuotient() const