-- -*- M2-comint -*- hash: 17781061388776210675

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 : 
