HH -- general homology and cohomology functor

Description

HH is a ScriptedFunctor which serves as an interface to the methods for homology and cohomology, in the sense that, HH_i(M) is an abbreviation for homology(i,M) HH^i(M) is an abbreviation for cohomology(i,M), and HH(M) is an abbreviation for homology(,M). A second argument and optional arguments may be added.

Ways to use HH :

HH ChainComplex -- homology of a chain complex
HH ChainComplexMap -- homology of a chain complex map
HH^ZZ ChainComplex -- cohomology of a chain complex
HH^ZZ ChainComplexMap -- cohomology of a chain complex map
HH^ZZ Module -- local cohomology of a module
HH^ZZ SheafMap (missing documentation)
HH^ZZ SheafOfRings -- cohomology of a sheaf of rings on a projective variety
HH^ZZ SumOfTwists -- coherent sheaf cohomology module
HH^ZZ(AffineVariety,CoherentSheaf) (missing documentation)
HH^ZZ CoherentSheaf -- see HH^ZZ(ProjectiveVariety,CoherentSheaf) -- cohomology of a coherent sheaf on a projective variety
HH^ZZ(ProjectiveVariety,CoherentSheaf) -- cohomology of a coherent sheaf on a projective variety
HH^ZZ(ProjectiveVariety,SheafMap) (missing documentation)
HH^ZZ(ProjectiveVariety,SumOfTwists) (missing documentation)
HH^ZZ(Variety,SheafOfRings) (missing documentation)
HH_ZZ ChainComplex -- homology of a chain complex
HH_ZZ ChainComplexMap -- homology of a chain complex map
HH_ZZ Sequence (missing documentation)
homology(Matrix,Matrix) -- homology of a pair of maps
homology(SheafMap,SheafMap) (missing documentation)

For the programmer

The object HH is a scripted functor.