Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

On relative errors of floating-point operations: optimal bounds and applications

Claude-Pierre Jeannerod 1 Siegfried M. Rump 2
1 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Rounding error analyses of numerical algorithms are most often carried out via repeated applications of the so-called standard models of floating-point arithmetic. Given a round-to-nearest function fl and barring underflow and overflow, such models bound the relative errors E 1 (t) = |t − fl(t)|/|t| and E 2 (t) = |t − fl(t)|/|fl(t)| by the unit roundoff u. This paper investigates the possibility of refining these bounds, both in the case of an arbitrary real t and in the case where t is the exact result of an arithmetic operation on some floating-point numbers. We provide explicit and attainable bounds on E 1 (t), which are all less than or equal to u/(1 + u) and, therefore, smaller than u. For E 2 (t) the bound u is attainable whenever t = x ± y or t = xy or, in base β > 2, t = x/y with x, y two floating-point numbers. However, for division in base 2 as well as for square root, smaller bounds are derived, which are also shown to be attainable. This set of sharp bounds is then applied to the rounding error analysis of various numerical algorithms: in all cases, we obtain either much shorter proofs of the best-known error bounds for such algorithms, or improvements on these bounds themselves.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.inria.fr/hal-00934443
Contributor : Claude-Pierre Jeannerod <>
Submitted on : Monday, December 21, 2015 - 4:22:24 PM
Last modification on : Friday, April 20, 2018 - 3:44:26 PM
Long-term archiving on: : Tuesday, March 22, 2016 - 1:00:51 PM

File

JeannerodRump14.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00934443, version 2

Citation

Claude-Pierre Jeannerod, Siegfried M. Rump. On relative errors of floating-point operations: optimal bounds and applications. 2015. ⟨hal-00934443v2⟩

Share

Metrics

Record views

138

Files downloads

470