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.

Go to main index.

Go to concepts index.