The Euclidean Division Implemented with a Floating-Point Division and a Floor

Vincent Lefèvre 1
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We study conditions under which the Euclidean division can be implemented using a floating-point division followed by a floor function. We show that under reasonable assumptions, the rounding downward mode can always be used, and the rounding to nearest mode can be used in most practical cases. These results may be useful for any language, but there is a particular benefit for languages, like ECMAScript, that do not have an integer division and that always round to nearest. We also show that an intermediate extended precision can introduce errors and give a condition under which an extended precision has no effect on the results.
Type de document :
Rapport
[Research Report] RR-5604, INRIA. 2005, pp.16
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00070403
Contributeur : <>
Soumis le : vendredi 19 mai 2006 - 20:23:25
Dernière modification le : vendredi 29 septembre 2017 - 13:44:03
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:07:50

Fichiers

Identifiants

  • HAL Id : inria-00070403, version 1
  • Mot de passe :

Collections

Citation

Vincent Lefèvre. The Euclidean Division Implemented with a Floating-Point Division and a Floor. [Research Report] RR-5604, INRIA. 2005, pp.16. 〈inria-00070403〉

Partager

Métriques

Consultations de la notice

121

Téléchargements de fichiers

239