up previous next
MinSubsetOfGens    --    list of minimal generators


Syntax 
MinSubsetOfGens(M: IDEAL|MODULE): LIST

Description
This function returns a subset S of gens(M) which is minimal in the sense that no proper subset of S generates M.

NOTE: there no guarantee that S is the subset with smallest cardinality.

If M is a homogeneous ideal or module, the function MinGens is much faster (but may return a generating set which is not a subset of gens(M)).

The coefficient ring must be a field.

Example 
/**/  use R ::= QQ[x,y,z];
/**/  I := ideal(x-1, (x-y)^4, z+y, (z+y)^2);
/**/  MinSubsetOfGens(I);
[x -1, x^4 -4*x^3*y +6*x^2*y^2 -4*x*y^3 +y^4, y +z]

See Also