Abstract
We wish to work with polynomials where the exponents are not known in advance, such as x 2n – 1. There are various operations we will want to be able to do, such as squaring the value to get x 4n − 2x 2n+1, or differentiating it to get 2nx 2n − 1. Expressions of this sort arise frequently in practice, for example in the analysis of algorithms, and it is very difficult to work with them effectively in current computer algebra systems.
We consider the case where multivariate polynomials can have exponents which are themselves integer-valued multivariate polynomials, and we present algorithms to compute their GCD and factorization. The algorithms fall into two families: algebraic extension methods and interpolation methods. The first family of algorithms uses the algebraic independence of \(x, x^{n},{x^{n^2}},x^{nm}\), etc, to solve related problems with more indeterminates. Some subtlety is needed to avoid problems with fixed divisors of the exponent polynomials. The second family of algorithms uses evaluation and interpolation of the exponent polynomials. While these methods can run into unlucky evaluation points, in many cases they can be more appealing. Additionally, we also treat the case of symbolic exponents on rational coefficients (e.g. \(4^{{n^2}+n}-81\)) and show how to avoid integer factorization.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Watt, S.M. (2006). Algorithms for Symbolic Polynomials. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2006. Lecture Notes in Computer Science, vol 4194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11870814_26
Download citation
DOI: https://doi.org/10.1007/11870814_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45182-2
Online ISBN: 978-3-540-45195-2
eBook Packages: Computer ScienceComputer Science (R0)