rawRingM2FreeAlgebraQuotient()

const Ring * rawRingM2FreeAlgebraQuotient	(	const Matrix *	GB,
		int	maxdeg )

Definition at line 285 of file ring.cpp.

{
  const Ring* A = GB->get_ring();
  try {
    if (A == nullptr)
      {
        ERROR("internal error: expected non-null Ring!");
        return nullptr;
      }
    const M2FreeAlgebra* P = A->cast_to_M2FreeAlgebra();
    if (P == nullptr)
      {
        ERROR("expected a free algebra");
        return nullptr;
      }
    
    const M2FreeAlgebraQuotient* result = M2FreeAlgebraQuotient::create(* P, GB, maxdeg);
    return result;
  }
  catch (exc::engine_error& e) {
    ERROR(e.what());
    return nullptr;
  }
}

References Ring::cast_to_M2FreeAlgebra(), M2FreeAlgebraQuotient::create(), ERROR, Matrix::get_ring(), Matrix, and result().