inria-00070403, version 1
The Euclidean Division Implemented with a Floating-Point Division and a Floor
N° RR-5604 (2005)
Résumé : 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.
- 1 : SPACES (INRIA Lorraine - LORIA)
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domaine : Informatique/Analyse numérique
Informatique/AutreInformatique/Langage de programmation - Mots-clés : FLOATING-POINT ARITHMETIC / EUCLIDEAN DIVISION / INTEGER DIVISION / CORRECT ROUNDING / PROGRAMMING LANGUAGES / ECMASCRIPT / XPATH
- Référence interne : RR-5604
- inria-00070403, version 1
- http://hal.inria.fr/inria-00070403
- oai:hal.inria.fr:inria-00070403
- Contributeur : Rapport De Recherche Inria
- Soumis le : Vendredi 19 Mai 2006, 20:23:25
- Dernière modification le : Mardi 27 Juin 2006, 16:29:33
Documents associés
Exporter