LoadPackage("walrus"); triangle := TriangleGroup(2,3,7); IsHyperbolic(triangle, 1/6); thm95 := TriangleCommutatorQuotient(13, 7);; IsHyperbolic(thm95, 1/10); thm95_2 := TriangleCommutatorQuotient(7, 19);; IsHyperbolic(thm95_2, 1/10); F := FreeGroup("x", "y");; AssignGeneratorVariables(F);; rred := [ y^3 ];; rgreen := [ x^4, (x*y)^4 ];; IsHyperbolic(F, rred, rgreen, 1/10); F := FreeGroup("x", "y", "t");; AssignGeneratorVariables(F);; rred := [y^3, x^2 * t];; rgreen := [t^2, (x*y)^4];; IsHyperbolic(F, rred, rgreen, 1/10); F := FreeGroup("a","b","c","d","e");; AssignGeneratorVariables(F);; rred := [ a*b*c^-1, b*c*d^-1, c*d*e^-1, d*e*a^-1, e*a*b^-1 ];; IsHyperbolic(F, rred, [], 1/10);