add: checks for rational coeff. in rational functions