minimalized |
Syntax |
minimalized(E: IDEAL): IDEAL minimalized(E: MODULE): MODULE |
Description |
Example |
/**/ Use R ::= QQ[x,y,z]; /**/ I := ideal(x^2-y^2, z^4-y^4, x^2-z^2); /**/ I; ideal(x^2 -y^2, -y^4 +z^4, x^2 -z^2) /**/ minimalized(I); ideal(x^2 -z^2, y^2 -z^2) /**/ I; -- not modified ideal(x^2 -y^2, -y^4 +z^4, x^2 -z^2) |
See Also |