×
阿米尔·哈希米;托马斯·伊兹金;丹尼尔·罗伯茨;Werner M.塞勒。

对合GVW算法和Pommaret基的计算。 （英语） Zbl 1505.13039号

数学。计算。科学。 15，第3期，419-452（2021）.
1965年Buchberger算法之后，引入了几种计算Gröbner基的算法。其中，S.Gao高等人提出了一种算法[Math.Comput.85，No.297，449-465（2016；Zbl 1331.13018号)]它同时计算给定理想的Gröbner基和给定发电机组的syzyy模。此算法通常称为GVW算法。
本文提出了两种计算对合基的GVW算法。第一种是完全对合GVW算法，因为它为给定的理想及其合模确定了对合基。第二个是半对合的，它为给定的理想计算对合基，为syzygy模计算Gröbner基。作者强调了这两种变体的优点和问题。Maple 2019中的原型实现是可用的，作者在论文中描述了它，并给出了一些基准计算。
审核人：克里斯蒂娜·伯顿（都灵）

MSC公司：

13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
68瓦30 符号计算和代数计算

关键词：

Gröbner碱;系统模块;基于签名的算法;GVW算法;对合基;准静态位置;线性坐标变换;Pommaret底座

引文：

Zbl 1331.13018号

软件：

枫叶;SyzInv.mpl公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Hashemi}等人，《数学》。计算。科学。15，第3号，419--452（2021；Zbl 1505.13039）
全文： 内政部 链接

参考文献：

[1] Binaei，B.，Hashemi，A.，Seiler，W.M.：使用syzygies计算Pommaret基。科学计算中的计算机代数。2018年9月17日至21日，法国里尔，中国社会科学院第20届国际研讨会。会议记录，第51-66页。查姆施普林格（2018）·Zbl 1453.13075号
[2] Buchberger，B.：Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomide。1965年，因斯布鲁克大学博士论文。（英译：J.Symb.Compute.41（2006）475-511）·Zbl 1245.13020号
[3] Buchberger，B.：检测Gröbner-bases结构中不必要减少的标准。摘自：《符号和代数计算》，EUROSAM’79，国际研讨会，1979年马赛，计算机科学72讲稿，第3-21页（1979）·Zbl 0417.68029号
[4] Faugère，J.-C.：一种新的计算Gröbner基的有效算法，不需要将其归零（（F_5））。摘自：2002年符号和代数计算国际研讨会论文集，ISSAC 2002，法国里尔，2002年7月7日至10日，第75-83页。ACM出版社，纽约（2002）·Zbl 1072.68664号
[5] Gao，S.，Guan，Y.，Volny，F.：计算Groebner基的新增量算法。摘自：第35届符号和代数计算国际研讨会论文集，ISSAC 2010，德国慕尼黑，2010年7月25日至28日，第13-19页。纽约计算机协会（ACM）（2010年）·兹比尔1321.68531
[6] 高，S。；沃尼，F.IV；Wang，M.，计算Gröbner基的新框架，数学。计算。，85, 297, 449-465 (2016) ·Zbl 1331.13018号 ·doi:10.1090/mcom/2969
[7] Gebauer，R。；Möller，HM，关于Buchberger算法的安装，J.Symb。计算。，6, 2-3, 275-286 (1988) ·Zbl 0675.13013号 ·doi:10.1016/S0747-7171（88）80048-8
[8] Gerdt，V.P.：关于Pommaret和Janet碱基之间的关系。科学计算中的计算机代数。CASC 2000。第三次研讨会会议记录，2000年10月5日至9日，乌兹别克斯坦撒马尔罕，第167-181页。施普林格，柏林（2000）·Zbl 0981.13017号
[9] 副总裁Gerdt；Blinkov，YA，多项式理想的对合基，数学。计算。模拟。，45, 519-542 (1998) ·Zbl 1017.13500号 ·doi:10.1016/S0378-4754（97）00127-4
[10] 哈希米，A。；Schweinfurter，M。；西勒，WM，多项式理想的决定论一般性，J.Symb。计算。，86, 20-50 (2018) ·Zbl 1446.13021号 ·doi:10.1016/j.jsc.2017.03.008
[11] Izgin，T.：对合GVW算法和Pommaret基的计算。德国卡塞尔大学硕士论文（2020年）
[12] Janet，M.，《Sur les sysèmes d’équations aux dériveées partielles》，《数学杂志》。纯应用。，3, 65-151 (1920)
[13] Lazard，D.：Gröbner基底，高斯消去和代数方程组的分解。计算机代数，83年欧洲会议，1983年伦敦会议记录，计算机科学162讲义，第146-156页（1983）·Zbl 0539.13002号
[14] 李，D。；刘杰。；刘伟。；Zheng，L.，主理想域上的GVW算法，J.Syst。科学。复杂。，26, 4, 619-633 (2013) ·Zbl 1302.68332号 ·文件编号：10.1007/s11424-013-2130-5
[15] 李·T。；孙，Y。；黄，Z。；王，D。；Lin，D.，通过替代方法加速GVW算法，J.Syst。科学。复杂。，32, 1, 205-233 (2019) ·Zbl 1417.68294号 ·doi:10.1007/s11424-019-8345-3
[16] Möller，H.M.，Mora，T.，Traverso，C.：Gröbner使用syzygies进行基数计算。在：符号和代数计算国际研讨会92。ISSAC 92。美国加州伯克利，7月27日至29日，第320-328页。巴尔的摩ACM出版社（1992）·Zbl 0925.13010号
[17] Seiler，WM，《对合和δ-正则性的组合方法II：具有Pommaret基的多项式模的结构分析》，应用。代数工程通讯。计算。，20, 261-338 (2009) ·Zbl 1175.13011号 ·doi:10.1007/s00200-009-0101-9
[18] Seiler，W.M.：对合——微分方程的形式理论及其在计算机代数中的应用。数学算法与计算24。柏林施普林格出版社（2010年）·Zbl 1205.35003号
[19] Simóes，B.：基于签名的Gröbner基算法的Hilbert驱动策略。《形状、几何和代数的未来愿景和趋势》，第13-37页。斯普林格（2014）
[20] 孙，Y。；黄，Z。；王，D。；Lin，D.，非齐次多项式系统GVW算法的改进，有限域应用。，41, 174-192 (2016) ·Zbl 1370.13021号 ·doi:10.1016/j.ffa.2016.06.002
[21] 扎尔科夫，AY；Blinkov，YA，研究多项式系统的对合方法，数学。计算。模拟。，42, 4-6, 323-332 (1996) ·doi:10.1016/S0378-4754（96）00006-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。