A new approach to proving hyperbolicity

Version 0.9991
Released 2022-02-21

This project is maintained by Markus Pfeiffer

GAP Package walrus

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

The current version of this package is version 0.9991, released on 2022-02-21. For more information, please refer to the package manual. There is also a README file.

License: BSD-3-Clause


This package requires GAP version >= 4.10

The following other GAP packages are needed:

The following additional GAP packages are not required, but suggested:


Markus Pfeiffer.


Please, cite this package as

[Pfe22] Pfeiffer, M., walrus, A new approach to proving hyperbolicity, Version 0.9991 (2022)
(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.