|  |  D.4.16.48 reduceIntChain Procedure from librarymodules.lib(see  modules_lib).
 
Example:Return:
Module C with minimized (or # steps) interpretation list
 |  | LIB "modules.lib";
ring R;
matrix a[5][4];
Module M = coker(a+1);
Module N = simplePrune(simplePrune(simplePrune(simplePrune(M))));
//reduceIntChain(N);
 | 
 
 |