16: Calcul exact

Paradigme du calcul exact [Yap]:

l'algorithme géométrique suppose que

les primitives qu'il utilise sont exactes

Première solution: types de nombre exacts

Deuxième solution: prédicats exacts