next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

isChainComplex -- Test to see if the ChainComplex has square zero differential.

Synopsis

Description

This function was implemented to verify that ChainComplexMaps returned from the extend command were indeed ChainComplexMaps
i1 : R = ZZ/101[a,b,c]

o1 = R

o1 : PolynomialRing
i2 : kRes = res coker vars R

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

o2 : ChainComplex
i3 : isChainComplex(kRes)

o3 = true

Ways to use isChainComplex :