modules.lib
LIB "modules.lib"; ring R; matrix a[5][4]; Module M = coker(a+1); Module N = simplePrune(simplePrune(simplePrune(simplePrune(M)))); Vector V = [x+y],N; interpretElem(V,3); ==> | 0 | ==> | 0 | ==> | 0 | ==> | x+y | ==> ==>