Implemented in PolyRing, and PolyRingQuotient.
References Ring::Ring().
Referenced by RingElement::lead_coeff().