gap> G:=SpaceGroup(4,2);;
gap> gens:=GeneratorsOfGroup(G);;
gap> B:=CrystGFullBasis(G);;
gap> R:=CrystGcomplex(gens,B,1);;
gap> IsRigid(R);
false
gap> S:=CrystGcomplex(gens,B,0);;
gap> IsRigid(S);
true
gap> D:=TensorWithBurnsideRing(S);;
gap> Homology(D,0);
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
