Definition at line 279 of file res-poly-ring.hpp.
References coeff_index, and ResPolynomialIterator().