LM(X: RINGELEM): RINGELEM LM(X: MODULEELEM): MODULEELEM
/**/ use R ::= QQ[x,y]; /**/ LM(3*x^2*y + y); 3*x^2*y