On the bit-complexity of sparse polynomial and series multiplication

Joris van der Hoeven (1) , Grégoire Lecerf (2)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 LMV - Laboratoire de Mathématiques de Versailles

In this paper we present various algorithms for multiplying multivariate polynomials and series. All algorithms have been implemented in the C++ libraries of the Mathemagix system. We describe naive and softly optimal variants for various types of coefficients and supports and compare their relative performances. For the first time we are able to observe the benefit of non naive arithmetic for multivariate polynomials and power series, which might lead to speed-ups in several areas of symbolic and numeric computation. For the sparse representation, we present new softly linear algorithms for the product whenever the destination support is known, together with a detailed bit-complexity analysis for the usual coefficient types. As an application, we are able to count the number of the absolutely irreducible factors of a multivariate polynomial with a cost that is essentially quadratic in the number of the integral points in the convex hull of the support of the given polynomial. We report on examples that were previously out of reach.

Domaines: Calcul formel [cs.SC]

Joris van der Hoeven, Grégoire Lecerf. On the bit-complexity of sparse polynomial and series multiplication. 2010. ⟨hal-00476223⟩