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);