|
D.15.24.2 truncateM
Procedure from library tateProdCplxNegGrad.lib (see tateProdCplxNegGrad_lib).
- Usage:
- truncateM(M,c); M module, c intvec
- Purpose:
- truncate M at c
- Assume:
M is multigraded S-module with S multigraded ring, c is an intvec of the right length
- Return:
- module, the truncated module M_{>= c}
- Note:
- Output is the truncated module (multigraded , grading is not shifted), works for arbitrary products
Example:
| LIB "tateProdCplxNegGrad.lib";
intvec c = 1,1,1;
def(S,E) = productOfProjectiveSpaces(c);
setring(S);
intmat grading[3][2] = 0,0,0,0,0,0;
module te = freemodule(2);
te = setModuleGrading(te,grading);
intvec c = 1,1,1;
module Mtrunc = truncateM(te,c);
Mtrunc;
getModuleGrading(Mtrunc);
multiDeg(Mtrunc);
|
|