Worst Cases for Correct Rounding of the Elementary Functions in Double Precision - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2000

Worst Cases for Correct Rounding of the Elementary Functions in Double Precision

Vincent Lefèvre
Jean-Michel Muller

Résumé

We give here the results of a four-year search for the worst cases for correct rounding of the major elementary functions in double precision. These results allow the design of reasonably fast routines that will compute these functions with correct rounding, at least in some interval, for any of the four rounding modes specified by the IEEE-754 standard. They will also allow to easily test libraries that are claimed to provide correctly rounded functions.
Nous donnons dans ce rapport les résultats de quatre ans de recherche des pires cas pour l’arrondi correct des principales fonctions élémentaires en double précision. Ces résultats permettent de construire des programmes raisonnablement rapides calculant ces fonctions avec arrondi correct – au moins dans un domaine donné – pour chacun des quatre modes d’arrondi spécifiés par la norme IEEE-754. Ils permettent également de tester des bibliothèques censées fournir l’arrondi correct de ces fonctions
Fichier principal
Vignette du fichier
RR-4044.pdf (197.41 Ko) Télécharger le fichier
RR2000-35.pdf (324.04 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00072594 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072594 , version 1

Citer

Vincent Lefèvre, Jean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. [Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000. ⟨inria-00072594⟩
167 Consultations
867 Téléchargements

Partager

Gmail Facebook X LinkedIn More