up previous next
IsInRadical    --    check if a polynomial (or ideal) is in a radical


Syntax 
IsInRadical(F: RINGELEM, I: IDEAL): BOOL
IsInRadical(J: IDEAL, I: IDEAL): BOOL

Description
This function tests whether the first argument, a polynomial or an ideal, is contained in the radical of the second argument, an ideal.

This function is much faster than asking F IsIn Radical(I);.

Example 
/**/  use QQ[x,y,z];
/**/  I := ideal(x^6*y^4, z);
/**/  IsInRadical(x*y, I);
true
/**/  IsInRadical(ideal(x,y), I);
false
/**/  MinPowerInIdeal(x*y, I);
6

See Also