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

Description

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.

Further information

Default value: infinity
Function: pushForward1 -- the main computational component of pushForward
Option name: PairLimit -- stop when this number of pairs is handled