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

Usage:

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

Description

If $F$ is a free labeled module, then this produces the trace map $S\to F\otimes F^*$.

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

Ways to use traceMap:

traceMap(LabeledModule)

For the programmer

The object traceMap is a method function.

The source of this document is in TensorComplexes.m2:1741:0.