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

Synopsis

Usage:
map(F,G,L)
Function: map
Inputs:
- F, a free module with labeled basis
- G, a free module with labeled basis
- L, a list
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,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

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

Synopsis

Description

See also