Efficient q-integer linear decomposition of multivariate polynomials. (November 2021)

• Record Type: Journal Article
• Authors: Giesbrecht, Mark; Huang, Hui; Labahn, George; Zima, Eugene
• Is Part Of: Journal of symbolic computation. Volume 107(2021)
• Page Start: 122
• Page End: 144
• Publication Date: 2021-11
• Subjects: q-Analogue -- Integer-linear polynomials -- Polynomial decomposition -- Newton polytope -- Creative telescoping -- Ore-Sato theory; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2021.02.001
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: We present two new algorithms for the computation of the q -integer linear decomposition of a multivariate polynomial. Such a decomposition is essential for the treatment of q -hypergeometric symbolic summation via creative telescoping and for describing the q -counterpart of Ore-Sato theory. Both of our algorithms require only basic integer and polynomial arithmetic and work for any unique factorization domain containing the ring of integers. Complete complexity analyses are conducted for both our algorithms and two previous algorithms in the case of multivariate integer polynomials, showing that our algorithms have better theoretical performances. A Maple implementation is also included which suggests that our algorithms are much faster in practice than previous algorithms.