search for:
status Resolution
-- status of a resolution computation
Synopsis:
Function:
status
-- status of a resolution computation
Input:
an instance of class
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
search for:
![[top]](top.gif)
![[index]](index.gif)