up previous next
ModuleOf    --    the module environment of the object


Syntax 
ModuleOf(V: MODULEELEM): MODULE
ModuleOf(M: MODULE): MODULE

Description
The first form gives the free module to which V belongs; the second form gives the free module containing M.

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