modules.lib
LIB "modules.lib"; ring r; matrix m[2][2]=x,y3,z,xz; Matrix M=m; M; ==> x,y3, ==> z,xz ==> Target(M); ==> 2 ==> r ==> free Module ==>