PairLimit -- stop when this number of pairs is handled

PairLimit -- stop when this number of pairs is handled

PairLimit -- keyword for an optional argument used with certain functions which specifies that the computation should be stopped after a certain number of S-pairs have been reduced.

Functions with optional argument named PairLimit :

gb(..., PairLimit => ...) -- stop when this number of pairs is handled

pushForward(..., PairLimit) -- stop when this number of pairs is handled

pushForward1(..., PairLimit => ...) -- stop when this number of pairs is handled

resolution(..., PairLimit => ...) -- stop when this number of pairs are handled

syz(..., PairLimit) -- stop when this number of pairs is handled