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