traceMap -- produces the trace map from a ring to a free module tensored with its dual

Synopsis

• Usage:

  traceMap F

• Inputs:
  • F, a free module with labeled basis
• Outputs:
  • a map of labeled modules

Description

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