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

Vincent Lefèvre 1 Jean-Michel Muller 1
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
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.
Document type :
Reports
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00072594
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 10:21:34 AM
Last modification on : Monday, April 29, 2019 - 10:54:22 AM

Identifiers

  • HAL Id : inria-00072594, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

244

Files downloads

573