Practical divide-and-conquer algorithms for polynomial arithmetic

  • Authors:
  • William Hart;Andrew Novocin

  • Affiliations:
  • University of Warwick, Mathematics Institute, Coventry, UK;LIP, INRIA, ENS, Lyon Cedex 07, France

  • Venue:
  • CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate two practical divide-and-conquer style algorithms for univariate polynomial arithmetic. First we revisit an algorithm originally described by Brent and Kung for composition of power series, showing that it can be applied practically to composition of polynomials in Z[x] given in the standard monomial basis. We offer a complexity analysis, showing that it is asymptotically fast, avoiding coefficient explosion in Z[x]. Secondly we provide an improvement to Mulders' polynomial division algorithm. We show that it is particularly efficient compared with the multimodular algorithm. The algorithms are straightforward to implement and available in the open source FLINT C library. We offer a practical comparison of our implementations with various computer algebra systems.