up previous next
ModuleOf

the module environment of the object

Syntax
ModuleOf(M: MODULE): MODULE

Description
This function returns the module on which the object E is defined.

NOTE: A module contains many information and two separate rings, even when defined with the same commands, are not "equal". When a module is printed only a few informations are shown, so different modules might look the same.

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