# kan

including double coset rewriting systems

Version 1.29
Released 2019-05-29

This project is maintained by Christopher D. Wensley

# The GAP 4 package ‘KAN’

## Introduction

This package was conceived as a package for computing induced actions of categories. This version only deals with double coset rewriting systems for finitely presented groups.

## History

• This package started out as part of Anne Heyworth’s thesis in 1999.
• The first version on general release was 0.91 in July 2005.
• ‘Kan’ became an accepted package in May 2015.
• A more detailed history is included as Chapter 3 of the manual, and in the CHANGES.md file.

## Distribution

The ‘Kan’ package is Copyright {\copyright} Chris Wensley and Anne Heyworth, 1996–2017.

‘Kan’ is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

## Installation

• unpack kan-<version_number>.tar.gz in the pkg subdirectory of the GAP root directory.
• From within GAP load the package with:

• The documentation is in the doc subdirectory.
• To run the test file read testall.g from the kan/tst/ directory.