(self, elem)
return self.convert(elem.data)
Push down an element of self.quot to self.

        This undoes ``lift``.

        >>> from sympy.abc import x
        >>> from sympy import QQ
        >>> F = (QQ.old_poly_ring(x)/[x**2 + 1]).free_module(2)
        >>> e = F.convert([1, 0])
        >>> l = F.lift(e)
        >>> e == l
        False
        >>> e == F.unlift(l)
        True
Push down an element of self.quot to self.
Push down an element of self . quot to self .
def unlift(self, elem):
        """
        Push down an element of self.quot to self.

        This undoes ``lift``.

        >>> from sympy.abc import x
        >>> from sympy import QQ
        >>> F = (QQ.old_poly_ring(x)/[x**2 + 1]).free_module(2)
        >>> e = F.convert([1, 0])
        >>> l = F.lift(e)
        >>> e == l
        False
        >>> e == F.unlift(l)
        True
        """
        return self.convert(elem.data)
def unlift ( self , elem ) : return self . convert ( elem . data )