worked on ChainComplex minimalization with GGSmith