Fast and Accurate Floating Point Summation with Application to Computational Geometry
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
We present several simple algorithms for accurately computing the sum of n floating point numbers using a wider accumulator. Let f and F be the number of significant bits in the summands and the accumulator, respectively. Then assuming gradual underflow, no overflow, and round-to-nearest arithmetic, up to ⌊2 F−f /(1−2−f )⌋+1 numbers can be accurately added by just summing the terms in decreasing order of exponents, yielding a sum correct to within about 1.5 units in the last place. In particular, if the sum is zero, it is computed exactly. We apply this result to the floating point formats in the IEEE floating point standard, and investigate its performance. Our results show that in the absence of massive cancellation (the most common case) the cost of guaranteed accuracy is about 30–40% more than the straightforward summation. If massive cancellation does occur, the cost of computing the accurate sum is about a factor of ten. Finally, we apply our algorithm in computing a robust geometric predicate (used in computational geometry), where our accurate summation algorithm improves the existing algorithm by a factor of two on a nearly coplanar set of points.
- ANSI/IEEE, IEEE standard for binary floating point arithmetic, New York, Std 754–1985 edition (1985).
- Bohlender, G. (1977) Floating point computation of functions with maximum accuracy. IEEE Trans. Comput. 26: pp. 621-632
- Dekker, T. (1971) A floating point technique for extending the available precision. Numer. Math. 18: pp. 224-242
- J. Demmel and Y. Hida, Accurate floating point summation, Computer Science Division Technical Report UCB//CSD–02–1180, University of California, Berkeley, submitted to SIAM J. Sci. Comput.
- Higham, N.J. (1993) The accuracy of floating point summation. SIAMJ. Sci. Comput. 14: pp. 783-799
- Higham, N.J. (1996) Accuracy and Stability of Numerical Algorithms. SIAM, Philadelphia, PA
- Intel Corporation, Intel Itanium architecture software developer's manual, Vol. 1. Intel Corporation (2002); http://developer.intel.com/design/itanium/manuals.
- Intel Corporation, IA-32 Intel architecture software developer's manual, Vol. 1, Intel Corporation (2002); http://developer.intel.com/design/pentium/manuals.
- W. Kahan, Doubled-precision IEEE standard 754 floating point arithmetic, manuscript (1987).
- Knuth, D. (1969) The Art of Computer Programming. Addison-Wesley, Reading, MA
- Kulisch, U., Bohlender, G. (1976) Formalization and implementation of floating-point matrix operations. Computing 16: pp. 239-261
- U. Kulisch and W.L. Miranker, Computer Arithmetic in Theory and Practice (Academic Press, New York, 1981).
- Leuprecht, [. H., Oberaigner, W. (1982) Parallel algorithms for the rounding exact summation of floating point numbers. Computing 28: pp. 89-104
- Linnainmaa, S. (1981) Software for doubled-precision floating point computations. ACM Trans. Math. Software 7: pp. 272-283
- Malcolm, M. (1971) On accurate floating-point summation. Comm. ACM 14: pp. 731-736
- O. Møller, Quasi double precision in floating-point arithmetic, BIT 5 (1965) 37–50.
- Pichat, M. (1972) Correction d'une somme en arithmétique à virgule flottante. Numer. Math. 19: pp. 400-406
- D. Priest, Algorithms for arbitrary precision floating point arithmetic, in: Proc. of the 10th Symposium on Computer Arithmetic, eds. P. Kornerup and D. Matula, Grenoble, France, 26–28 June 1991 (IEEE Computer Soc. Press) pp. 132–145.
- D. Priest, On properties of floating point arithmetics: Numerical stability and the cost of accurate computations, Ph.D. thesis, University of California at Berkeley (1992); available through anonymous FTP at ftp.icsi.berkeley.edu/pub/theory/priest-thesis.ps.Z.
- Ross, D.R. (1965) Reducing truncation errors using cascading accumulators. Comm. ACM 8: pp. 32-33
- Shewchuk, J.R. (1997) Adaptive precision floating-point arithmetic and fast robust geometric predicates. Discrete Comput. Geometry 18: pp. 305-363
- Wolfe, J.M. (1964) Reducing truncation errors by programming. Comm. ACM 7: pp. 355-356
- Fast and Accurate Floating Point Summation with Application to Computational Geometry
Volume 37, Issue 1-4 , pp 101-112
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- floating point summation
- rounding error analysis
- computational geometry
- robust geometric predicate
- Industry Sectors