map(LabeledModule,LabeledModule,Matrix) -- creates a LabeledModuleMap from a matrix

Synopsis

Usage:
map(F,G,M)
Function: map
Inputs:
- F, a free module with labeled basis
- G, a free module with labeled basis
- M, a matrix
Optional inputs:
- Degree => ..., -- set the degree of a map
- DegreeLift => ..., -- make a ring map
- DegreeMap => ..., -- make a ring map
Outputs:
- a map of labeled modules

Description

This function produces essentially the same output as map(Module,Module,Matrix), except that the output map belongs to the class LabeledModuleMap, and thus remembers the labeled module structure of the source and target.

i1 : S=QQ[x,y,z];

i2 : F=labeledModule(S^3)

      3
o2 = S

o2 : free S-module with labeled basis

i3 : M=matrix{{1,2,3},{x,y,z},{3*x^2,x*y,z^2}}

o3 = | 1   2  3  |
     | x   y  z  |
     | 3x2 xy z2 |

             3       3
o3 : Matrix S  <--- S

i4 : g=map(F,F,M)

o4 = | 1   2  3  |
     | x   y  z  |
     | 3x2 xy z2 |

             3       3
o4 : Matrix S  <--- S

i5 : source g

      3
o5 = S

o5 : free S-module with labeled basis

map(LabeledModule,LabeledModule,Matrix) -- creates a LabeledModuleMap from a matrix

Synopsis

Description

See also