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