这个问题可以指任何能够从一组多项式（Mathematica、Singular、GAP、Macaulay2、MatLab等）计算Groebner基的计算机代数系统。
我正在研究一个超定的多项式系统，对于这个系统来说，完全的groebner基太难计算，但是对我来说，能够打印出groebner基元素是很有价值的，因为它们被发现了，所以我可以知道是否有一个特定的多项式在groebner基中有办法吗？
最佳答案
如果您自己实现了Buchberger算法，那么您可以简单地打印出找到的元素。
如果你有Mathematica，你可以用这段代码作为起点。
https://www.msu.edu/course/mth/496/snapshot.afs/groebner.m
请参见函数BuchbergerSteps。