up previous next
MinPowerInIdeal

the mininum power of a polynomial is an ideal
Syntax

MinPowerInIdeal(F:POLY, I:IDEAL):INT


Description
This function returns the minimum power of F, the first argument, in the ideal I, the second argument. If F is not in the radical I then -1 is returned.

Example
  Use QQ[x,y,z];
  I := Ideal(x^6y^4, z);
  IsInRadical(xy, I);
True
-------------------------------
  MinPowerInIdeal(xy, I);
6
-------------------------------


See Also