论文标题
螺纹Gröbner基地:Macaulay2包装
Threaded Gröbner Bases: a Macaulay2 package
论文作者
论文摘要
多年来,Gröbner计算的复杂性启发了Buchberger算法的许多改进。寻求对算法性能的进一步见解,我们在{\ it Macaulay2}中提供了经典Buchberger算法的螺纹实现。软件包的主要函数的输出包括有关在计算过程中添加到基础中的非零剩余物的{\ it Lineages}的信息。此信息可用于进一步的算法改进和优化。
The complexity of Gröbner computations has inspired many improvements to Buchberger's algorithm over the years. Looking for further insights into the algorithm's performance, we offer a threaded implementation of classical Buchberger's algorithm in {\it Macaulay2}. The output of the main function of the package includes information about {\it lineages} of non-zero remainders that are added to the basis during the computation. This information can be used for further algorithm improvements and optimization.