The F5 algorithm in Buchberger's style

被引：13
|
作者：
Sun, Yao [1 ]
Wang, Dingkang [1 ]
机构：
[1] Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing 100190, Peoples R China
来源：
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY | 2011年 / 24卷 / 06期
关键词：
Buchberger's style; F5; algorithm; Grobner basis; GROBNER BASES;
D O I：
10.1007/s11424-011-0218-3
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
The famous F5 algorithm for computing Grobner basis was presented by FaugSre in 2002. The original version of F5 is given in programming codes, so it is a bit difficult to understand. In this paper, the F5 algorithm is simplified as F5B in a Buchberger's style such that it is easy to understand and implement. In order to describe F5B, we introduce F5-reduction, which keeps the signature of labeled polynomials unchanged after reduction. The equivalence between F5 and F5B is also shown. At last, some versions of the F5 algorithm are illustrated.
引用
收藏
页码：1218 / 1231
页数：14
相关论文
共 50 条
  • [1] The F5 algorithm in Buchberger’s style
    Yao Sun
    Dingkang Wang
    Journal of Systems Science and Complexity, 2011, 24 : 1218 - 1231
  • [2] Termination of the F5 algorithm
    Galkin, V. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2014, 40 (02) : 47 - 57
  • [3] A Tropical F5 Algorithm
    Vaccon, Tristan
    Yokoyama, Kazuhiro
    PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, : 429 - 436
  • [4] Termination of the F5 algorithm
    V. V. Galkin
    Programming and Computer Software, 2014, 40 : 47 - 57
  • [5] Computing Syzygies by Faugere's F5 algorithm
    Ars, Gwenole
    Hashemi, Amir
    RESULTS IN MATHEMATICS, 2011, 59 (1-2) : 35 - 42
  • [6] Computing Syzygies by Faugère’s F5 algorithm
    Gwénolé Ars
    Amir Hashemi
    Results in Mathematics, 2011, 59 : 35 - 42
  • [7] A new proof for the correctness of the F5 algorithm
    SUN Yao
    WANG DingKang
    Science China(Mathematics), 2013, 56 (04) : 745 - 756
  • [8] A new proof for the correctness of the F5 algorithm
    Sun Yao
    Wang DingKang
    SCIENCE CHINA-MATHEMATICS, 2013, 56 (04) : 745 - 756
  • [9] On the complexity of the F5 Grobner basis algorithm
    Bardet, Magali
    Faugere, Jean-Charles
    Salvy, Bruno
    JOURNAL OF SYMBOLIC COMPUTATION, 2015, 70 : 49 - 70
  • [10] A new proof for the correctness of the F5 algorithm
    Yao Sun
    DingKang Wang
    Science China Mathematics, 2013, 56 : 745 - 756
12345