Description
Sort -- a strategy used with the keyword
Strategy.
Indicates that the Gröbner basis should be sorted by lead term; usually this is a bad idea. Normally the basis is sorted only by degree. The running time can change either for the good or bad.