modules.lib
LIB "modules.lib"; ring r; matrix m[1][3]=x,y,z; Matrix M=m; Module N=coker(M); N; ==> cokernel | x y z | ==> ==> Resolution R = Res(N); R; ==> 1 3 3 1 ==> r <-- r <-- r <-- r ==> ==> 0 1 2 3 ==> resolution not minimized yet ==> ==>