isPurePower tests a ring element in a polynomial ring to determine whether or not it is nonzero and a power of a variable. isPurePower is used in the lex-plus-powers LPP code.
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 |
The object isPurePower is a method function.