Macaulay2 Engine
Loading...
Searching...
No Matches
nc-res-computation.cpp
Go to the documentation of this file.
3
5 const Matrix& gbModuleMatrix,
6 int max_level)
7 : //mRing(ring),
8 mInputModuleGB(gbModuleMatrix) //,
9 //mMaxLevel(max_level)
10{
11 (void) ring;
12 (void) max_level;
13}
14
16 int max_level,
17 int strategy)
18{
19 (void) strategy;
20 const M2FreeAlgebraQuotient* ring = gbModuleMatrix->get_ring()->cast_to_M2FreeAlgebraQuotient();
21 if (ring != nullptr)
22 return new NCResComputation(ring->freeAlgebraQuotient(),*gbModuleMatrix,max_level);
23 ERROR("Expected a Matrix over a FreeAlgebraQuotient");
24 return nullptr;
25}
26
27// Local Variables:
28// compile-command: "make -C $M2BUILDDIR/Macaulay2/e "
29// indent-tabs-mode: nil
30// End:
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
Definition matrix.hpp:134
const Matrix & mInputModuleGB
NCResComputation(const FreeAlgebraQuotient &ring, const Matrix &gbIdealMatrix, int max_level)
virtual const M2FreeAlgebraQuotient * cast_to_M2FreeAlgebraQuotient() const
Definition ring.hpp:258
#define Matrix
Definition factory.cpp:14
const int ERROR
Definition m2-mem.cpp:55
ResolutionComputation * createNCRes(const Matrix *gbModuleMatrix, int max_level, int strategy)
NCResComputation — placeholder free-resolution driver for modules over a FreeAlgebraQuotient.