Computing predecessor and successor in rounding to nearest
We give simple and efficient methods to compute and/or estimate the predecessor and successor of a floating-point number using only floating-point operations in rounding to nearest. This may be used to simulate interval operations, in which case the quality in terms of the diameter of the result is significantly improved compared to existing approaches.
KeywordsFloating-point arithmetic Rounding to nearest Predecessor Successor Directed rounding
Mathematics Subject Classification (2000)68-04 68N30
Unable to display preview. Download preview PDF.
- 1.American National Standards Institute, Institute of Electrical, and Electronic Engineers. IEEE Standard for Radix-Independent Floating-Point Arithmetic. ANSI/IEEE Standard, Std. 854–1987 (1987) Google Scholar
- 2.Boldo, S.: Preuves formelles en arithmétiques à virgule flottante. Ph.D. Dissertation, École Normale Supérieure de Lyon (2004) Google Scholar
- 3.Boldo, S., Muller, J.-M.: Some functions computable with a fused-mac. In: Montuschi, P., Schwarz, E. (eds.) Proceedings of the 17th Symposium on Computer Arithmetic, pp. 52–58, Cape Cod, USA (2005) Google Scholar
- 5.Daumas, M., Rideau, L., Théry, L.: A generic library of floating-point numbers and its application to exact computing. In: 14th International Conference on Theorem Proving in Higher Order Logics, Edinburgh, Scotland, pp. 169–184 (2001) Google Scholar
- 6.Institute of Electrical, and Electronic Engineers: IEEE Standard for Floating-Point Arithmetic. IEEE Standard 754-2008. Revision of ANSI-IEEE Standard 754-1985. Approved June 12, 2008: IEEE Standards Board Google Scholar