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:
The function lift is a member of the class Function.
Ways to use lift :