首页    期刊浏览 2024年11月28日 星期四
登录注册

文章基本信息

  • 标题:Computing Comprehensive Gröbner Systems: A Comparison of Two Methods
  • 本地全文:下载
  • 作者:Amir Hashemi ; Benyamin M.-Alizadeh ; Mahdi Dehghani Darmian
  • 期刊名称:Computer Science Journal of Moldova
  • 印刷版ISSN:1561-4042
  • 出版年度:2017
  • 卷号:25
  • 期号:3
  • 页码:278-302
  • 出版社:Institute of Mathematics and Computer Science
  • 摘要:In this paper, we consider two main approaches to compute Gr\"obner bases for parametric polynomial ideals, namely the {\sc DisPGB} algorithm developed by Montes \cite{monts1} and the {\sc PGBMain} proposed by Kapur, Sun and Wang \cite{kapur}. The former algorithm creates new branches in the space of parameters during the construction of Gr\"obner basis of a given ideal in the polynomial ring of variables and the latter computes (at each iteration) a Gr\"obner basis of the ideal in the polynomial ring of the variables and parameters and creates new branches according to leading coefficients in terms of parameters. Therefore, the latter algorithm can benefit from the efficient implementation of Gr\"obner basis algorithm in each computer algebra system. In order to compare these two algorithms (in the same platform) we use the recent algorithm namely GVW due to Gao et al. \cite{Gao2} to compute Gr\"obner bases which makes the use of the F$_5$ criteria proposed by Faug\`ere to remove superfluous reductions \cite{F5}. We show that there exists a class of examples so that an {\em incremental} structure on the {\sc DisPGB} algorithm by using the GVW algorithm is faster than the {\sc PGBMain} by applying the same algorithm to compute Gr\"obner bases. The mentioned algorithms have been implemented in {\tt Maple} and experimented with a number of examples
  • 关键词:Comprehensive Gröbner systems; {\sc DisPGB} algorithm; {\sc PGBMain} algorithm; F$_5$ criteria; GVW algorithm.
国家哲学社会科学文献中心版权所有