On Ziv's rounding test - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Mathematical Software Année : 2013

On Ziv's rounding test

Résumé

A very simple test, introduced by Ziv, allows one to determine if an approximation to the value f (x) of an elementary function at a given point x suffices to return the floating-point number nearest f(x). The same test may be used when implementing floating-point operations with input and output operands of different formats, using arithmetic operators tailored for manipulating operands of the same format. That test depends on a "magic constant" e. We show how to choose that constant e to make the test reliable and efficient. Various cases are considered, depending on the availability of an fma instruction, and on the range of f (x).

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
ZivRounding-final.pdf (198.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-00693317 , version 1 (02-05-2012)
ensl-00693317 , version 2 (08-07-2013)

Identifiants

  • HAL Id : ensl-00693317 , version 2

Citer

Florent de Dinechin, Christoph Lauter, Jean-Michel Muller, Serge Torres. On Ziv's rounding test. ACM Transactions on Mathematical Software, 2013, 39 (4), pp.26. ⟨ensl-00693317v2⟩
742 Consultations
827 Téléchargements

Partager

Gmail Facebook X LinkedIn More