lift
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
baseRings
.
