帕里萨·阿尔瓦迪;陈昌波;斯特芬·马库斯;马克·莫雷诺（Marc Moreno Maza）;埃里克·斯科特;保罗·弗比克 使用RegularChains库进行代数几何。 （英语） Zbl 1437.13003号 Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592, 472-479 (2014). 概述：传统上，Groebner基和柱面代数分解是计算代数几何的基本工具。正则链理论的最新进展显示了对代数簇进行局部分析的有效算法。在本说明中，我们介绍了这些新思想在RegularChains库的AlgebraicGeometryTools模块中的实现。这个新模块的功能包括计算正则链的准分量的（非平凡）极限点。这种类型的计算有几个应用，例如计算可构造集的Zarisk闭包以及计算空间曲线的切线锥，从而为分别基于Groebner基和标准基的标准方法提供了一种替代方法。由此，我们导出了一个算法，该算法在一般性假设下，计算零维变量在其任意点的交集重数。该算法仅依赖于对规则链的操作。关于整个系列，请参见[Zbl 1293.65003号]. 引用于2文件 MSC公司： 13-04 与交换代数有关的问题的软件、源代码等 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 68瓦30 符号计算和代数计算 关键词：代数几何;规则链;局部分析 软件：Epsilon公司;常规链条;Wsolve公司;代数几何工具 PDF格式BibTeX公司 XML格式引用 \textit{P.Alvandi}等人，Lect。注释计算。科学。8592、472--479（2014年；Zbl 1437.13003） 全文： 内政部