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

i1 : R = ZZ[i..p];

i2 : g = matrix {{i,j},{k,l}}

o2 = | i j |
     | k l |

             2       2
o2 : Matrix R  <--- R

i3 : h = matrix {{m,n},{o,p}}

o3 = | m n |
     | o p |

             2       2
o3 : Matrix R  <--- R

i4 : f= g | h

o4 = | i j m n |
     | k l o p |

             2       4
o4 : Matrix R  <--- R

i5 : f | (m-n)

o5 = | i j m n m-n 0   |
     | k l o p 0   m-n |

             2       6
o5 : Matrix R  <--- R

i6 :