摘要：构建非交换格罗布纳基的过程通过称为缩减运算符的特定线性投影来执行缩减。这些运算符使我们能够使用一种格子构造方法将每个S-多项式同时缩减到唯一的正常形式。我们提供了一个实现以及一个示例来说明我们的过程。此外，格子构造是通过高斯消元来完成的，这与构建交换格罗布纳基的F4算法相关。
作者：Chenavier Cyrille
论文ID：1703.02077
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-01-31
PDF 下载： 英文版 中文版pdf翻译中