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

Synopsis

• Function: target

• Usage:

  target 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(F,G,{{x,y,z},{y,z,x}})

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

             2       3
o4 : Matrix S  <--- S

i5 : target f

      2
o5 = S

o5 : free S-module with labeled basis

i6 : basisList target f

o6 = {0, 1}

o6 : List

See also

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