up previous next
list of minimal generators
MinGensGeneral(M: IDEAL|MODULE): LIST |
If
M
is a homogeneous ideal or module, use
MinGens
.
Otherwise this function returns a list of generators for
M
minimal in the sense that none can be generated by the others.
There is no optimal algorithm of theoretical guarantee when input is
not homogeneous.
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);
/**/ MinGensGeneral(I);
[x -1, x^4 -4*x^3*y +6*x^2*y^2 -4*x*y^3 +y^4, y +z]
|