Definition at line 20 of file res-a0-poly.hpp.
Referenced by get_ring(), res2_poly(), and to_vector().