|  |  D.15.23.36 presentation Procedure from librarymodules.lib(see  modules_lib).
 
Example:Return:
Subquotient M converted to coker(C)
 |  | 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  |
==> 
==> 
 | 
 
 |