up previous next
IsRadical    --    check if an IDEAL is radical


Syntax 
IsRadical(I: IDEAL): BOOL

Description
This function tests whether the IDEAL I is radical. Currently works only for 0-dimensional ideals.

Example 
/**/ use R ::= QQ[x,y,z];
/**/ I := ideal(x^2-1, y^2-2, z^3);
/**/ IsRadical(I);
false
/**/ I := ideal(x^2-1, y^2-2, z^3-3);
/**/ IsRadical(I);
true

See Also