On Ziv's rounding test
- 23 July 2013
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software
- Vol. 39 (4), 1-19
- https://doi.org/10.1145/2491491.2491495
Abstract
A very simple test, introduced by Ziv, allows one to determine if an approximation to the value f(x) of an elementary function at a given point x suffices to return the floating-point number nearest f(x). The same test may be used when implementing floating-point operations with input and output operands of different formats, using arithmetic operators tailored for manipulating operands of the same format. That test depends on a “magic constant” e. We show how to choose that constant e to make the test reliable and efficient. Various cases are considered, depending on the availability of an fma instruction, and on the range of f(x).Keywords
Funding Information
- Agence Nationale de la Recherche (ANR 2010 BLAN 0203 01 (TaMaDi project))
This publication has 10 references indexed in Scilit:
- Midpoints and Exact Points of Some Algebraic Functions in Floating-Point ArithmeticIEEE Transactions on Computers, 2010
- Handbook of Floating-Point ArithmeticPublished by Springer Science and Business Media LLC ,2010
- The pitfalls of verifying floating-point computationsACM Transactions on Programming Languages and Systems, 2008
- Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to OddIEEE Transactions on Computers, 2008
- Towards the Post-Ultimate libmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Accurate Sum and Dot ProductSIAM Journal on Scientific Computing, 2005
- Fast evaluation of elementary mathematical functions with correctly rounded last bitACM Transactions on Mathematical Software, 1991
- Rundungsfehleranalyse einiger Verfahren zur Summation endlicher SummenZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1974
- Correction d'une somme en arithmetique a virgule flottanteNumerische Mathematik, 1972
- A floating-point technique for extending the available precisionNumerische Mathematik, 1971