parametric GCD swMATH ID: 35034 Software Authors: Kapur, Deepak; Lu, Dong; Monagan, Michael; Sun, Yao; Wang, Dingkang Description: An efficient algorithm for computing parametric multivariate polynomial GCD. A new efficient algorithm for computing a parametric greatest common divisor (GCD) of parametric multivariate polynomials over k[u][x] is presented. The algorithm is based on a well-known simple insight that the GCD of two multivariate polynomials (non-parametric as well as parametric) can be extracted using the generator of the quotient ideal of a polynomial with respect to the second polynomial. And, further, this generator can be obtained by computing a minimal Gröbner basis of the quotient ideal. The main attraction of this idea is that it generalizes to the parametric case for which a comprehensive Gröbner basis is constructed for the parametric quotient ideal. It is proved that in a minimal comprehensive Gröbner system of a parametric quotient ideal, each branch of specializations corresponds to a principal parametric ideal with a single generator. Using this generator, the parametric GCD of that branch is obtained by division. This algorithm does not need to consider whether parametric polynomials are primitive w.r.t. the main variable. This is in sharp contrast to two algorithms recently proposed by extit{K. Nagasaka} [in: Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC’17. New York, NY: Association for Computing Machinery (ACM). 341–348 (2017; Zbl 07245248)]. The resulting algorithm is not only conceptually simple to understand but is considerably efficient. The proposed algorithm and both of Nagasaka’s algorithms have been implemented in Singular (available at url{http://www.mmrc.iss.ac.cn/ dwang/software.html}), and their performance is compared on a number of examples. For more than two polynomials, this process can be repeated by considering pairs of polynomials; the efficiency in that case becomes even more evident. Homepage: http://www.mmrc.iss.ac.cn/~dwang/software.html Keywords: minimal comprehensive Gröbner system; parametric GCD; parametric multivariate polynomial; quotient ideal Related Software: SINGULAR; Risa/Asir; grobcov.lib; PGB; dpgb Cited in: 4 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year An efficient algorithm for computing parametric multivariate polynomial GCD. Zbl 1467.13047Kapur, Deepak; Lu, Dong; Monagan, Michael; Sun, Yao; Wang, Dingkang 2018 all top 5 Cited by 7 Authors 3 Lu, Dong 3 Sun, Yao 3 Wang, Dingkang 2 Kapur, Deepak 2 Monagan, Michael B. 1 Nabeshima, Katsusuke 1 Tajima, Shinichi Cited in 3 Serials 1 Journal of Symbolic Computation 1 Journal of Systems Science and Complexity 1 Mathematics in Computer Science Cited in 3 Fields 4 Commutative algebra (13-XX) 3 Computer science (68-XX) 1 Algebraic geometry (14-XX) Citations by Year