localResolution -- find a resolution over a local ring

i1 : R = ZZ/32003[x,y,z,w,SkewCommutative=>true]

o1 = R

o1 : PolynomialRing, 4 skew commutative variable(s)

i2 : m = matrix{{x,y*z},{z*w,x}}

o2 = | x  yz |
     | zw x  |

             2      2
o2 : Matrix R  <-- R

i3 : setMaxIdeal(ideal(x,y,z,w))

o3 = ideal (x, y, z, w)

o3 : Ideal of R

i4 : C = localResolution(coker m, LengthLimit=>10)

      2      2      2      2      2      2      2      2      2      2      2
o4 = R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R
                                                                            
     0      1      2      3      4      5      6      7      8      9      10

o4 : ChainComplex

i5 : C = localResolution(coker m)

      2      2      2      2      2      2      2      2      2      2      2
o5 = R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R  <-- R
                                                                            
     0      1      2      3      4      5      6      7      8      9      10

o5 : ChainComplex

i6 : C^2

o6 = 0

o6 : R-module

i7 : C.dd_4

o7 = {6} | -zw x  |
     {6} | -x  yz |

             2      2
o7 : Matrix R  <-- R

i8 : R = QQ[x,y,z]

o8 = R

o8 : PolynomialRing

i9 : setMaxIdeal ideal vars R

o9 = ideal (x, y, z)

o9 : Ideal of R

i10 : m = matrix {{x-1, y, z-1}}

o10 = | x-1 y z-1 |

              1      3
o10 : Matrix R  <-- R

i11 : C = resolution coker m

       1      3      3      1
o11 = R  <-- R  <-- R  <-- R
                            
      0      1      2      3

o11 : Complex

i12 : C.dd

           1                     3
o12 = 0 : R  <----------------- R  : 1
                | x-1 y z-1 |

           3                             3
      1 : R  <------------------------- R  : 2
                {1} | -y  -z+1 0    |
                {1} | x-1 0    -z+1 |
                {1} | 0   x-1  y    |

           3                   1
      2 : R  <--------------- R  : 3
                {2} | z-1 |
                {2} | -y  |
                {2} | x-1 |

o12 : ComplexMap

i13 : LC = localResolution coker m

       1      3      2
o13 = R  <-- R  <-- R  <-- 0
                            
      0      1      2      3

o13 : ChainComplex

i14 : LC.dd

           1                     3
o14 = 0 : R  <----------------- R  : 1
                | z-1 y x-1 |

           3                         2
      1 : R  <--------------------- R  : 2
                {1} | -x+1 y    |
                {1} | 0    -z+1 |
                {1} | z-1  0    |

           2
      2 : R  <----- 0 : 3
                0

o14 : ChainComplexMap