A fixed point method for power series computation
This paper presents a novel technique for manipulating structures which represent infinite power series.
When power series are implemented using lazy evaluation, many operations can be written as simple recursive procedures. For example, the programs to generate the series for the elementary transcendental functions are almost transliterations of the defining integral equations. However, a naive lazy algorithm provides an implementation which may be orders of magnitude slower than a method which manipulates the coefficients explicitly.
The technique described here allows a power series to be defined in a very natural but computationally inefficient way and transforms it to an equivalent, efficient form. This is achieved by using a fixed point operator on the delayed part to remove redundant calculations.
The paper describes this fixed point method and the class of problems to which it is applicable. It has been used in Scratchpad II to improve the performance of a number of operations on infinite series, including division, reversion, special functions and the solution of linear and non-linear ordinary differential equations.
A few examples are given of the method and of the speed up obtained. To illustrate, the computation of the first n terms of exp(u) for a dense, infinite series u is reduced from O(n4) to O(n2) coefficient operations, the same as required by the standard on-line algorithms.
Unable to display preview. Download preview PDF.
- H.B. Curry and R. Feys, Combinatory Logic North Holland, Amsterdam, 1958.Google Scholar
- D.E. Knuth, The Art of Computer Programming Volume 2, Second Edition, Addison-Wesley, Reading Mass, 1981.Google Scholar
- R.D. Jenks and B.M. Trager, A Language for Computational Algebra, Proc. 1981 ACM Symposium on Symbolic and Algebraic Computation.Google Scholar
- B.W. Char, K.O. Geddes, G.H. Gonnet and S.M. Watt, Maple User's Guide, Watcom Publications, Waterloo Ontario, 1985.Google Scholar
- H. Abelson and G. Sussman (with J. Sussman), Structure and Interpretation of Computer Programs, The MIT Press, Cambridge Mass, 1985.Google Scholar
- R.D. Jenks, R.S. Sutor and S.M. Watt, Scratchpad II: An Abstract Datatype System for Mathematical Computation, IMA Volumes in Mathematics and Its Applications, Volume 14, Springer-Verlag, New York (to appear). (Also RC 12327, IBM Research 1986)Google Scholar
- W.H. Burge and S.M. Watt, Infinite Structures in Scratchpad II, Proc. 1987 European Conference on Computer Algebra, Leipzig, GDR, Springer Verlag Lecture Notes in Computer Science (to appear).Google Scholar
- J.P. Henry and M. Merle, Puiseux Pairs, Resolution of Curves and Lazy Evaluation, Preprint 1987.Google Scholar