Hom(CpMackeyFunctor,MackeyFunctorHomomorphism) -- computes the induced map on Hom groups

• Function: Hom

• Usage:

  Hom(M, f)

  Hom(f, N)

• Inputs:
  • M, a C_p Mackey Functor,
  • f, a Mackey Functor homomorphism,
• Optional inputs:
  • DegreeLimit => ..., default value null, computes the Hom group between two Cp Mackey functors
  • MinimalGenerators => ..., default value true, computes the Hom group between two Cp Mackey functors
  • Strategy => ..., default value null, computes the Hom group between two Cp Mackey functors
• Outputs:
  • a matrix, the induced map on Hom groups $\mathrm{Hom}(M,f)$ or $\mathrm{Hom}(f,N)$

i1 : M = makeBurnsideMackeyFunctor(2);

i2 : N = makeUnderlyingFreeMackeyFunctor(2);

i3 : f = makeRandomMackeyFunctorHomomorphism(M,N);

i4 : Hom(M,f)

o4 = | 0 8 |

o4 : Matrix

i5 : Hom(f,N)

o5 = | 8 8 |

o5 : Matrix