up previous next
MinGensGeneral

list of minimal generators

Syntax
MinGensGeneral(M: IDEAL|MODULE): LIST

Description
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.

Example
/**/  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]

See Also