Ratios

Les ratios forment un type de nombres qui n'existe dans pratiquement aucun autre langage. Il s'agit du type ratio qui est un sous-type de rational.

Les ratios permettent de représenter le résultat d'un grand nombre de calculs de façon exacte. Ce sont des calculs dont les données initiales sont des rationnels (en particulier des entiers) et dont les opérations sont uniquement addition, soustraction, multiplication et division.

Un exemple de ce type de calcul est la résolution de systèmes d'équations linéaires à coefficients rationnels. Ce type de calcul nécessite parfois la soustraction entre deux nombres de différents ordres de grandeur. Si les flottants sont utilisés pour effectuer un tel calcul, on risque de perdre une grande partie de la précision dans les calculs intermédiaires, ce qui peut donner un résultat final erroné et donc inexploitable.