In §10 of Chapter 2 we discussed some criteria designed to identify situations where it is possible to see in advance that an S-polynomial remainder will be zero in Buchberger’s algorithm. Those unnecessary S-polynomial remainder calculations are in fact the main computational bottleneck for the basic form of the algorithm. Finding ways to avoid them, or alternatively to replace them with less expensive computations, is the key to improving the efficiency of Gröbner basis calculation.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Additional Gröbner Basis Algorithms

  • David A. Cox,
  • John Little,
  • Donal O’Shea

摘要

In §10 of Chapter 2 we discussed some criteria designed to identify situations where it is possible to see in advance that an S-polynomial remainder will be zero in Buchberger’s algorithm. Those unnecessary S-polynomial remainder calculations are in fact the main computational bottleneck for the basic form of the algorithm. Finding ways to avoid them, or alternatively to replace them with less expensive computations, is the key to improving the efficiency of Gröbner basis calculation.