rawSubduction()

Matrix * rawSubduction	(	int	numparts,
		const Matrix *	M,
		const RingMap *	F,
		Computation *	C )

Definition at line 649 of file groebner.cpp.

{
  try
    {
      GBComputation *G = C->cast_to_GBComputation();
      if (G == nullptr)
        {
          ERROR("expected a Groebner basis computation");
          return nullptr;
        }
      return sagbi::subduct(numparts, M, F, G);
  } catch (const exc::engine_error& e)
    {
      ERROR(e.what());
      return nullptr;
  }
}

References Computation::cast_to_GBComputation(), ERROR, G, RingMap::M, Matrix, and sagbi::subduct().