Implements PolynomialRing.
Definition at line 1757 of file poly.cpp.
References get_logical_coeff(), and Ring::Ring().
Referenced by lift().