LC(F: RINGELEM|MODULEELEM): RINGELEM
/**/ Use R ::= QQ[x,y]; /**/ LC(x +3*x^2 -5*y^2); 3 /**/ F := NewFreeModule(R,3); /**/ LC(ModuleElem(F, [0, 5*y+6*x^2, y^2])); 6