|  |  D.15.23.15 Res Procedure from librarymodules.lib(see  modules_lib).
 
Example:Usage:
Res(M,n); M Module or Ideal, n integer
Return:
Resolution, 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 Res, shows an 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 = Res(N);
R;
==>  1      3      3      1      
==> r <--  r <--  r <--  r
==> 
==> 0      1      2      3      
==> resolution not minimized yet
==> 
==> 
R.dd[2];
==>      {2}  {2}  {2}
==> {1}   -y   -x    0
==> {1}    z    0   -x
==> {1}    0    z    y
==> 
 | 
 
 |