source(LabeledModuleMap) -- the source of a map of a labeled modules

Synopsis

• Function: source

• Usage:

  source f

• Inputs:
  • f, a map of labeled modules
• Outputs:
  • a free module with labeled basis

Description

i1 : S=ZZ/101[x,y,z];

i2 : F=labeledModule(S^2);

o2 : free S-module with labeled basis

i3 : G=symmetricPower(2,F);

o3 : free S-module with labeled basis

i4 : f=map(G,F,{{x,y},{y,z},{z,x}})

o4 = | x y |
     | y z |
     | z x |

             3       2
o4 : Matrix S  <--- S

i5 : source f

      2
o5 = S

o5 : free S-module with labeled basis

i6 : basisList source f

o6 = {0, 1}

o6 : List

See also

• target(LabeledModuleMap) -- the target of a map of a labeled modules