-- -*- M2-comint -*- hash: 13006174022692739922

i1 : R5=QQ[a..e]

o1 = R5

o1 : PolynomialRing

i2 : R6=QQ[a..f]

o2 = R6

o2 : PolynomialRing

i3 : M=coker genericMatrix(R6,a,2,3)

o3 = cokernel | a c e |
              | b d f |

                              2
o3 : R6-module, quotient of R6

i4 : G=map(R6,R5,{a+b+c+d+e+f,b,c,d,e})

o4 = map (R6, R5, {a + b + c + d + e + f, b, c, d, e})

o4 : RingMap R6 <-- R5

i5 : notpruned = pushFwd(G,M,NoPrune => true)

o5 = cokernel {0} | e c 0 a-b-d 0  0          0              0                 |
              {0} | 0 d 0 b+d   de be         bc-ad+bd+cd+d2 0                 |
              {1} | 0 0 c -1    0  -e         0              -de               |
              {1} | 1 0 d 1     -c -a+b+c+d+e c+d            bc-ad+bd+cd+d2+de |

                              4
o5 : R5-module, quotient of R5

i6 : pruned = pushFwd(G,M)

o6 = cokernel | c -de               |
              | d bc-ad+bd+cd+d2+de |

                              2
o6 : R5-module, quotient of R5

i7 : 
