[top][index]
search for:

resolution(..., SortStrategy => ...) -- specify a strategy for sorting S-pairs

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

Not implemented yet.

See also:

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

  • [top][index]
    search for: