liftable(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.
i1 : R = ZZ[x] o1 = R o1 : PolynomialRing
i2 : liftable ((x-1)*(x+1)-x^2, ZZ) o2 = true
See also:
Ways to use liftable :
![[top]](top.gif)
![[index]](index.gif)