modules.lib
LIB "modules.lib"; ring R=0,(x,y),(lp,c); Matrix M=id(2); Module src=image(M); matrix rules[2][2]=x,y,xy,y2; Module tar=coker(M); Homomorphism f=homomorphism(rules,src,tar); f; ==> | x y | ==> | xy y2 | ==> ==> cokernel | 1 0 | <--- R^2 ==> | 0 1 | ==> kerHom(f); ==> image | 0 -1 | ==> | -1 0 | ==> ==>