Ext -- computes Ext of two 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 Ext Cp-Mackey Functor of $M$ and $N$

Description

Given two Cp-Mackey functors $M$ and $N$, we can compute their $i$th Ext.

i1 : RU = makeComplexRepresentationMackeyFunctor(3);

i2 : prune Ext^4(RU,RU)

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

o2 : CpMackeyFunctor

Ways to use Ext:

Ext^ZZ(CpMackeyFunctor,CpMackeyFunctor)
Ext(Ideal,Ideal) -- see Ext(Module,Module) -- total Ext module
Ext(Ideal,Module) -- see Ext(Module,Module) -- total Ext module
Ext(Ideal,Ring) -- see Ext(Module,Module) -- total Ext module
Ext(Module,Ideal) -- see Ext(Module,Module) -- total Ext module
Ext(Module,Module) -- total Ext module
Ext(Module,Ring) -- see Ext(Module,Module) -- total Ext module
Ext(Ring,Ideal) -- see Ext(Module,Module) -- total Ext module
Ext(Ring,Module) -- see Ext(Module,Module) -- total Ext module
Ext(Ring,Ring) -- see Ext(Module,Module) -- total Ext module
Ext^ZZ(Matrix,Ideal) -- see Ext^ZZ(Matrix,Module) -- map between Ext modules
Ext^ZZ(Matrix,Module) -- map between Ext modules
Ext^ZZ(Matrix,Ring) -- see Ext^ZZ(Matrix,Module) -- map between Ext modules
Ext^ZZ(Ideal,Matrix) -- see Ext^ZZ(Module,Matrix) -- map between Ext modules
Ext^ZZ(Module,Matrix) -- map between Ext modules
Ext^ZZ(Ring,Matrix) -- see Ext^ZZ(Module,Matrix) -- map between Ext modules
Ext^ZZ(Ideal,Ideal) -- see Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Ideal,Module) -- see Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Ideal,Ring) -- see Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Module,Ideal) -- see Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Module,Ring) -- see Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Ring,Ideal) -- see Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Ring,Module) -- see Ext^ZZ(Module,Module) -- Ext module
Ext^ZZ(Ring,Ring) -- see Ext^ZZ(Module,Module) -- Ext module

For the programmer

The object Ext is a scripted functor.

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