-- -*- M2-comint -*- {* hash: -9731853 *} 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 i5 :
-- -*- M2-comint -*- {* hash: -9731853 *} 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 i5 :