IsInteger(ref n: INT, f: RINGELEM): BOOL
/**/ use R ::= QQ[x]; /**/ f := x-x-3; f; type(f); -3 RINGELEM /**/ IsInteger(ref a, x-x-3); true /**/ a; type(a); -3 INT