Valérie Ménissier-Morain

Une arithmétique rationnelle exacte efficace en CAML

Résumé: Cet article présente une bibliothèque arithmétique rationnelle exacte développée pour CAML V3.1. Nous ne décrivons pas ici une maquette mais un produit final complet, intégré et efficace. Par ses performances, cette bibliothèque est un ordre de grandeur plus rapide que l'arithmétique rationnelle exacte de CAML V2-6.1. Pour obtenir ce niveau de performance, nous nous sommes appuyés sur la couche de calculs en place sur des entiers non signés du package d'arithmétique entière exacte BigNum sur laquelle nous avons construit notre propre arithmétique entière signée et rationnelle, en ajoutant nombre de fonctions pour la richesse et la souplesse, tout en gardant à l'esprit la facilité d'utilisation.

Version PostScript de cette publication

Référence BibTeX de cette publication

Page personnelle de Valérie Ménissier-Morain