PairsRemaining -- whether to display the number of S-pairs remaining

Description

PairsRemaining -- an option for status which specifies whether to display number of S-pairs remaining.

Functions with optional argument named PairsRemaining :

• "status(...,PairsRemaining=>...)" -- see status -- status of a resolution computation