map(LabeledModule,LabeledModule,List) -- creates a LabeledModuleMap from a list

Synopsis

Function: map
Usage:

map(F,G,L)
Inputs:
- F, a free module with labeled basis,
- G, a free module with labeled basis,
- L, a list,
Optional inputs:
- Degree => ..., default value null,
- DegreeLift => ..., default value null,
- DegreeMap => ..., default value null,
Outputs:
- a map of labeled modules,

Description

This function produces essentially the same output as map(Module,Module,List), 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 : L={{1,2,3},{x,y,z},{3*x^2,x*y,z^2}}

                               2        2
o3 = {{1, 2, 3}, {x, y, z}, {3x , x*y, z }}

o3 : List

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

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

Ways to use this method: