Macaulay2 Engine
Loading...
Searching...
No Matches

◆ IM2_Ring_solvable_algebra()

const Ring * IM2_Ring_solvable_algebra ( const Ring * R,
const Matrix * Q )

Definition at line 202 of file ring.cpp.

204{
205 try
206 {
208 if (P == nullptr)
209 {
210 ERROR("expected a polynomial ring");
211 return nullptr;
212 }
215 return result;
216 } catch (const exc::engine_error& e)
217 {
218 ERROR(e.what());
219 return nullptr;
220 }
221}
Abstract base for the engine's polynomial-ring hierarchy.
Definition polyring.hpp:96
virtual const PolynomialRing * cast_to_PolynomialRing() const
Definition ring.hpp:243
static SolvableAlgebra * create(const Ring *K, const Monoid *M, const Matrix *Q)
Definition solvable.cpp:16
PolyRing subclass for solvable polynomial algebras (PBW-type non-commutative rings where each pair of...
Definition solvable.hpp:57
void intern_polyring(const PolynomialRing *G)
Definition finalize.cpp:81
const int ERROR
Definition m2-mem.cpp:55
VALGRIND_MAKE_MEM_DEFINED & result(result)

References Ring::cast_to_PolynomialRing(), SolvableAlgebra::create(), ERROR, intern_polyring(), Matrix, and result().