GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package walrus

A new approach to proving hyperbolicity

Author

Markus Pfeiffer

Short Description

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

Version

Current version number 0.99   (Released 19/02/2019)

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),

Online documentation

walrus: [ HTML] version   [ PDF] version  

Download

[README]    walrus-0.99[.tar.gz  (316K)]   [.tar.bz2  (268K)]   [-win.zip  (344K)]   [.zip  (344K)]  

Source code repository

git : https://github.com/gap-packages/walrus

Issue tracker

https://github.com/gap-packages/walrus/issues

Contact

Markus Pfeiffer
Address:
School of Computer Science
University of St Andrews
Jack Cole Building, North Haugh
St Andrews, Fife, KY16 9SX
United Kingdom
WWW: http://www.morphism.de/~markusp/
E-mail: markus.pfeiffer@st-andrews.ac.uk