  
  [1m[4m[31m1. Introduction[0m
  
  The  [1mkan[0m  package  started out as part of Anne Heyworth's thesis [H99]}, and
  was designed to compute induced actions of categories (see also [BH00]).
  
  This  version  of  [1mkan[0m 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 [BG+06]. Existing methods for
  computing double cosets in [1mGAP[0m are described in [L91].
  
  The package is loaded into [1mGAP[0m with the command
  
  [22m[35m---------------------------  Example  ----------------------------[0m
    [22m[35m[0m
    [22m[35mgap> LoadPackage( "kan" ); [0m
    [22m[35m[0m
  [22m[35m------------------------------------------------------------------[0m
  
  This  version  of [1mkan[0m has been prepared for [1mGAP[0m~4.4.6. Some of the functions
  in the [1mautomata[0m share package are used to compute word acceptors and regular
  expressions for the languages they accept.
  
  The [1mkbmag[0m share package is also used to compute a word acceptor of a group [22m[32mG[0m
  when  [22m[32mG[0m  has no finite rewriting system. If [1mkbmag[0m is not available (the user
  is not on a UNIX system, or the C-programs have not been compiled), the file
  [1mdckbmag.gi[0m  will  not  be  read,  so  methods  for the functions detailed in
  section 2.4.1 will not be available.
  
  The  information  parameter  [22m[32mInfoKan[0m takes default value [22m[32m0[0m. When raised to a
  higher value, additional information is printed out.
  
  The following test file (assuming the user is in the [22m[32mkan[0m directory) runs all
  the manual examples.
  
  [22m[35m---------------------------  Example  ----------------------------[0m
    [22m[35m[0m
    [22m[35mgap> ReadTest("tst/kan_manual.tst");[0m
    [22m[35m+ setting AssertionLevel to 0 to avoid recursion in Automata[0m
    [22m[35m+ Testing all example commands in the Kan manual[0m
    [22m[35m+ GAP4stones: 6[0m
    [22m[35mtrue[0m
    [22m[35m[0m
  [22m[35m------------------------------------------------------------------[0m
  
  (If  [1mkbmag[0m 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  [1mkan[0m  package is subject to the [1mGAP[0m copyright regulations as detailed in
  the copyright notice in the [1mGAP[0m manual.
  
