modules.lib
LIB "modules.lib"; ring r; matrix m[1][3]=x,y,z; Matrix M=m; Module N=coker(M); Resolution R=mRes(N); R; ==> 1 3 3 1 ==> r <-- r <-- r <-- r ==> ==> 0 1 2 3 ==> ==> Betti(R); ==> 1,3,3,1