A Package on Formal Power Series
Volume 4, Issue 2
Wolfram Koepf, Konrad-Zuse-Zentrum für Informationstechnik, Berlin
Formal Laurent-Puiseux series are important in many branches of mathematics.
This paper presents a Mathematica implementation of algorithms developed
by the author for converting between certain classes of functions and their
equivalent representing series. The package PowerSeries
handles functions of rational, exponential, and hypergeometric type, and
enables the user to reproduce most of the results of Hansen's extensive
table of series. Subalgorithms of independent significance generate differential
equations satisfied by a given function and recurrence equations satisfied
by a given sequence.