Reimplemented in PolyRing, PolyRingQuotient, RingZZ, and Tower.
Definition at line 211 of file ring.cpp.
References is_zero(), and zero().