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

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

Synopsis

Usage:
isChainComplex(F)
Inputs:
- F,
Outputs:
- Boolean

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` :

isChainComplex(ChainComplex)