next | previous | forward | backward | up | top | index | toc | home

cohomology -- general cohomology functor

Synopsis

Optional inputs:
- Degree => ...,

Description

cohomology -- a method name available for computing expressions of the forms HH^i(X) and HH^i(M,N).

If it is intended that i be of class ZZ, M be of class A, and N be of class B, then the method can be installed with

     cohomology(ZZ, A, B) := opts -> (i,M,N) -> ...

See also

homology -- general homology functor
HH -- general homology and cohomology functor
ScriptedFunctor -- the class of all scripted functors

Ways to use `cohomology` :

HH^ZZ ChainComplex -- cohomology of a chain complex
HH^ZZ ChainComplexMap -- cohomology of a chain complex map
HH^ZZ CoherentSheaf -- cohomology of a coherent sheaf on a projective variety
HH^ZZ Module -- local cohomology of a module
HH^ZZ SheafOfRings -- cohomology of a sheaf of rings on a projective variety
HH^ZZ SumOfTwists -- coherent sheaf cohomology module