| 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 |
==>
==>
|