status -- status of a resolution computation

status -- status of a resolution computation

status C -- displays the status of the computation of a chain complex C constructed by resolution. The display has the same shape as the display produced by betti, but the number(s) displayed in each degree differ.

Options:

TotalPairs -- display the total number of S-pairs, default value true

PairsRemaining -- display the number of S-pairs remaining, default value false

Monomials -- display the number of monomials, default value false

Ways to use status :

status ChainComplex

status Resolution

Optional arguments :

status(..., Monomials) -- whether to display the number of monomial

status(..., PairsRemaining) -- whether to display the number of S-pairs remaining

status(..., TotalPairs) -- whether to display the total number of S-pairs