SubmoduleOfMinGens -- submodule generated by minimal generators |
Syntax |
SubmoduleOfMinGens(M: MODULE): MODULE |
Description |
Example |
/**/ use R ::= QQ[x,y,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); /**/ MGM := SubmoduleOfMinGens(M); indent(MGM); SubmoduleRows(F, matrix([ [x, y, z], [0, x*y, x*z -z^2] ])) |
See Also |