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 distributed with the accepted GAP packages: see https://www.gap-system.org/Packages/kan.html
• It may also be obtained from the GitHub repository at: https://gap-packages.github.io/kan/

Copyright

The 'Kan' package is Copyright © Chris Wensley and Anne Heyworth, 1996--2025.

'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.

For details, see https://www.gnu.org/licenses/gpl.html

Installation

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

  gap> LoadPackage("kan");
  true
  

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

Contact

If you have a question relating to 'Kan', encounter any problems, or have a suggestion for extending the package in any way, please

• email: mailto:cdwensley.maths@btinternet.com
• or report an issue at: https://github.com/gap-packages/kan/issues/new