Abstract:The current signature-based Gröbner basis algorithms are mostly in Buchberger style and the researches related to matrix style often aim to analyze the complexity of algorithms. From a practical aspect, this paper provides a concrete Gao-Volny-Wang (GVW) algorithm in matrix style and presents optimization at the algorithmic level. Meanwhile, an efficient reduction criterion is given in the paper. Many popular criteria and strategies are compared by some experiments which show that the matrix version described in the paper is a combination of reasonable criteria and strategies. Moreover, the matrix-GVW is two to six times faster than the Buchberger style for some polynomial systems, e.g. Cyclic series and Katsura series.
潘森杉, 胡予濮, 王保仓. 基于标签的矩阵型Gröbner基算法研究[J]. 电子与信息学报, 2015, 37(4): 881-886.
PAN Sen-Shan, Hu Yu-Pu, Wang Bao-Cang. Research on Signature-based Gröbner Basis Algorithms in Matrix Style. , 2015, 37(4): 881-886.