Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Basic building blocks for a triple-double intermediate format

Christoph Quirin Lauter 1 
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : The implementation of correctly rounded elementary functions needs high intermediate accuracy before final rounding. This accuracy can be provided by (pseudo-) expansions of size three, i.e. a triple-double format. The report presents all basic operators for such a format. Triple-double numbers can be redundant. A renormalization procedure is presented and proven. Elementary functions' implementations need addition and multiplication sequences. These operators must take operands in double, double-double and triple-double format. The results must be accordingly in one of the formats. Several procedures are presented. Proofs are given for their accuracy bounds. Intermediate triple-double results must finally be correctly rounded to double precision. Two effective rounding sequences are presented, one for round-to-nearest mode, one for the directed rounding modes. Their complete proofs constitute half of the report.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 8:01:21 PM
Last modification on : Wednesday, October 26, 2022 - 8:14:57 AM


  • HAL Id : inria-00070314, version 1



Christoph Quirin Lauter. Basic building blocks for a triple-double intermediate format. [Research Report] RR-5702, LIP RR-2005-38, INRIA, LIP. 2005, pp.67. ⟨inria-00070314⟩



Record views


Files downloads