-- -*- M2-comint -*- {* hash: -1113879453 *} i1 : (ZZ^5)^{2,3} o1 = | 0 0 1 0 0 | | 0 0 0 1 0 | 2 5 o1 : Matrix ZZ <--- ZZ i2 :
-- -*- M2-comint -*- {* hash: -1113879453 *} i1 : (ZZ^5)^{2,3} o1 = | 0 0 1 0 0 | | 0 0 0 1 0 | 2 5 o1 : Matrix ZZ <--- ZZ i2 :