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

• Function: source

• Usage:

  source(F)

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

i1 : source(complexLinearizationMap(5))

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

o1 : CpMackeyFunctor