SubmoduleCols, SubmoduleRows -- convert a matrix into a module |
Syntax |
SubmoduleCols(F: MODULE, M: MATRIX): MODULE SubmoduleRows(F: MODULE, M: MATRIX): MODULE |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ R3 := NewFreeModule(R, 3); /**/ MGens := matrix(R,[[x,y,z],[x-1,0,z]]); /**/ M := SubmoduleRows(R3, MGens); /**/ gens(M); [[x, y, z], [x -1, 0, z]] -- /**/ M := SubmoduleCols(R3, MGens); --!!! ERROR !!! as expected: wrong length /**/ M := SubmoduleCols(NewFreeModule(R,2), MGens); /**/ gens(M); [[x, x -1], [y, 0], [z, z]] |
See Also |