i1 : S=ZZ/101[x,y,z];
i2 : F=labeledModule(S^3); o2 : free S-module with labeled basis
i3 : traceMap F o3 = | 1 | | 0 | | 0 | | 0 | | 1 | | 0 | | 0 | | 0 | | 1 | 9 1 o3 : Matrix S <--- S