liftable
lift(f,R)
-- tells whether a ring element
f
can be lifted to the ring
R
.
The ring
R
should be one of the base rings associated with the ring of
f
.
See also
baseRings
.