|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.4.17.10 printResolution
Procedure from librarymodules.lib (see modules_lib).
- Usage:
- printResolution(R); or R; R Resolution
- Return:
- nothing, prints the resolution
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 ==> ==> |