|
D.15.24.8 cohomologyMatrixFromResolution
Procedure from library tateProdCplxNegGrad.lib (see tateProdCplxNegGrad_lib).
- Usage:
- cohomologyMatrixFromResolution(T,low,high); T multigradedcomplex, low intvec, high intvec
- Purpose:
- computes the cohomology matrix corresponding to the multigraded complex T (part of a Tate resolution)
- Assume:
- T is a multigraded complex representing a part of a Tate resolution (for example output of tateResolution), basering is E
- Return:
- ring Z in which cohomology matrix lives, it is exported in the variable cohomologymat, cohomologymat stores information in the range between
low and high
Example:
| LIB "tateProdCplxNegGrad.lib";
intvec c = 1,1;
def (S,E) = productOfProjectiveSpaces(c);
intvec low = -3,-3;
intvec high = 3,3;
setring(S);
module M = 0;
intmat grading[2][1] = -1,-1;
M = setModuleGrading(M,grading);
multigradedcomplex tate;
(E,tate) = tateResolution(M,low,high);
setring(E);
ring Z = cohomologyMatrixFromResolution(tate,low,high);
setring(Z);
print(cohomologymat);
|
|