dmod.lib
LIB "dmod.lib"; ring r = (0,a),(x,y),dp; number n1 = 11/73; isRational(n1); ==> 1 number n2 = (11*a+3)/72; isRational(n2); ==> 0