-- -*- M2-comint -*- hash: 3751111537660648412

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

i4 : 
