Fast polynomial dispersion computation and its application to indefinite summation

  • Authors:
  • Yiu-Kwong Man;Francis J. Wright

  • Affiliations:
  • School of Mathematical Sciences, Queen Mary and Westfield College, University of London, Mile End Road, London E1 4NS, UK;School of Mathematical Sciences, Queen Mary and Westfield College, University of London, Mile End Road, London E1 4NS, UK

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

Quantified Score

Hi-index 0.00

Visualization

Abstract

An algorithm for computing the dispersion of one or two polynomials is described, based on irreducible factorization. It is demonstrated that in practice it is faster than the “conventional” resultant-based algorithm, at least for small problems. It can be applied to algorithms for indefinite summation and closed-form solution of linear difference equations. A brief survey of existing mostly resultant-based dispersion algorithms is given and the complexity of the resultant involved is analysed. The effectiveness of the proposed algorithm applied to indefinite summation is demonstrated by some examples that are not easily summed by the standard facilities in several computer algebra systems.