modules.lib
LIB "modules.lib"; ring r; matrix m[2][2]=x,y2,z,xz; Matrix M=m; matrix n[2][3]=z2,xyz,x2y2,xy,x3,y4; Matrix N=n; M; ==> {1} {2} ==> {0} x y2 ==> {0} z xz ==> N; ==> {2} {3} {4} ==> {0} z2 xyz x2y2 ==> {0} xy x3 y4 ==> subquotient(M,N); ==> subquotient (| x y2 |, | z2 xyz x2y2 |) ==> | z xz | | xy x3 y4 | ==> ==>