'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'

def unlift(self, elem):

    return self.convert(elem.data)
