Kan

Authors: Anne Heyworth, Chris Wensley
Language: GAP 4.4
Operating System: Any
Current version: 0.95 (09/10/2007)

Provides functions for computing with double coset rewriting systems and their word-accepting automata for finitely presented groups.

Description

This GAP3 package was developed as part of Anne Heyworth's Ph.D. thesis.
A GAP4 version Kan 0.95 is now available, but the only functions available at present are those for double coset rewriting systems for finitely presented groups.
Functions from the Automata package are used to compute word acceptors and their languages for these rewrite systems.
KBMAG functions are also used (if available) when no finite complete rewriting system is available for the group.

The following structures are implemented:

Double coset rewrite systems for finitely presented groups.
Word acceptors for these rewrite systems.

This has been made available in support of the Bangor preprint 05.07, published in: J. Symbolic Comp. 41 (2006) 573-590.

For further information see Anne's KAN page.

Manual

Choose from the following formats:

HTML, Index.
PDF (162 KB).

Authors

Anne Heyworth,
Chris Wensley,
School of Computer Science, Bangor University,
Bangor, Gwynedd, LL57 1UT

email: anne.heyworth@googlemail.com and c.d.wensley@bangor.ac.uk