CpMackeyFunctors : Index

• - MackeyFunctorHomomorphism -- the class of Mackey functor homomorphisms
• assertLevel -- controls whether constructors check for well-definedness
• background on Mackey functors -- a brief mathematical intro to the theory of Mackey functors
• boxProduct -- box product of Cp-Mackey functors
• boxProduct(CpMackeyFunctor,CpMackeyFunctor) -- box product of Cp-Mackey functors
• boxProduct(CpMackeyFunctor,MackeyFunctorHomomorphism) -- induced maps on box products
• boxProduct(MackeyFunctorHomomorphism,CpMackeyFunctor) -- induced maps on box products
• cokernel(MackeyFunctorHomomorphism) -- cokernel of a Mackey functor homomorphism
• complexLinearizationMap -- returns the complex linearization map for the prime p
• complexLinearizationMap(ZZ) -- returns the complex linearization map for the prime p
• Conj -- the conjugation homomorphism in a Mackey functor
• constructing examples of Mackey functors -- info about how to construct explicit Mackey functors
• CpMackeyFunctor -- The type of Cp Mackey functors
• CpMackeyFunctor ** CpMackeyFunctor -- box product of Cp-Mackey functors
• CpMackeyFunctor ** MackeyFunctorHomomorphism -- induced maps on box products
• CpMackeyFunctor ++ CpMackeyFunctor -- direct sum of Cp-Mackey functors
• CpMackeyFunctor == CpMackeyFunctor -- The type of Cp Mackey functors
• CpMackeyFunctor ⊠ CpMackeyFunctor -- box product of Cp-Mackey functors
• CpMackeyFunctor ⊠ MackeyFunctorHomomorphism -- induced maps on box products
• CpMackeyFunctors -- for Cp-Mackey functor computations
• directSum(CpMackeyFunctor) -- The type of Cp Mackey functors
• directSum(MackeyFunctorHomomorphism) -- the class of Mackey functor homomorphisms
• drawVerticalCpMackeyFunctor -- reorients the net of a Mackey functor vertically
• drawVerticalCpMackeyFunctor(CpMackeyFunctor) -- reorients the net of a Mackey functor vertically
• explicit applications of the CpMackeyFunctors package -- info about how this package can be applied to real-life examples
• Ext -- computes Ext of two Cp-Mackey fuctors
• Ext^ZZ(CpMackeyFunctor,CpMackeyFunctor) -- computes Ext of two Cp-Mackey fuctors
• ExtCoh -- computes Ext of two cohomological Cp-Mackey fuctors
• ExtCoh(ZZ,CpMackeyFunctor,CpMackeyFunctor) -- computes Ext of two cohomological Cp-Mackey fuctors
• Fixed -- the fixed module of a Mackey functor
• FixedMap -- the fixed-point level of a Mackey functor homomorphism
• freeResolution(...,DegreeLimit=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(...,HardDegreeLimit=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(...,LengthLimit=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(...,PairLimit=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(...,ParallelizeByDegree=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(...,SortStrategy=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(...,StopBeforeComputation=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(...,Strategy=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(...,SyzygyLimit=>...) -- constructs a free Mackey functor resolution of specified length
• freeResolution(CpMackeyFunctor,ZZ) -- constructs a free Mackey functor resolution of specified length
• GenBound -- optional input for generating random Mackey functors
• Hom(...,DegreeLimit=>...) -- computes the Hom group between two Cp Mackey functors
• Hom(...,MinimalGenerators=>...) -- computes the Hom group between two Cp Mackey functors
• Hom(...,Strategy=>...) -- computes the Hom group between two Cp Mackey functors
• Hom(CpMackeyFunctor,CpMackeyFunctor) -- computes the Hom group between two Cp Mackey functors
• Hom(CpMackeyFunctor,MackeyFunctorHomomorphism) -- computes the induced map on Hom groups
• Hom(MackeyFunctorHomomorphism,CpMackeyFunctor) -- computes the induced map on Hom groups
• inducedMap(...,Degree=>...) -- tries to induce a natural map between two Mackey functors
• inducedMap(...,Verify=>...) -- tries to induce a natural map between two Mackey functors
• inducedMap(CpMackeyFunctor,CpMackeyFunctor) -- tries to induce a natural map between two Mackey functors
• inducedMap(CpMackeyFunctor,CpMackeyFunctor,MackeyFunctorHomomorphism) -- tries to induce a natural map between two Mackey functors
• inducedMap(CpMackeyFunctor,CpMackeyFunctor,Matrix,Matrix) -- tries to induce a natural map between two Mackey functors
• internalHom -- returns the internal hom Mackey functor between two Mackey functors.
• internalHom(CpMackeyFunctor,CpMackeyFunctor) -- returns the internal hom Mackey functor between two Mackey functors.
• internalHom(CpMackeyFunctor,MackeyFunctorHomomorphism) -- returns the induced map on an internal hom.
• internalHom(MackeyFunctorHomomorphism,CpMackeyFunctor) -- returns the induced map on an internal hom.
• inverse(MackeyFunctorHomomorphism) -- the class of Mackey functor homomorphisms
• isCohomological -- checks if a CpMackeyFunctor is cohomological
• isCohomological(CpMackeyFunctor) -- checks if a CpMackeyFunctor is cohomological
• isIsomorphism(MackeyFunctorHomomorphism) -- checks if a Mackey functor homomorphism is an isomorphism
• isTrivialMackeyFunctor -- checks if a Mackey functor is trivial or not
• isTrivialMackeyFunctor(CpMackeyFunctor) -- checks if a Mackey functor is trivial or not
• kernel(...,DegreeLimit=>...) -- kernel of a Mackey functor homomorphism
• kernel(...,Strategy=>...) -- kernel of a Mackey functor homomorphism
• kernel(...,SubringLimit=>...) -- kernel of a Mackey functor homomorphism
• kernel(MackeyFunctorHomomorphism) -- kernel of a Mackey functor homomorphism
• list of common Mackey functors -- a list of common Cp-Mackey functors
• MackeyFunctorHomomorphism -- the class of Mackey functor homomorphisms
• MackeyFunctorHomomorphism * MackeyFunctorHomomorphism -- composition of Mackey functor homomorphisms
• MackeyFunctorHomomorphism ** CpMackeyFunctor -- induced maps on box products
• MackeyFunctorHomomorphism + MackeyFunctorHomomorphism -- the class of Mackey functor homomorphisms
• MackeyFunctorHomomorphism ++ MackeyFunctorHomomorphism -- the class of Mackey functor homomorphisms
• MackeyFunctorHomomorphism - MackeyFunctorHomomorphism -- the class of Mackey functor homomorphisms
• MackeyFunctorHomomorphism == MackeyFunctorHomomorphism -- the class of Mackey functor homomorphisms
• MackeyFunctorHomomorphism ^ ZZ -- the class of Mackey functor homomorphisms
• MackeyFunctorHomomorphism | MackeyFunctorHomomorphism -- Horizontal concatenation of Mackey functor homomorphisms
• MackeyFunctorHomomorphism || MackeyFunctorHomomorphism -- Vertical concatenation of Mackey functor homomorphisms
• MackeyFunctorHomomorphism ⊠ CpMackeyFunctor -- induced maps on box products
• makeBurnsideMackeyFunctor -- constructs the Burnside Mackey functor
• makeBurnsideMackeyFunctor(ZZ) -- constructs the Burnside Mackey functor
• makeComplexRepresentationMackeyFunctor -- constructs the complex representation Mackey functor
• makeComplexRepresentationMackeyFunctor(ZZ) -- constructs the complex representation Mackey functor
• makeCpMackeyFunctor -- make a Cp Mackey functor
• makeCpMackeyFunctor(ZZ,Matrix,Matrix,Matrix) -- make a Cp Mackey functor
• makeFixedPointMackeyFunctor -- constructs the fixed-point Mackey functor of a C_p-module
• makeFixedPointMackeyFunctor(ZZ,Matrix) -- constructs the fixed-point Mackey functor of a C_p-module
• makeFixedSignMackeyFunctor -- constructs the fixed-point Mackey functor for the sign action of $C_2$ on $\mathbb{Z}$
• makeFixedSignMackeyFunctor(Sequence) -- constructs the fixed-point Mackey functor for the sign action of $C_2$ on $\mathbb{Z}$
• makeFixedTrivMackeyFunctor -- constructs the fixed-point Mackey functor for the trivial action of $C_p$ on $\mathbb{Z}/p$
• makeFixedTrivMackeyFunctor(ZZ) -- constructs the fixed-point Mackey functor for the trivial action of $C_p$ on $\mathbb{Z}/p$
• makeKGroupMackeyFunctor -- constructs the $K$-group Mackey functor
• makeKGroupMackeyFunctor(ZZ,ZZ,ZZ) -- constructs the $K$-group Mackey functor
• makeOrbitMackeyFunctor -- constructs the orbit Mackey functor of a C_p-module
• makeOrbitMackeyFunctor(ZZ,Matrix) -- constructs the orbit Mackey functor of a C_p-module
• makeRandomCpMackeyFunctor -- generate a random Cp-Mackey functor
• makeRandomCpMackeyFunctor(...,GenBound=>...) -- generate a random Cp-Mackey functor
• makeRandomCpMackeyFunctor(ZZ) -- generate a random Cp-Mackey functor
• makeRandomCpMackeyFunctor(ZZ,List) -- generate a random Cp-Mackey functor
• makeRandomMackeyFunctorHomomorphism -- generate a random Cp-Mackey functor homomorphism
• makeRandomMackeyFunctorHomomorphism(CpMackeyFunctor,CpMackeyFunctor) -- generate a random Cp-Mackey functor homomorphism
• makeRealRepresentationMackeyFunctor -- constructs the real representation Mackey functor
• makeRealRepresentationMackeyFunctor(ZZ) -- constructs the real representation Mackey functor
• makeUnderlyingFreeMackeyFunctor -- constructs the free Mackey functor on an underlying generator
• makeUnderlyingFreeMackeyFunctor(ZZ) -- constructs the free Mackey functor on an underlying generator
• makeZeroMackeyFunctor -- constructs the zero Mackey functor for the group
• makeZeroMackeyFunctor(ZZ) -- constructs the zero Mackey functor for the group
• makeZeroOnUnderlyingMackeyFunctor -- constructs a Mackey functor which is zero on underlying
• makeZeroOnUnderlyingMackeyFunctor(ZZ,Module) -- constructs a Mackey functor which is zero on underlying
• map(...,Degree=>...) -- constructs a map between two Mackey functors
• map(...,DegreeLift=>...) -- constructs a map between two Mackey functors
• map(...,DegreeMap=>...) -- constructs a map between two Mackey functors
• map(CpMackeyFunctor,CpMackeyFunctor,Matrix,Matrix) -- constructs a map between two Mackey functors
• map(CpMackeyFunctor,CpMackeyFunctor,ZZ) -- constructs the zero map between two Mackey functors, or a multiple of the identity map
• net(CpMackeyFunctor) -- The type of Cp Mackey functors
• net(MackeyFunctorHomomorphism) -- the class of Mackey functor homomorphisms
• PrimeOrder -- the prime order of the group over which a Mackey functor is defined
• prune(CpMackeyFunctor) -- prune a CpMackeyFunctor
• prune(MackeyFunctorHomomorphism) -- the class of Mackey functor homomorphisms
• realLinearizationMap -- returns the real linearization map for the prime p
• realLinearizationMap(ZZ) -- returns the real linearization map for the prime p
• Res -- the restriction homomorphism in a Mackey functor
• resolutionCohomological -- constructs a free resolution in cohomological Mackey functors of specified length
• resolutionCohomological(CpMackeyFunctor,ZZ) -- constructs a free resolution in cohomological Mackey functors of specified length
• source(MackeyFunctorHomomorphism) -- returns the source of a Mackey functor homomorphism
• target(MackeyFunctorHomomorphism) -- returns the target of a Mackey functor homomorphism
• the abelian category of Mackey functors -- background on the category of Mackey functors and how to code within it
• Tor -- computes Tor of two Cp-Mackey fuctors
• Tor_ZZ(CpMackeyFunctor,CpMackeyFunctor) -- computes Tor of two Cp-Mackey fuctors
• TorCoh -- computes Tor of two cohomological Cp-Mackey fuctors
• TorCoh(ZZ,CpMackeyFunctor,CpMackeyFunctor) -- computes Tor of two cohomological Cp-Mackey fuctors
• Trans -- the transfer homomorphism in a Mackey functor
• Underlying -- the underlying module of a Mackey functor
• UnderlyingMap -- the underlying level of a Mackey functor homomorphism
• ZZ * MackeyFunctorHomomorphism -- the class of Mackey functor homomorphisms