Additional Gröbner Basis Algorithms
摘要
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.