Verify that a group is hyperbolic via computer algebra I would like to know whether there is some computer algebra software that can be used to verify if a group, given by a finite presentation, is hyperbolic (in the sense that it terminates with "yes" if the group is hyperbolic and otherwise might not terminate). I read that the kbmag software package for GAP could be used for this task. However I did not find any information in the documentation about how this can be accomplished.
I would also be interested to know if there is some software (say a GAP package) to check if a given group presentation satisfies a small cancellation condition (like $C'(\lambda)$).
 A: The KBMAG package can be used to verify hyperbolicity of a group defined by a finite presentation. It does it by verifying that geodesic bigons in the Cayley graph are uniformly thin. Then a result of Paposoglu implies that the group is hyperbolic. So it proves hyperbolicity, but it does not provide any useful information aboutn the constant of hyperbolicity.
Unfortunately, whoever designed the GAP interface (well me) did not provide a convenient interface to this functionality. But it is possible to use the GAP Exec command to do this. Here is a simple with the group $\langle x,y \mid x^2=y^3=(xy)^7=1 \rangle$. The KBMAG package needs to be compiled. I am running it on Linux, and I don't know whether it will work properly with other operating systems.
LoadPackage("kbmag");;
F:=FreeGroup(2);; rels:=[F.1^2, F.2^3, (F.1*F.2)^7];; G:=F/rels;;
R:=KBMAGRewritingSystem(G);;
AutomaticStructure(R);;
WriteRWS(R,"237",";");;
progname := Filename(_KBExtDir,"autgroup");;
callstring := Concatenation(progname," 237");;
Exec(callstring);
progname := Filename(_KBExtDir,"gpgeowa");;
callstring := Concatenation(progname," 237");;
Exec(callstring);

If the final command completes successfully then it has succeeded in verifying that geodesic bigons are uniformly thin. The output of the last command should be something like:
#Geodesic word found not accepted by *geowaptr.
#Geodesic word-acceptor with 54 states computed.
#Geodesic pairs machine with 114 states computed.
#Geodesic difference machine with 31 states computed.

