resolution => SortStrategy
SortStrategy => n
-- an option for
resolution
which specifies the strategy to be used for sorting S-pairs.
Not implemented yet.