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 }
217 {
219 return nullptr;
220 }
221}
Abstract base for the engine's polynomial-ring hierarchy.
virtual const PolynomialRing * cast_to_PolynomialRing() const
static SolvableAlgebra * create(const Ring *K, const Monoid *M, const Matrix *Q)
PolyRing subclass for solvable polynomial algebras (PBW-type non-commutative rings where each pair of...
void intern_polyring(const PolynomialRing *G)
VALGRIND_MAKE_MEM_DEFINED & result(result)
References Ring::cast_to_PolynomialRing(), SolvableAlgebra::create(), ERROR, intern_polyring(), Matrix, and result().