up previous next
minimalize

ideal, submodule with minimal generators

Syntax
minimalize(ref X: IDEAL)
minimalize(ref X: MODULE)

Description
Similar to minimalized , but modifies the argument X and returns NULL.

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)
/**/  minimalize(ref I); -- returns NULL and modifies I
/**/  I;
ideal(x^2 -z^2, y^2 -z^2)

See Also