-- -*- M2-comint -*- {* hash: -1826545267 *} i1 : R=ZZ/32003[a..c]; i2 : isPurePower a^4 o2 = true i3 : isPurePower (a*b^5) o3 = false i4 : isPurePower (a^3-b^3) o4 = false i5 :
-- -*- M2-comint -*- {* hash: -1826545267 *} i1 : R=ZZ/32003[a..c]; i2 : isPurePower a^4 o2 = true i3 : isPurePower (a*b^5) o3 = false i4 : isPurePower (a^3-b^3) o4 = false i5 :