next | previous | forward | backward | up | top | index | toc | home

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

Description

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

Further information