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

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

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

See also:

Default value: infinity -- infinity

Function: pushForward1 -- the main computational component of pushForward

Option name: PairLimit -- stop when this number of pairs is handled