×

规范化的并行算法。 (英语) Zbl 1408.13072号

摘要:给定一个完备域(K)上的约化仿射代数(a),我们提出了并行算法来计算(a)的归一化(上划线a)。我们的出发点是G.-M.格雷尔等人[J.Symb.Compute.45,No.9,887-901(2010;2015年1月1日)],这是对德容算法的改进[T.de Jong(德容),J.Symb。计算。26,第3期,273–277(1998年;Zbl 0932.13021号)]和[W.Decker公司等,程序。数学。173, 177–185 (1999;Zbl 0942.13010号)]. 首先,我们建议以一种与归一化兼容的方式将奇异位点Sing(A)分层,在每一层应用归一化算法的局部版本,并通过将局部结果放在一起来找到(上A)。其次,在(K=\mathbbQ)是有理数域的情况下,我们提出了全局和局部到全局算法的模块化版本。我们在计算机代数系统Singular中实现了我们的算法,并将其性能与[Zbl 1200.13015号]. 在(K=\mathbbQ)的情况下,我们还讨论了Gröbner基、根和主分解的模计算的使用。我们指出,在大多数示例中,新算法的性能优于[Zbl 1200.13015号]到目前为止,即使我们没有并行运行它们。

MSC公司:

13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)
68宽10 计算机科学中的并行算法
68瓦30 符号计算和代数计算
13Bxx号 交换环扩展及相关主题

软件:

单一岩浆麦考利2
PDF格式BibTeX公司 XML格式引用