up previous next
MinPowerInIdeal    --    the mininum power of a polynomial is an ideal


Syntax 
MinPowerInIdeal(F: RINGELEM, 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^6*y^4, z);
/**/  IsInRadical(x*y, I);
true

/**/  MinPowerInIdeal(x*y, I);
6

See Also