resolution(..., PairLimit => ...) -- stop when this number of pairs are handled

resolution(..., PairLimit => ...) -- stop when this number of pairs are handled

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 | 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

                    

     0      1      2



o3 : ChainComplex

i4 : res(M, PairLimit => 10)



      1      4      2

o4 = R  <-- R  <-- R  <-- 0

                           

     0      1      2      3



o4 : ChainComplex

i5 : res(M, PairLimit => 20)



      1      6      8      2

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

                                  

     0      1      2      3      4



o5 : ChainComplex

See also:

Default value: infinity -- infinity

Function: resolution -- make a projective resolution

Option name: PairLimit -- stop when this number of pairs is handled