up previous next
RadicalOfUnmixed

radical of an unmixed ideal

Syntax 
RadicalOfUnmixed(I: IDEAL): IDEAL

Description
This function computes the radical of an unmixed ideal.

NOTE: at the moment, this implementation works only if the coefficient ring is the rationals or has large enough characteristic.

Example 
/**/  Use R ::= QQ[x,y];
/**/  I := ideal(x^2 - y^2 - 4*x + 4*y, x - 2);
/**/  RadicalOfUnmixed(I);
ideal(x^2 -y^2 -4*x +4*y, x -2, y -2)
/**/ interreduced(gens(It)); -- the result may not be in its simplest form
[y -2, x -2]

See Also