gap> G:=Image(NqEpimorphismNilpotentQuotient(FreeGroup(3),2));;
gap> R:=ResolutionNilpotentGroup(G,10);;
gap> S:=ContractedComplex(R);;
gap> C:=TensorWithIntegers(S);; 
gap> List([1..10],i->IsZero(BoundaryMatrix(C,i)));
[ true, true, true, true, true, true, true, true, true, true ]
