DeclareGlobalFunction("CreateCoxeterMatrix");
DeclareGlobalFunction("DavisComplex");
DeclareGlobalFunction("MaximalSphericalCoxeterSubgroupsFromAbove");
DeclareGlobalFunction("IsSphericalCoxeterGroup");

