-- -*- M2-comint -*- {* hash: -1741490298 *}

i1 : R = QQ[x..z];

i2 : C = res coker vars R;

i3 : f = id_C

          1             1
o3 = 0 : R  <--------- R  : 0
               | 1 |

          3                     3
     1 : R  <----------------- R  : 1
               {1} | 1 0 0 |
               {1} | 0 1 0 |
               {1} | 0 0 1 |

          3                     3
     2 : R  <----------------- R  : 2
               {2} | 1 0 0 |
               {2} | 0 1 0 |
               {2} | 0 0 1 |

          1                 1
     3 : R  <------------- R  : 3
               {3} | 1 |

     4 : 0 <----- 0 : 4
              0

o3 : ChainComplexMap

i4 : f[3]

           1             1
o4 = -3 : R  <--------- R  : -3
                | 1 |

           3                     3
     -2 : R  <----------------- R  : -2
                {1} | 1 0 0 |
                {1} | 0 1 0 |
                {1} | 0 0 1 |

           3                     3
     -1 : R  <----------------- R  : -1
                {2} | 1 0 0 |
                {2} | 0 1 0 |
                {2} | 0 0 1 |

          1                 1
     0 : R  <------------- R  : 0
               {3} | 1 |

     1 : 0 <----- 0 : 1
              0

o4 : ChainComplexMap

i5 :