Univariate power series expansions in REDUCE

  • Authors:
  • J. Padget;A. Barnes

  • Affiliations:
  • School of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, United Kingdom;Department of Computer Science and Applied Mathematics, Aston University, Birmingham B4 7ET, United Kingdom

  • Venue:
  • ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.