liftable -- whether lifting to another ring is possible

Synopsis

• Usage:
liftable(f,R)
• Inputs:
• Outputs:
• , whether f can be lifted to the ring R

Description

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
 i3 : liftable(3/4,ZZ) o3 = false i4 : liftable((3/4)*4,ZZ) o4 = true