|
D.4.17.13 mRes
Procedure from library modules.lib (see modules_lib).
- Usage:
- mRes(M,n); M Module or Ideal, n integer
- Return:
- Resolution, minimized resolution with graded modules
- Note:
- n is optional, if n ist positiv only that many steps will be computed
use R.dd[i]; to return the different modules as image of matrices, R Resolution i integer
EXAMPLE. example mRes, shows an example
Example:
| 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 = mRes(N);
R;
==> 1 3 3 1
==> r <-- r <-- r <-- r
==>
==> 0 1 2 3
==>
==>
R.dd[2];
==> {2} {2} {2}
==> {1} y x 0
==> {1} -z 0 x
==> {1} 0 -z -y
==>
|
|