equalBettiTally -- Computes the Betti table of two modules and compares for equality

i1 : S = QQ[a..f];

i2 : m = matrix{{a,b,d,e},{b,c,e,f}}

o2 = | a b d e |
     | b c e f |

             2      4
o2 : Matrix S  <-- S

i3 : M = coker m

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

                            2
o3 : S-module, quotient of S

i4 : n = matrix{{a,b},{c,d},{e,f}}

o4 = | a b |
     | c d |
     | e f |

             3      2
o4 : Matrix S  <-- S

i5 : N = coker n

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

                            3
o5 : S-module, quotient of S

i6 : equalBettiTally(M,N)

o6 = false