  
  [1X1 [33X[0;0YIntroduction[133X[101X
  
  [33X[0;0YThe  [5XKan[105X  package started out as part of Anne Heyworth's thesis [Hey99], and
  was designed to compute induced actions of categories (see also [BH00]).[133X
  
  [33X[0;0YThis  version  of  [5XKan[105X 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[105X are described in [Lin91].[133X
  
  [33X[0;0YThe package is loaded into [5XGAP[105X with the command[133X
  
  [4X[32X  Example  [32X[104X
    [4X[28X[128X[104X
    [4X[25Xgap>[125X [27XLoadPackage( "kan" ); [127X[104X
    [4X[28X[128X[104X
  [4X[32X[104X
  
  [33X[0;0YThe    package    may    be    obtained    as    a   compressed   tar   file
  [11Xkan-version.number.tar.gz[111X by ftp from one of the following sites:[133X
  
  [30X    [33X[0;6Ythe [5XKan[105X GitHub site: [7Xhttps://github.com/gap-packages.github.io/kan/[107X.[133X
  
  [30X    [33X[0;6Yany                  [5XGAP[105X                 archive,                 e.g.
        [7Xhttps://www.gap-system.org/Packages/packages.html[107X;[133X
  
  [33X[0;0YThe      package      also      has      a     GitHub     repository     at:
  [7Xhttps://github.com/gap-packages/kan/[107X.[133X
  
  [33X[0;0YSome  of  the  functions  in  the  [5XAutomata[105X package are used to compute word
  acceptors and regular expressions for the languages they accept.[133X
  
  [33X[0;0YThe  [5XKBMag[105X package is also used to compute a word acceptor of a group [10XG[110X when
  [10XG[110X has no finite rewriting system. If [5XKBMag[105X is not available (the user is not
  on  a  UNIX  system,  or  the  C-programs  have not been compiled), the file
  [11Xdckbmag.gi[111X  will  not  be  read,  so  methods  for the functions detailed in
  section 2.4.1 will not be available.[133X
  
  [33X[0;0YOnce  the  package  is  loaded,  it is possible to check the installation is
  correct  by  running  a  test file of the manual examples with the following
  command.  (The  test  file  itself  is [11Xtst/fulltest.tst[111X or [11Xtst/parttest.tst[111X,
  depending whether or not [5XKBMag[105X is available.)[133X
  
  [4X[32X  Example  [32X[104X
    [4X[28X[128X[104X
    [4X[25Xgap>[125X [27XReadPackage( "kan", "tst/testall.g" );[127X[104X
    [4X[28X#I  Testing /Applications/gap/my-dev/pkg/kan/tst/fulltest.tst[128X[104X
    [4X[28X#I  No errors detected while testing package kan[128X[104X
    [4X[28Xtrue[128X[104X
    [4X[28X[128X[104X
  [4X[32X[104X
  
  [33X[0;0YThe  information  parameter  [10XInfoKan[110X takes default value [10X0[110X. When raised to a
  higher value, additional information is printed out.[133X
  
  [33X[0;0YOnce  the  package  is loaded, the manual [10Xdoc/manual.pdf[110X can be found in the
  documentation  folder.  The  [10Xhtml[110X  versions, with or without MathJax, may be
  rebuilt as follows.[133X
  
  [4X[32X  Example  [32X[104X
    [4X[28X[128X[104X
    [4X[25Xgap>[125X [27XInfoLevel( InfoKan );[127X[104X
    [4X[28X0[128X[104X
    [4X[25Xgap>[125X [27XReadPackage( "kan, "makedoc.g" ); [127X[104X
    [4X[28X[128X[104X
  [4X[32X[104X
  
  [33X[0;0YPlease  send  bug  reports,  suggestions  and  other  comments to the second
  author,      or      use      the      GitHub      issue      tracker     at
  [7Xhttps://github.com/gap-packages/kan/issues/new[107X.[133X
  
  [33X[0;0YAdditional  information can be found on the [13XComputational Higher-dimensional
  Discrete Algebra[113X website at [7Xhttp://pages.bangor.ac.uk/~mas023/chda/[107X.[133X
  
