Procedure from library
dmod.lib (see dmod_lib).
- isRational(n); n number
- determine whether n is a rational number,
that is it does not contain parameters.
- ground field is of characteristic 0
ring r = (0,a),(x,y),dp;
number n1 = 11/73;
number n2 = (11*a+3)/72;