ModuleElem(M: MODULE, L: LIST): MODULEELEM
/**/ Use R ::= QQ[x]; /**/ R3 := NewFreeModule(R,3); /**/ V := ModuleElem(R3, [1, x, x^2]); V; [1, x, x^2] /**/ type(V); MODULEELEM /**/ zero(R3); [0, 0, 0]