CoeffOfTerm(F: RINGELEM, T: RINGELEM): RINGELEM
/**/ Use R ::= QQ[x,y,z]; /**/ F := 5*x*y^2 - 3*z^3; /**/ CoeffOfTerm(F, x*y^2); 5 /**/ CoeffOfTerm(F, x^3); 0 /**/ CoeffOfTerm(F, z^3); -3