createNCRes

ResolutionComputation * createNCRes ( const Matrix * groebnerBasisMatrix, int max_level, int strategy )

friend

Definition at line 15 of file nc-res-computation.cpp.

{
  (void) strategy;
  const M2FreeAlgebraQuotient* ring = gbModuleMatrix->get_ring()->cast_to_M2FreeAlgebraQuotient();
  if (ring != nullptr)  
    return new NCResComputation(ring->freeAlgebraQuotient(),*gbModuleMatrix,max_level);
  ERROR("Expected a Matrix over a FreeAlgebraQuotient");
  return nullptr;
}

References Ring::cast_to_M2FreeAlgebraQuotient(), ERROR, M2FreeAlgebraQuotient::freeAlgebraQuotient(), Matrix::get_ring(), Matrix, NCResComputation(), and ResolutionComputation::ResolutionComputation().