resolution => PairLimit

PairLimit -- keyword for an optional argument used with resolution, which specifies that the computation should be stopped after a certain number of S-pairs have been reduced.

i1 : R = QQ[x,y,z,w]



o1 = R



o1 : PolynomialRing

i2 : M = cokernel matrix {{x*y-z,y^2-w-1,w^4-3}}



o2 = cokernel {0} | xy-z y2-w-1 w4-3 |



                              1

o2 : R - module, quotient of R

i3 : res(M, PairLimit => 1)



      1      1

o3 = R  <-- R

            

     0      1



o3 : ChainComplex

i4 : res(M, PairLimit => 10)



      1      4      2

o4 = R  <-- R  <-- R

                   

     0      1      2



o4 : ChainComplex

i5 : res(M, PairLimit => 20)



      1      6      8      2

o5 = R  <-- R  <-- R  <-- R

                          

     0      1      2      3



o5 : ChainComplex