An accurate elementary mathematical library for the IEEE floating point standard

ABSTRACT

The algorithms used by the IBM Israel Scientific Center for the elementary mathematical library using the IEEE standard for binary floating point arithmetic are described. The algorithms are based on the “accurate tables method.” This methodology achieves high performance and produces very accurate results. It overcomes one of the main problems encountered in elementary mathematical functions computations: achieving last bit accuracy. The results obtained are correctly rounded for almost all arguement values. Our main idea in the accurate tables method is to use “nonstandard tables,” which are different from the natural tables of equally spaced points in which the rounding error prevents obtaining last bit accuracy. In order to achieve a small error we use the following idea: Perturb the original, equally spaced, points in such a way that the table value (or tables values in case we need several tables) will be very close to numbers which can be exactly represented by the computer (much closer than the usual double percision representation). Thus we were able to control the error introduced by the computer representation of real numbers and extended the accuracy without actually using extended precision arithmetic.

REFERENCES

• 1: Ramesh C Agarwal , James W Cooley , Fred G Gustavson , James B Shearer , Gordon Slishman , Bryant Tuckerman, New scalar and vector elementary functions for the IBM system/370, IBM Journal of Research and Development, v.30 n.2, p.123-144, March 1986
• 2: Clarification. IBM J. Res. Develop. 31, 2 (Mar. 1987), p. 274.
• 3: Cheryl M. Black , Robert Burton and Thomas H. Miller, The Need for an Industry Standard of Accuracy for Elementary-Function Programs, ACM Transactions on Mathematical Software (TOMS), v.10 n.4, p.361-366, Dec. 1984 [doi>10.1145/2701.356101]
• 4: DEKKER, T.J. Floating point technique for extending the available precision. Num. Math. 18 (1971), 224-242.
• 5: Shmuel Gal, Computing Elementary Functions: A New Approach for Achieving High Accuracy and Good Performance, Proceedings of the Symposium on Accurate Scientific Computations, p.1-16, March 12-14, 1985
• 6: IBM Elementary Mathematics Library. Programming RPQ (5799~BTB). In Program Reference and Operation Manual, IBM, 1984.
• 7: Institute of Electrical and Electronics Engineers, Inc. IEEE standard for binary floating point arithmetic (An American National Standard). IEEE New York, 1985.
• 8: Liu, Z.A. Test program for the elementary functions. Personal Communication, Department of Computer Science, University of California, Berkeley.
• 9: Donald E. Knuth, The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.0 General
          Subjects: Computer arithmetic

Additional Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.2 Approximation
          Subjects: Elementary function approximation

General Terms:
Algorithms, Theory

Keywords:
IEEE arithmetic, accurate tables method, last bit accuracy