逆形式的湮灭理想。一种简化
摘要：简化反射多项式和逆形式三原则的早期同名论文。让K为一个域，并且令M=K [x ^ {-1}, z ^ {-1}] 表示Macaulay的K [x，z]的倒数多项式模;这里z和z ^ {-1}是均匀化变量。反射形式FinM有一个齐次消元理想，I_F。在早期的一篇论文中，我们归纳地构造一个在K [x，z]中生成I_F的有序对（f_1，f_2）的形式。我们使用反射多项式来显示中间形式给出一个最小的grlex Groebner基础，可以有效地减少。我们给出了一个明显较短的证明，证明中间形式是I_F的最小grlex Groebner基础。我们还简化了$f_1$的一个单项式是已经简化的，或者可以通过$f_2$来简化的证明。计算$f_1，f_2$的算法产生了Berlekamp-Massey算法的一种改进，不使用最后的“长度变化”方法。这些新的证明避免了三种不同情况，以及中间“基本”形式的技术分解。我们还表明$f_1，f_2$是I_F的最大R正则序列，因此I_F是一个完全相交。
作者：Graham H. Norton
论文ID：1805.03995
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-05-11