ModuleOf -- the module environment of the object |
Syntax |
ModuleOf(V: MODULEELEM): MODULE 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 |