IsRadical(I: IDEAL): BOOL
/**/ 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