An efficient method for computing comprehensive Gröbner bases
type: Item
instance of: scholarly article
title: An efficient method for computing comprehensive Gröbner bases
zbMATH Open document ID: 1283.13024
author: Deepak Kapur
author: Yao Sun
author: Dingkang Wang
published in: Journal of Symbolic Computation
publication date: 2013-03-11T00:00:00Z
review text: The concept of a comprehensive Gröbner basis was introduced by \textit{V. Weispfenning} [J. Symb. Comput. 36, No. 3-4, 669--683 (2003; Zbl 1054.13015)] as a special basis of a parametric polynomial system such that for every possible specialization of its parameters, the basis obtained from the comprehensive Gröbner basis serves as a Gröbner basis of the ideal generated by the specialization of the parametric polynomial system. In the paper under review, the authors present an efficient method to keep track of faithful polynomials during the computations, such that a comprehensive Gröbner basis of a parametric polynomial system can be constructed more efficiently. The key idea is to split a polynomial into two parts -nonzero part and zero part for the specialization under consideration. The proposed idea can be used in all algorithms for computing comprenhensive Gröbner systems. The main result of the paper (Theorem 4.6) gives a direct way to compute a comprehensive Gröbner system and a comprehensive Gröbner basis simultaneously and the correctness of the new algorithm is a direct consequence of this result. The core of the new algorithm is an efficient algorithm for computing a comprehensive Gröbner system proposed by the authors [``A new algorithm for computing comprehensive Gröbner systems. in: Proc. ISSAC 2010, 29--36 (2010)]. The authors have done a detailed comparative analysis and experiments that show that the algorithm is faster in practice than known existing algorithms primarily. The authors point out that the proposed approach and the algorithms are susceptible to be improved in future work. A theoretical contribution of the paper is a more generalized stable condition for parametric polynomial systems which serves as the base of the proposed algorithms for computing comprehensive Gröbner bases. The authors say that this new stable condition may lead to more interesting results.
Mathematics Subject Classification ID: 13P10
zbMATH DE Number: 6143072
zbMATH Keywords: Gröbner basis
zbMATH Keywords: comprehensive Gröbner basis
zbMATH Keywords: comprehensive Gröbner system
zbMATH Keywords: stability condition
reviewed by: Mijail Borges-Quintana
describes a project that uses: SINGULAR
MaRDI profile type: Publication
full work available at URL: j.jsc.2012.05.015
OpenAlex ID: W2148498573
DOI: 10.1016/J.JSC.2012.05.015
description: scientific article; zbMATH DE number 6143072