Worst Cases for Correct Rounding of the Elementary Functions in Double Precision - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2000

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

Vincent Lefèvre
Jean-Michel Muller

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00072594 , version 1

Cite

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⟩
162 View
849 Download

Share

Gmail Facebook X LinkedIn More