Reimplemented in PolynomialRing, PolyRing, and PolyRingQuotient.
Definition at line 368 of file ring.cpp.
Referenced by vec_degree_of_var().