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: in general there might be other subsets with smaller cardinality.

If M is a homogeneous ideal or module, the funcion 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