target(MackeyFunctorHomomorphism) -- returns the target of a Mackey functor homomorphism

• Function: target

• Usage:

  target(F)

• Inputs:
  • F, a Mackey Functor homomorphism,
• Outputs:
  • a C_p Mackey Functor, the target of the homomorphism F.

i1 : target(complexLinearizationMap(5))

o1 =        Res : | 1 1 1 1 1 |
       5  ----------------------->   1  -┐ Conj : | 1 |
     ZZ  <-----------------------  ZZ   <┘
            Tr : | 1 |
                 | 1 |
                 | 1 |
                 | 1 |
                 | 1 |

o1 : CpMackeyFunctor