Univariate power series expansions in REDUCE
Julian A. Padget, A. Barnes · 1990
We describe the development of a formal power series expansion package for Reduce which takes advantage of Reduce's domain mechanism to make for a seamless integration of series values with the rest of the Reduce system. Consequently, series values may be manipulated with the same algebraic operators as other algebraic objects. To create the illusion of infinite power series a simulated lazy-evaluation mechanism has been used. This paper reports our experience of using the Reduce domain mechanism and documents the algorithms and data structures that can be used to implement and to represent power series.