Macaulay2 » Documentation
Packages » OldChainComplexes » ChainComplexMap » ChainComplexMap ^ ZZ
next | previous | forward | backward | up | index | toc

ChainComplexMap ^ ZZ -- iterated composition

Description

If f is a GradedModuleMap, then so is the result.

One use of this function is to determine if a chain complex is well-defined. The chain complex will be well-defined if the square of the differential is zero.
i1 : R = QQ[x,y,z];
i2 : C = res coker vars R

      1      3      3      1
o2 = R  <-- R  <-- R  <-- R  <-- 0
                                  
     0      1      2      3      4

o2 : ChainComplex
i3 : C.dd^2 == 0

o3 = true

See also

Ways to use this method:


The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/OldChainComplexes/docs/caret-doc.m2:40:0.