A. Solutions to Exercises - Springer

342 A. Solutions to Exercises The reason is that 2/3 is of domain type DOM_RAT, whose operands are the numerator and the denominator. The domain type of the symbolic expression x/3 is DOM_EXPR and its internal representation is x * (1/3). The situation is ................
................