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 |
The object liftable is a method function.