An implementation of hyperbolicity testing using an ideas by Derek Holt, Max Neunhöffer, Richard Parker, and Colva Roney-Dougal, and probably quite a few more
This package requires GAP version >= 4.10
The following other GAP packages are needed:
The following additional GAP packages are not required, but suggested:
Please, cite this package as
[Pfe22] Pfeiffer, M.,
walrus, A new approach to proving hyperbolicity,
(GAP package), https://gap-packages.github.io/walrus.
You can get more info by typing
Cite("walrus"); in the gap prompt.
For bug reports, feature requests and suggestions, please use the issue tracker.