naiveTruncation(C, lo, hi)
Returns a new complex which drops (sets to zero) all modules outside the given range.
|
|
|
|
|
|
|
|
|
|
Truncation gives rise to a natural short exact sequence of complexes.
|
|
|
|
|
There is another type of truncation, canonicalTruncation, which induces an isomorphism on (a range) of homology.
The source of this document is in Complexes/ChainComplexDoc.m2:3006:0.