status -- status of a resolution computation

Synopsis

Optional inputs:
- Monomials => ..., default value false
- PairsRemaining => ..., default value false
- TotalPairs => ..., default value true

Description

status C -- displays the status of the computation of a chain complex C constructed by application of resolution to a module, provided the resolution has been constructed in the engine; in particular, the module should be homogeneous and the ultimate coefficient ring of its ring should be a field. 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

i1 : R = QQ[a..d]

o1 = R

o1 : PolynomialRing

i2 : D = res coker random(R^2,R^{4:-2})

      2      4      4      2
o2 = R  <-- R  <-- R  <-- R  <-- 0
                                  
     0      1      2      3      4

o2 : ChainComplex

i3 : status(D, TotalPairs => true, PairsRemaining => true, Monomials => true)

o3 = (total pairs,pairs remaining,monomials)

     total: (2,0,0) (4,0,549) (20,0,1156) (8,0,410)
         0: (2,0,0)     .          .          .    
         1:    .    (4,0,74)   (2,0,12)       .    
         2:    .    (0,0,51)   (2,0,36)       .    
         3:    .    (0,0,79)   (4,0,48)   (2,0,22) 
         4:    .    (0,0,210)  (8,0,405)  (4,0,79) 
         5:    .    (0,0,135)  (4,0,655)  (2,0,309)

Ways to use status :

status(ChainComplex)
status(GroebnerBasis)
status(Resolution)
status(ProgramRun) -- get the return status of a program run

For the programmer

The object status is a method function with options.