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