丹尼尔·安德烈斯;迈克尔·布里肯斯坦;维克托·列万多夫斯基;豪尔赫·马丁·莫拉莱斯;汉斯·舍内曼 构造性模理论单一. （英语） Zbl 1217.13011号 数学。计算。科学。 4，编号2-3，359-383（2010）. 讨论了计算模理论中的算法。特别是考虑了计算Bernstein算子、多项式对数零化子、有理函数零化子的新方法。介绍了一种计算Bernstein-Sato多项式的新方法。本文中考虑的所有算法都已在单一讨论了实现方法并给出了实例。审核人：格哈德·普菲斯特（凯泽斯劳滕） 引用于8文件 MSC公司： 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 10层14号 差速器和其他特殊滑轮；D模块；Bernstein-Sato理想与多项式 68瓦30 符号计算和代数计算 32立方38 微分算子的滑轮及其模块，\（D\）-模块 关键词：\（D\）-模块;非交换Gröbner基;零化子理想;\（b\）-函数;Bernstein-Sato多项式 软件：菅直人;麦考利2;复数;单一;D模块;Risa/Asir公司;瘦身 PDF格式BibTeX公司 XML格式引用 \textit{D.Andres}等人，数学。计算。科学。4、编号2--3359--383（2010；Zbl 1217.13011） 全文： 内政部 参考文献： [1] Andres，D.，Levandovskyy，V.，Martín-Morales，J.：仿射簇的主交集和Bernstein-Sato多项式。5月，J.P.（编辑）《符号和代数计算国际研讨会论文集》（ISSAC’09），第231-238页。ACM出版社，纽约（2009）·Zbl 1237.14004号 [2] Andres，D.，Levandovskyy，V.，Martín-Morales，J.：计算超曲面和仿射簇的Bernstein-Sato多项式的有效方法。http://arxiv.org/abs/1002.3644 (2010) [3] Bahloul R.，Oaku T.：局部伯恩斯坦-佐藤理想：算法和示例。J.塞姆。计算。45（1），46–59（2010）·Zbl 1184.14030号 ·doi:10.1016/j.jsc.2009.06.004 [4] Bernstein I.N.：微分算子环上的模。研究常系数方程的基本解。功能。分析。申请。5(2), 89–101 (1971) ·Zbl 0233.47031号 ·doi:10.1007/BF01076413 [5] Briançon，J.，Maisonobe，P.：巴黎伯恩斯坦协会（Remarques sur l’idéal de Bernstein associea des polynómes）。尼斯索菲亚·安蒂波利斯大学预印本第650期（2002年） [6] Brickenstein，M.：Slimgb:带Slim多项式的Gröbner基。摘自：莱茵计算机代数研讨会，第55-66页。2006年3月巴塞尔RWCA会议记录·Zbl 1200.13044号 [7] Budur N.、MustaţM.、Saito M.：伯恩斯坦–任意变种的佐藤多项式。作曲。数学。142(3), 779–797 (2006) ·Zbl 1112.32014年 ·doi:10.1112/S0010437X06002193 [8] Bueso J.，Gömez Torrecillas J.，Verschillen A.：非交换代数中的算法方法。量子群的应用。Kluwer，Dordrecht（2003）·Zbl 1063.16054号 [9] Castro-Jiménez，F.，Narváez-Macarro，L.：均匀化微分算子。塞维利亚大学第36期预出版（1997年） [10] Coutinho，S.：代数$${\（\backslash\）mathcal{D}}$$-模的入门。剑桥大学出版社，剑桥（1995）·Zbl 0848.16019号 [11] Decker，W.，Greuel，G.-M.，Pfister，G.，Schönemann，H.：奇异3-1-2。多项式计算的计算机代数系统。凯泽斯劳滕大学计算机代数中心。http://www.singular.uni-kl.de (2010) [12] Faugere J.C.，Gianni P.，Lazard D.，Mora T.：通过改变顺序高效计算零维Gröbner基。J.Symb。计算。16(4), 329–344 (1993) ·Zbl 0805.13007号 ·doi:10.1006/jsco.1993.1051 [13] Gago-Vargas J.，Hartillo-Hermoso M.，Ucha-Enríquez J.：计算多项式湮灭理想的两种方法的理论复杂性比较。J.塞姆。计算。40(3), 1076–1086 (2005) ·兹比尔1120.68404 ·doi:10.1016/j.jsc.2005.05.004 [14] Greuel，G.-M.，Levandovskyy，V.，Schönemann，H.：复数。非交换多项式代数计算的奇异3-1-0子系统。凯泽斯劳滕大学计算机代数中心。http://www.singular.uni-kl.de (2006) [15] Greuel，G.-M.，Pfister，G.：交换代数的奇异介绍。斯普林格，第二版。Bachmann，O.、Lossen，C.和Schönemann，H.（2008）的贡献·Zbl 1344.13002号 [16] Hartillo-Hermoso，M.I.：关于T.Oaku的算法。摘自：环理论和代数几何（León，1999），《纯粹和应用数学讲义》，第221卷，第241-250页。Dekker，纽约（2001）·Zbl 1054.32025号 [17] Kandri-Rody A.，Weispfenning V.：可解型代数中的非交换Gröbner基。J.塞姆。计算。9(1), 1–26 (1990) ·Zbl 0715.16010号 ·doi:10.1016/S0747-7171（08）80003-X [18] Kashiwara M.：B函数和完整系统。B函数根的合理性。发明。数学。38(1), 33–53 (1976) ·Zbl 0354.35082号 ·doi:10.1007/BF01390168 [19] Levandovskyy，V.：关于某些非交换代数中理想的前像。收录：Pfister，G.，Cojocaru，S.，Ufnarovski，V.（编辑）计算交换和非交换代数几何。IOS出版社，阿姆斯特丹（2005）·Zbl 1101.13307号 [20] Levandovskyy，V.，Martín-Morales，J.：奇异计算D模理论，与其他系统和两种新算法的比较。摘自：符号和代数计算国际研讨会论文集（ISSAC’08）。纽约ACM出版社。http://doi.acm.org/10.1145/1390768.1390794 (2008) [21] Levandovskyy V.，Martín-Morales J.（2010）《检查b-函数有理根的算法及其应用》。http://arxiv.org/abs/1003.3478 (2010) ·Zbl 1276.32010号 [22] Levandovskyy，V.，Schönemann，H.：复数-非交换多项式代数的计算机代数系统。In：程序。符号和代数计算国际研讨会（ISSAC’03），第176-183页。ACM出版社，纽约（2003）·Zbl 1072.68681号 [23] Li，H.：非交换Gröbner基和过滤分级转移。柏林施普林格出版社（2002年）·Zbl 1050.16022号 [24] 马尔格兰奇（Malgrange，B.）：《伯恩斯坦奇点》（Le polynóme de Bernstein d'une singularitéisolée e）。《傅里叶积分算子和偏微分方程》（Colloq.Internat.，Univ.Nice，Nice，1974），第98–119页。数学课堂笔记。，第459卷。柏林施普林格（1975） [25] Mebkhout Z.：上同调p-adique d'une variétéaffine非奇异的有限性。Am.J.数学。119(5), 1027–1081 (1997) ·兹比尔0926.14007 ·doi:10.1353/ajm.1997.0031 [26] Mebkhout Z.，Narváez-Macarro L.：不同领域的连续性。J.Reine Angew。数学。503, 193–236 (1998) ·2011年10月9日Zbl [27] Nakayama H.：通过$${\（\backslash\）widehat{\（\ backslash \）mathcal{D}}$$中的近似除法算法计算局部b函数的算法。J.塞姆。计算。，44（5），449–462（西班牙全国计算机代数会议）（2009）·Zbl 1178.68684号 ·doi:10.1016/j.jsc.2007.06.008 [28] Narváez Macarro，L.：雅可比理想的线性条件和自由因子的对数亚纯比较。在：奇点I，代数和分析方面，第245-269页。当代数学，474，AMS，2008·Zbl 1166.32006号 [29] Nishiyama K.，Noro M.：与局部b函数相关的分层。J.塞姆。计算。45(4), 462–480 (2010) ·Zbl 1184.13079号 ·doi:10.1016/j.jsc.2010.01.003 [30] Noro，M.：计算全局b函数的有效模块化算法。摘自：数学软件（北京，2002），第147-157页。世界科学出版物，River Edge（2002）·Zbl 1057.68149号 [31] Noro，M.，Shimoyama，T.，Takeshima，T.:Risa/Asir，一个开源通用计算机代数系统。http://www.math.kobe-u.ac.jp/Asir网站 (2006) [32] Oaku T.：与多项式相关联的b函数和D模的算法。J.纯应用。代数117（118），495–518（1997）·Zbl 0918.32006号 ·doi:10.1016/S0022-4049（97）00024-8 [33] 斋藤M.：关于微局部b函数。牛市。社会数学。法国122（2）、163–184（1994）·Zbl 0810.32004号 [34] Saito，M.，Sturmfels，B.，Takayama，N.：超几何微分方程的Gröbner变形。施普林格，柏林（2000）·Zbl 0946.13021号 [35] Schindelar，K.，Levandovskyy，V.，Zerz，E.：使用Ore代数的精确线性建模。J.塞姆。计算。2010年（出版中）·Zbl 1237.93041号 [36] Schulze M.：Brieskorn晶格的标准形算法。J.塞姆。计算。38（4），1207-1225（2004）·Zbl 1137.14303号 ·doi:10.1016/j.jsc.2003.08.005 [37] Shibuta，T.：计算乘数理想的算法。http://arxiv.org/abs/math/0807.4302 (2008) ·Zbl 1233.14015号 [38] Takayama，N.：kan/sm1，微分和差分算子环的Gröbner引擎。http://www.math.kobe-u.ac.jp/KAN/index.html (2003) [39] Torrelli，T.：对数比较定理和D模：概述。摘自：奇点理论，第995-1009页。世界科学出版物，哈肯萨克（2007）·Zbl 1121.32005年 [40] Tsai H.，Leykin A.（2006）Macaulay 2的D-modules包–D-module算法。http://www.ima.umn.edu/\（\sim\）leykin/Dmodules（2006） [41] Varchenko A.N.：消失上同调的渐近Hodge结构。伊兹夫。阿卡德。Nauk SSSR序列。材料45（3），540-591（1981）·Zbl 0476.14002号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。