PairLimit
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.
gb(PairLimit => ...)
resolution(PairLimit => ...)