Reimplemented in PolyRing, PolyRingQuotient, and RingZZ.
Definition at line 217 of file ring.cpp.
References divide(), and is_zero().