GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

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

Author
Markus Pfeiffer
Maintainer
Markus Pfeiffer
Shipped Version
0.999    (Released 19/12/2019)
License
BSD-3-Clause
Status
dev
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
[HTML]     [PDF]
Download
walrus-0.999   [.tar.gz]