next | previous | forward | backward | up | top | index | toc | home

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 name: SortStrategy -- specify a strategy for sorting S-pairs