GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
DeclareGlobalFunction("CreateCoxeterMatrix");
DeclareGlobalFunction("DavisComplex");
DeclareGlobalFunction("MaximalSphericalCoxeterSubgroupsFromAbove");
DeclareGlobalFunction("IsSphericalCoxeterGroup");