You could try to enforce that by giving as few choice as possible to the ChainComplex by defining bdrs to be sparse matrices explicitely defined over GF(2).