ConstantCoeff(F: RINGELEM): RINGELEM
/**/ use QQ[x,y]; /**/ f := x^3+3*x*y-4*y+5; /**/ ConstantCoeff(f); 5