up previous next
5.1.12 Sugar
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.