RadicalOfUnmixed |
Syntax |
RadicalOfUnmixed(I:IDEAL):IDEAL |
Description |
Example |
Use R ::= QQ[x,y]; I := Ideal(x^2 - y^2 - 4x + 4y, x - 2); RadicalOfUnmixed(I); Ideal(x^2 - y^2 - 4x + 4y, x - 2, y - 2) ------------------------------- Minimalized(It); -- the result may not be presented in its simplest form Ideal(x - 2, y - 2) ------------------------------- |
See Also |