next | previous | forward | backward | up | top | index | toc | home

purePower -- determine whether a ring element is a pure power of a variable

Synopsis

Description

purePower tests a ring element in a polynomial ring or quotient of a polynomial ring to determine whether or not it is nonzero and a power of a variable. purePower is used in the lex-plus-powers (LPP) code.
i1 : R=ZZ/32003[a..c];
i2 : purePower a^4

o2 = true
i3 : purePower (a*b^5)

o3 = false
i4 : purePower (a^3-b^3)

o4 = false
i5 : Q=R/ideal(a^3,a*b^3);
i6 : purePower b^4

o6 = true
i7 : purePower a^3 --false since a^3 is zero in the quotient

o7 = false

See also

Ways to use purePower :