Sort
-- a strategy used with the keyword Strategy.
Indicates that the Groebner basis should be sorted by lead term; usually
this is a bad idea. Normally the basis is sorted only by degree. The
matrix of generators is affected, as is the running time.