Math
Des bornes plutôt que des estimations
Toute autre façon de calculer donne un nombre probablement juste. L'arithmétique d'intervalles donne un couple certainement juste, et tout le sujet est ce que cela coûte. Cela s'appelle la dépendance : chaque occurrence d'une variable compte comme une variable différente, si bien que x − x sort de largeur deux. L'encadrement appartient à la FORMULE, pas à la fonction.
Ce qui se passe
Tous les autres modules de cet anneau mesurent une erreur ; celui-ci s'y refuse. Il calcule avec des paires de nombres garantis contenir la réponse, chaque borne arrondie vers l'extérieur, et la garantie est tout l'enjeu : la finesse est échangée contre la certitude. Donnez x = [1, 2] à x − x et vous obtenez [−1, 1], pas 0, parce que l'arithmétique ignore que les deux x sont le même - le problème de dépendance, et la raison pour laquelle les intervalles gonflent à chaque étape. Divisez par un intervalle contenant zéro et la réponse honnête est la droite entière. Essayez les expressions, regardez les largeurs croître, et voyez quelles réécritures les gardent étroites.
Équations du module
Équations [a,b] + [c,d] = [↓(a+c), ↑(b+d)], [a,b] − [c,d] = [↓(a−d), ↑(b−c)] [a,b]·[c,d] = [↓min, ↑max] des quatre produits [a,b]/[c,d] = la droite entière lorsque [c,d] contient 0 le problème de dépendance : x − x = [a−b, b−a], et non 0
