The KAN package - version 0.95 This is the README file for the GAP package ``KAN''. This package was conceived as a package for computing induced actions of categories. This version only deals with deouble coset rewriting systems for finitely presented groups. A more detailed history is included as Chapter 3 of the manual. The ``KAN'' package will, in due course, be added to the other deposited GAP packages, and may be submitted for official acceptance. Meanwhile, it may also be obtained from the Bangor ftp pages for Computational Higher-dimensional Discrete Algebra at: http://www.informatics.bangor.ac.uk/public/mathematics/chda/ The KAN package is Copyright {\copyright} Chris Wensley and Murat Alp, 1996--2007. 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 \URL{http://www.gnu.org/licenses/gpl.html} ============================================================================ Installing `Kan': 1) unpack `kan.0.95.tar.gz' in the `pkg' subdirectory of the GAP root directory. 2) From within GAP load the package with: gap> LoadPackage("kan"); true 3) The documentation is in the `doc' subdirectory. =========================================================================== Chris Wensley and Anne Heyworth - October 2007.