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

i1 : R = ZZ/32003[a..d];

i2 : f = inducedMap(coker matrix {{a,1,b},{c,3,b+d}},R^2)

o2 = | 1 -10668 |
     | 0 0      |

o2 : Matrix

i3 : g = prune f

o3 = | -3 1 |

o3 : Matrix

i4 : source g

      2
o4 = R

o4 : R-module, free

i5 : target g

o5 = cokernel | b+16001d a-10668c |

                            1
o5 : R-module, quotient of R

i6 : m = matrix{{a,1,b},{c,3,b+d}}

o6 = | a 1 b   |
     | c 3 b+d |

             2       3
o6 : Matrix R  <--- R

i7 : prune m

o7 = | a 1 b   |
     | c 3 b+d |

             2       3
o7 : Matrix R  <--- R

i8 :