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