RadicalOfUnmixed -- radical of an unmixed ideal |
Syntax |
RadicalOfUnmixed(I: IDEAL): IDEAL |
Description |
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 |