|
D.15.24.3 truncateCoker
Procedure from library tateProdCplxNegGrad.lib (see tateProdCplxNegGrad_lib).
- Usage:
- truncateCoker(M,c); M module, c intvec
- Purpose:
- truncate cokernel coker(M) at the multidegree c
- Return:
- module, which is a presentation matrix of the truncation of coker(M) at c
Example:
| LIB "tateProdCplxNegGrad.lib";
// example 1
intvec c1 = 1,1,1;
def(S1,E1) = productOfProjectiveSpaces(c1);
setring(S1);
module M1= 0;
intmat grading1[3][1] = 0,0,0;
M1 = setModuleGrading(M1,grading1);
truncateCoker(M1,c1);
// example 2
intvec c2 = 1,1;
def (S2,E2) = productOfProjectiveSpaces(c2);
setring(S2);
module M2 = 0;
intmat grading2[2][1] = 0,0;
M2 = setModuleGrading(M2,grading2);
truncateCoker(M2,c2);
|
|