b = isMinimalChainComplex C
The script tests whether all the differentials of C become zero when we substitute 0 for each variable of ring C
The object isMinimalChainComplex is a function closure.