Implemented in PolyRing, PolyRingQuotient, SchurRing, SkewPolynomialRing, SolvableAlgebra, and WeylAlgebra.