ModuleOf |
Syntax |
ModuleOf(M: MODULE): MODULE |
Description |
Example |
/**/ Use R ::= QQ[x]; /**/ R3 := NewFreeModule(R,3); /**/ V := ModuleElem(R3, [1, x, x^2]); V; [1, x, x^2] /**/ type(V); MODULEELEM /**/ ModuleOf(V) = R3; true /**/ ModuleOf(V); FreeModule(RingDistrMPolyClean(QQ, 1), 3) |
See Also |