gap> C:=DavisComplex(D);;
gap> D:=TensorWithComplexRepresentationRing(C);;
gap> Homology(D,0);
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
