A Package on Formal Power Series

Volume 4, Issue 2
Spring 1994

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.