modules.lib
LIB "modules.lib"; ring R; matrix a[5][4]; Module M = coker(a+1); Module N = simplePrune(M);