The use of Taylor series to test accuracy of function programs

ABSTRACT

This paper discusses the use of local Taylor series expansions for determining the accuracy of computer programs for special functions. The main example is testing of programs for exponential integrals. Additional applicaitons include testing of programs for certain Bessel functions, Dawson's integral, and error functions.

REFERENCES

• 1: Milton Abramowitz, Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,, Dover Publications, Incorporated, 1974
• 2: CODY, W.J. SPECFUN--A portable special function package. In New Computing Environments: M~crocomputers in Large-Scale Scientific Computing. A. Wouk, ed., SIAM, Philadelphia, 1987, 1-12.
• 3: W. J. Cody, Algorithm 665: Machar: a subroutine to dynamically determined machine parameters, ACM Transactions on Mathematical Software (TOMS), v.14 n.4, p.303-311, Dec. 1988 [doi>10.1145/50063.51907]
• 4: ConY, W. J. Performance evaluation of programs related to the real gamma function. Preprint MCS-P12-0988, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, Illinois, 1988.
• 5: CODY, W.J. Performance evaluation of programs for the error and complementary error functions. Preprint MCS-P13-0988, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, Illinois, 1988.
• 6: W. J. Cody , L. Stoltz, Performance evaluation of programs for certain Bessel functions, ACM Transactions on Mathematical Software (TOMS), v.15 n.1, p.41-48, March 1989 [doi>10.1145/62038.62039]
• 7: COPY, W. J., AND THACHER, H. C., JR. Chebyshev approximations for the exponential integral Ei( x). Math. Comput. 23 (1969), 289-303.
• 8: Jack J Dongarra , Eric Grosse, Distribution of mathematical software via electronic mail, Communications of the ACM, v.30 n.5, p.403-407, May 1987 [doi>10.1145/22899.22904]
• 9: Walter Gautschi , Bruce J. Klein, Recursive computation of certain derivatives&a study of error propagation, Communications of the ACM, v.13 n.1, p.7-9, Jan. 1970 [doi>10.1145/361953.361959]
• 10: Walter Gautschi , Bruce J. Klein, Remark on algorithm 282 [S22] derivatives of ex/x, cos(x)/x, and sin (x)/x, Communications of the ACM, v.13 n.1, p.53-54, Jan. 1970 [doi>10.1145/361953.361988]
• 11: NAg FORTRAN Library Manual, Mark 11, Volume 6. Numerical Algorithms Group, Ltd., Oxford, 1984.
• 12: SFUN/LIBRARY User's Manual. IMSL, Inc., Houston, Tex., 1987.

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.4 MATHEMATICAL SOFTWARE
      Subjects: Certification and testing

Additional Classification:
  G. Mathematics of Computing
  G.1 NUMERICAL ANALYSIS
      G.1.0 General
          Subjects: Numerical algorithms

General Terms:
Algorithms, Measurement, Performance, Verification

Keywords:
Bessel functions, Dawson's integral, Exponential integrals, performance evaluation