D:=[ [1,[2,3]], [2,[3,3]], [3,[4,3]], [4,[5,6]]];;
R:=CoxeterComplex(D);;
F:=FreeGResolution(R,3);;
Print(Homology(TensorWithIntegers(F),2),"\n");
C:=DavisComplex(D);;
D:=TensorWithComplexRepresentationRing(C);;
Print(Homology(D,0),"\n");
