SortStrategy -- specify a strategy for sorting S-pairs

Description

SortStrategy -- a keyword for an optional argument that specifies the strategy to be used for sorting S-pairs.

Functions with optional argument named SortStrategy :

• resolution(...,SortStrategy=>...)