up previous next
If the Sugar option is on, as it is by default, then the critical
pairs are processed by using the
sugar strategy: the pairs are
processed in an order which is as close as possible to the order which
would have been chosen if the polynomials had been homogeneous. For
details, see the article:
A. Giovini, T. Mora, G. Niesi, L. Robbiano, C. Traverso,
`One sugar cube, please'
or selection strategies in the Buchberger algorithm,
In Proc. ISSAC`91, 49--54 (1991), Stephen M. Watt, editor, New York,
ACM Press.