PairLimit -- stop when this number of pairs is handled

Description

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 => ...)
pushForward(..., PairLimit => ...) -- missing documentation
pushForward1(..., PairLimit => ...) -- stop when this number of pairs is handled
quotient(..., PairLimit => ...) -- missing documentation
resolution(..., PairLimit => ...) -- stop when this number of pairs has been handled
saturate(..., PairLimit => ...) -- missing documentation
syz(..., PairLimit => ...) -- missing documentation

For the programmer

The object PairLimit is a symbol.