On the Computation of Correctly-Rounded Sums - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2010

On the Computation of Correctly-Rounded Sums

Vincent Lefèvre
Nicolas Louvet
Jean-Michel Muller

Résumé

This paper presents a study of some basic blocks needed in the design of floating-point summation algorithms. In particular, we show that among the set of the algorithms with no comparisons performing only floating-point additions/subtractions, the 2Sum algorithm introduced by Knuth is minimal, both in terms of number of operations and depth of the dependency graph. We investigate the possible use of another algorithm, Dekker's Fast2Sum algorithm, in radix-10 arithmetic. We give methods for computing, in radix 10, the floating-point number nearest the average value of two floating-point numbers. Under reasonable conditions, we also prove that no algorithms performing only round-to-nearest additions/subtractions exist to compute the round-to-nearest sum of at least three floating-point numbers. Starting from an algorithm due to Boldo and Melquiond, we also present new results about the computation of the correctly-rounded sum of three floating-point numbers.
Fichier principal
Vignette du fichier
RR-7262.pdf (299.11 Ko) Télécharger le fichier
alltests (1.21 Ko) Télécharger le fichier
depth4.c (7.14 Ko) Télécharger le fichier
minasm.c (16.79 Ko) Télécharger le fichier
sipe.h (15.05 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre
Format : Autre
Format : Autre
Format : Autre
Loading...

Dates et versions

inria-00475279 , version 1 (21-04-2010)

Identifiants

  • HAL Id : inria-00475279 , version 1

Citer

Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums. [Research Report] RR-7262, INRIA. 2010, pp.24. ⟨inria-00475279⟩
267 Consultations
541 Téléchargements

Partager

Gmail Facebook X LinkedIn More