  
  [1X1. Introduction[0X
  
  The  [5Xkan[0X package started out as part of Anne Heyworth's thesis [Hey99]}, and
  was designed to compute induced actions of categories (see also [BH00]).
  
  This  version  of  [5Xkan[0X only provides functions for the computation of normal
  forms  of representatives of double cosets of finitely presented groups, and
  is  made  available  in  support of the paper [BGHW06]. Existing methods for
  computing double cosets in [5XGAP[0X are described in [Lin91].
  
  The package is loaded into [5XGAP[0X with the command
  
  [4X---------------------------  Example  ----------------------------[0X
    [4X[0X
    [4Xgap> LoadPackage( "kan" ); [0X
    [4X[0X
  [4X------------------------------------------------------------------[0X
  
  This  version  of [5Xkan[0X has been prepared for [5XGAP[0X~4.4.6. Some of the functions
  in  the  [5Xautomata[0X  package  are  used  to compute word acceptors and regular
  expressions for the languages they accept.
  
  The  [5Xkbmag[0X package is also used to compute a word acceptor of a group [10XG[0X when
  [10XG[0X has no finite rewriting system. If [5Xkbmag[0X is not available (the user is not
  on  a  UNIX  system,  or  the  C-programs  have not been compiled), the file
  [11Xdckbmag.gi[0X  will  not  be  read,  so  methods  for the functions detailed in
  section 2.4.1 will not be available.
  
  The  information  parameter  [10XInfoKan[0X takes default value [10X0[0X. When raised to a
  higher value, additional information is printed out.
  
  Once  the  package  is  loaded,  it is possible to check the installation is
  correct by running the test suite of the package with the following command.
  (The test file itself is [11Xtst/kan_manual.tst[0X.)
  
  [4X---------------------------  Example  ----------------------------[0X
    [4X[0X
    [4Xgap> ReadPackage( "kan", "tst/testall.g" );[0X
    [4X+ setting AssertionLevel to 0 to avoid recursion in Automata[0X
    [4X+ Testing all example commands in the Kan manual[0X
    [4X+ GAP4stones: 6[0X
    [4Xtrue[0X
    [4X[0X
  [4X------------------------------------------------------------------[0X
  
  (If  [5Xkbmag[0X is not loaded then a collection of error lines for Example 3 will
  be printed out.)
  
  Please  send  bug  reports,  suggestions  and  other  comments to the second
  author.
  
  The  [5Xkan[0X  package is subject to the [5XGAP[0X copyright regulations as detailed in
  the copyright notice in the [5XGAP[0X manual.
  
