-- a method name available for computing expressions of the forms HH^i(X)
If it is intended that i
be of class ZZ
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) -> ...