lift(f,R) -- promotes a ring element f to the ring R.
The ring R should be one of the base rings associated with the ring of f.
See also:
Ways to use lift :
![[top]](top.gif)
![[index]](index.gif)