modules.lib
LIB "modules.lib"; ring R = 0,(x,y),dp; matrix a[1][2] = x,y; Matrix A = a; matrix b[1][2] = x2,y2; Matrix B = b; Module M = subquotient(A,B); presentation(M); ==> cokernel | 0 x -y | ==> | y 0 x | ==> ==>