MinGens |
Syntax |
MinGens(M: IDEAL|MODULE): LIST |
Description |
Example |
/**/ Use R ::= QQ[x,y,z]; /**/ I := ideal(x-y, (x-y)^4, z+y, (z+y)^2); /**/ MinGens(I); [y + z, x + z] /**/ R3 := NewFreeModule(R, 3); /**/ MGens := matrix(R, [[x,y,z], [x^2,0,z^2], [2*x^2,x*y,z^2+x*z]]); /**/ M := SubmoduleRows(R3, MGens); /**/ gens(M); [[x, y, z], [x^2, 0, z^2], [2*x^2, x*y, x*z +z^2]] /**/ MinGens(M); [[x, y, z], [0, x*y, x*z -z^2]] |
See Also |