25 Outil de test

Outil de test des algorithmes: ALIAS

• ALIAS est une bibliothèque C++ de résolution reposant sur l'analyse par intervalles
• utilisant BIAS/Profil pour l'arithmétique d'intervalles
• majoritairement interfacé avec MAPLE

Pourquoi?

• pour faciliter l'utilisation dans les processus où les résolutions ne sont qu'une étape d'un processus complexe
• génération automatique de code
• mise en forme "optimale" des expressions
• possibilité de manipuler des sous-expressions symboliquement pour améliorer les évaluations (déterminants)
• utilisation de la multi-précision pour affiner les résultats de la bibliothèque C++