(resolution,Matrix)

resolution f -- when f is a module homomorphism, produces a chain map from a resolution of the source of f to a resolution of the target of f.

i1 : R = ZZ/101[x,y];
i2 : m = ideal vars R

o2 = ideal (x, y)

o2 : Ideal of R
i3 : resolution map(m/m^3, m^2/m^4)

          2                     3
o3 = 0 : R  <----------------- R  : 0
               {1} | x y 0 |
               {1} | 0 0 y |
     
          5                               7
     1 : R  <--------------------------- R  : 1
               {2} | y x  0 0 0 0 y2 |
               {3} | 0 0  y 0 0 0 0  |
               {3} | 0 1  0 y 0 0 0  |
               {3} | 0 0  0 0 y 0 y  |
               {3} | 0 -1 0 0 0 y 0  |
     
          3                       4
     2 : R  <------------------- R  : 2
               {4} | y 0 0 0 |
               {4} | 0 y 0 y |
               {4} | 0 0 y 0 |

o3 : ChainComplexMap

topindexpreviousupnext