up previous next
list of minimal generators
MinSubsetOfGens(M: IDEAL|MODULE): LIST |
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.
/**/ 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]
|