groebner_sugar computes Groebner basis by the sugar strategy. Format of arguments and results are as same as that of groebner. See groebner. When you compute in the ring of polynomials, it is recommended to turn on the switch [(UseCriterion1) 1] system_variable Note that groebner_sugar does not use the homogenized Weyl algebra. So, it does work only for term orders. Never use negative weight vectors.