that returns respectively the sum, the substraction, the product and the division of two rational numbers given, “normalized” according to the same convention that in the exercise : “”.
that adds an unit to the rational number r.
The rational numbers a and b are correct and normalized. In the case of division, b ≠ 0.