pushForward1 => PairLimit

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.
topindexpreviousupnext