submodule -- submodule generated by list |
Syntax |
submodule(L: LIST of MODULEELEM): MODULE submodule(F: MODULE, L: LIST of MODULEELEM): MODULE |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ R3 := NewFreeModule(R, 3); /**/ L := [ModuleElem(R3, [x,y,z]), ModuleElem(R3, [x-1,0,z])]; /**/ M := submodule(R3, L); -- equivalent to /**/ M := submodule(L); -- (L not empty) /**/ gens(M); [[x, y, z], [x -1, 0, z]] |
See Also |