# walrus

A new approach to proving hyperbolicity

Version 0.999
Released 2019-12-19

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.999, released on 2019-12-19. For more information, please refer to the package manual. There is also a README file.

## Dependencies

This package requires GAP version >= 4.10

The following other GAP packages are needed:

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

## Citing

You can get more info by typing Cite("walrus"); in the gap prompt.