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

Description

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      1
o4 = R  <-- R  <-- 0
                    
     0      1      2

o4 : ChainComplex

i5 : res(M, PairLimit => 20)

      1      1
o5 = R  <-- R  <-- 0
                    
     0      1      2

o5 : ChainComplex

Further information

• Default value: infinity
• Function: resolution -- projective resolution
• Option key: PairLimit -- an optional argument

Functions with optional argument named PairLimit :

• "gb(...,PairLimit=>...)" -- see gb -- compute a Gröbner basis
• "intersectInP(...,PairLimit=>...)" -- see intersectInP(...,BasisElementLimit=>...) -- Option for intersectInP
• "pushForward(...,PairLimit=>...)" -- see pushForward(RingMap,Module)
• quotient(...,PairLimit=>...)
• "saturate(...,PairLimit=>...)" -- see quotient(...,PairLimit=>...)
• "analyticSpread(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "distinguished(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "isLinearType(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "isReduction(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "minimalReduction(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "multiplicity(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "normalCone(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "reesAlgebra(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "specialFiber(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "specialFiberIdeal(...,PairLimit=>...)" -- see reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• resolution(...,PairLimit=>...) -- stop when this number of pairs has been handled
• "syz(...,PairLimit=>...)" -- see syz(Matrix) -- compute the syzygy matrix