Abstract
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(n 4) to O(n 2) coefficient operations, the same as required by the standard on-line algorithms.
Preview
Unable to display preview. Download preview PDF.
Bibliography
H.B. Curry and R. Feys, Combinatory Logic North Holland, Amsterdam, 1958.
D.E. Knuth, The Art of Computer Programming Volume 2, Second Edition, Addison-Wesley, Reading Mass, 1981.
R.D. Jenks and B.M. Trager, A Language for Computational Algebra, Proc. 1981 ACM Symposium on Symbolic and Algebraic Computation.
B.W. Char, K.O. Geddes, G.H. Gonnet and S.M. Watt, Maple User's Guide, Watcom Publications, Waterloo Ontario, 1985.
H. Abelson and G. Sussman (with J. Sussman), Structure and Interpretation of Computer Programs, The MIT Press, Cambridge Mass, 1985.
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)
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).
J.P. Henry and M. Merle, Puiseux Pairs, Resolution of Curves and Lazy Evaluation, Preprint 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Watt, S.M. (1989). A fixed point method for power series computation. In: Gianni, P. (eds) Symbolic and Algebraic Computation. ISSAC 1988. Lecture Notes in Computer Science, vol 358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51084-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-51084-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51084-0
Online ISBN: 978-3-540-46153-1
eBook Packages: Springer Book Archive