TorCoh -- computes Tor of two cohomological Cp-Mackey fuctors

Usage:

TorCoh(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 Tor Cp-Mackey Functor of $M$ and $N$

Description

Given two cohomological Cp-Mackey functors $M$ and $N$, we can compute their $i$th Tor in the category of cohomological Mackey functors.

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

i2 : M = makeZeroOnUnderlyingMackeyFunctor (3,N);

i3 : prune TorCoh(3,M,M)

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

o3 : CpMackeyFunctor

Ways to use TorCoh:

TorCoh(ZZ,CpMackeyFunctor,CpMackeyFunctor)

For the programmer

The object TorCoh is a method function.

The source of this document is in CpMackeyFunctors/Documentation/HomAlgDoc.m2:46:0.