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