返回Groebner Basis的元素

Question

这个问题可以指任何计算机代数系统,它能够从一组多项式(Mathematica,Singular,GAP,Macaulay2,MatLab等)计算Groebner基础.

我正在使用一个超定的多项式系统,其中完整的groebner基础太难以计算,但是对于我来说,能够打印出找到的groebner基本元素对我来说是有价值的,这样我就可以知道是否有特定的多项式是基于groebner的.有没有办法做到这一点？

Answer 1

如果您自己实现 Buchberger 算法，那么您可以简单地打印出找到的元素。

如果您有 Mathematica，则可以使用此代码作为起点。

https://www.msu.edu/course/mth/496/snapshot.afs/groebner.m

请参阅函数 BuchbergerSteps。