ExtCoh -- computes Ext of two cohomological Cp-Mackey fuctors

• Usage:

  Ext(i,M,N)

• Inputs:
  • i, an integer,
  • M, a C_p Mackey Functor,
  • N, a C_p Mackey Functor,
• Outputs:
  • a C_p Mackey Functor, the $i$th cohomological Ext Cp-Mackey Functor of $M$ and $N$

i1 : N = cokernel(matrix({{3}}));

i2 : M = makeZeroOnUnderlyingMackeyFunctor (3,N);

i3 : prune ExtCoh(3,M,M)

o3 =                   Res : 0
     cokernel | 3 |  -----------> 0  -┐ Conj : 0
                    <-----------     <┘
                       Tr : 0

o3 : CpMackeyFunctor