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

Description

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

Not implemented yet.

Further information

• Default value: 0
• Function: resolution -- projective resolution
• Option key: SortStrategy -- specify a strategy for sorting S-pairs

Functions with optional argument named SortStrategy :

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