walrus
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.12.2
- 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]