GAP package walrus

A new approach to proving hyperbolicity

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

[WWW homepage]       [Source code repository]       [Issue tracker]

Author

Markus Pfeiffer

Maintainer

Markus Pfeiffer

Version with GAP 4.13.0

0.9991    (Released 21/02/2022)

License

BSD-3-Clause

Status

deposited

Dependencies

GAP version: >= 4.10
Needed other packages: GAPDoc (>= 1.5), datastructures (0.2.2), digraphs (>= 0.10)
Suggested other packages: profiling ( >= 1.3.0), kbmag (>= 1.5.4)

Documentation

walrus [HTML]     [PDF]

Download

walrus-0.9991   [.tar.gz]