map(LabeledModule,LabeledModule,Function) -- create a LabeledModuleMap by specifying a function that gives each entry

Synopsis

• Function: map

• Usage:

  map(F,G,f)

• Inputs:
  • F, a free module with labeled basis,
  • G, a free module with labeled basis,
  • f, a function,
• Optional inputs:
  • Degree => ..., default value null,
  • DegreeLift => ..., default value null,
  • DegreeMap => ..., default value null,
• Outputs:
  • a map of labeled modules,

Description

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

i2 : F=labeledModule(S^3)

      3
o2 = S

o2 : free S-module with labeled basis

i3 : f=map(F,F,(i,j)->(S_i)^j)

o3 = | 1 x x2 |
     | 1 y y2 |
     | 1 z z2 |

             3       3
o3 : Matrix S  <--- S

See also

• map(Module,Module,Function) -- create a matrix by specifying a function that gives each entry