up previous next
***** NOT YET UPDATED TO CoCoA-5: follow with care *****
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.