An Involutive GVW Algorithm and the Computation of Pommaret Bases

被引：0
|
作者：
Hashemi, Amir [1 ]
Izgin, Thomas [2 ]
Robertz, Daniel [3 ]
Seiler, Werner M. [2 ]
机构：
[1] Isfahan Univ Technol, Dept Math Sci, Esfahan 8415683111, Iran
[2] Univ Kassel, Inst Math, Heinrich Plett Str 40, D-34132 Kassel, Germany
[3] Univ Plymouth, Sch Engn Comp & Math, 2-5 Kirkby Pl, Plymouth PL4 8AA, Devon, England
来源：
MATHEMATICS IN COMPUTER SCIENCE | 2021年 / 15卷 / 03期
关键词：
Grobner bases; Module of syzygies; Signature-based algorithms; The GVW algorithm; Involutive bases; Quasi-stable position; Linear coordinate transformations; Pommaret bases;
D O I：
10.1007/s11786-021-00512-5
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
The GVW algorithm computes simultaneously Grobner bases of a given ideal and of the syzygy module of the given generating set. In this work, we discuss an extension of it to involutive bases. Pommaret bases play here a special role in several respects. We distinguish between a fully involutive GVW algorithm which determines involutive bases for both the given ideal and the syzygy module and a semi-involutive version which computes for the syzygy module only an ordinary Grobner basis. A prototype implementation of the developed algorithms in Maple is described.
引用
收藏
页码：419 / 452
页数：34
相关论文
共 50 条
  • [1] An Involutive GVW Algorithm and the Computation of Pommaret Bases
    Amir Hashemi
    Thomas Izgin
    Daniel Robertz
    Werner M. Seiler
    Mathematics in Computer Science, 2021, 15 : 419 - 452
  • [2] Parallelization of an algorithm for computation of involutive Janet bases
    Yanovich, DA
    PROGRAMMING AND COMPUTER SOFTWARE, 2002, 28 (02) : 66 - 69
  • [3] Parallelization of an Algorithm for Computation of Involutive Janet Bases
    D. A. Yanovich
    Programming and Computer Software, 2002, 28 : 66 - 69
  • [4] Computation of Pommaret Bases Using Syzygies
    Binaei, Bentolhoda
    Hashemi, Amir
    Seiler, Werner M.
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2018, 2018, 11077 : 51 - 66
  • [5] On computation of Boolean involutive bases
    V. P. Gerdt
    M. V. Zinin
    Yu. A. Blinkov
    Programming and Computer Software, 2010, 36 : 117 - 123
  • [6] On Computation of Boolean Involutive Bases
    Gerdt, V. P.
    Zinin, M. V.
    Blinkov, Yu. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2010, 36 (02) : 117 - 123
  • [7] Improved Computation of Involutive Bases
    Binaei, Bentolhoda
    Hashemi, Amir
    Seiler, Werner M.
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2016, 2016, 9890 : 58 - 72
  • [8] On an algorithmic optimization in computation of involutive bases
    Gerdt, VP
    PROGRAMMING AND COMPUTER SOFTWARE, 2002, 28 (02) : 62 - 65
  • [9] On an Algorithmic Optimization in Computation of Involutive Bases
    V. P. Gerdt
    Programming and Computer Software, 2002, 28 : 62 - 65
  • [10] Parallel modular computation of Grobner and involutive bases
    Yanovich, D. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2013, 39 (02) : 110 - 113
12345