  
  
                                      [1X[5XKan[105X[101X
  
  
                     [1XA package for Induced Category Actions[101X
  
  
                                  Version 1.25
  
  
                                   18/02/2016
  
  
                                 Anne Heyworth
  
                                 Chris Wensley
  
  
  
  Chris Wensley
      Email:    [7Xmailto:c.d.wensley@bangor.ac.uk[107X
      Homepage: [7Xhttp://pages.bangor.ac.uk/~mas023/[107X
      Address:  [33X[0;14YSchool of Computer Science, Bangor University,[133X
                [33X[0;14YDean Street, Bangor, Gwynedd, LL57 1UT, U.K.[133X
  
  
  
  -------------------------------------------------------
  [1XAbstract[101X
  [33X[0;0YThe [5XKan[105X package was originally implemented in 1996 using the [5XGAP[105X 3 language,
  to compute induced actions of categories, when the first author was studying
  for a Ph.D. in Bangor.[133X
  
  [33X[0;0YThis  reduced  version only provides functions for the computation of normal
  forms of representatives of double cosets of finitely presented groups.[133X
  
  [33X[0;0Y[5XKan[105X became an accepted [5XGAP[105X package in May 2015.[133X
  
  [33X[0;0YBug  reports,  suggestions  and  comments  are,  of  course, welcome. Please
  contact the second author at [7Xmailto:c.d.wensley@bangor.ac.uk[107X.[133X
  
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0Y© 1996-2016 Anne Heyworth and Chris Wensley[133X
  
  [33X[0;0Y[5Xkan[105X  is  free  software;  you can redistribute it and/or modify it under the
  terms        of       the       GNU       General       Public       License
  ([7Xhttp://www.fsf.org/licenses/gpl.html[107X)  as  published  by  the Free Software
  Foundation;  either  version 2 of the License, or (at your option) any later
  version.[133X
  
  
  -------------------------------------------------------
  [1XAcknowledgements[101X
  [33X[0;0YThis  documentation was prepared with the [5XGAPDoc[105X package of Frank Lübeck and
  Max Neunhöffer.[133X
  
  
  -------------------------------------------------------
  
  
  [1XContents (Kan)[101X
  
  1 [33X[0;0YIntroduction[133X
  2 [33X[0;0YDouble Coset Rewriting Systems[133X
    2.1 [33X[0;0YRewriting Systems[133X
      2.1-1 KnuthBendixRewritingSystem
    2.2 [33X[0;0YExample 1 -- free product of two cyclic groups[133X
      2.2-1 DoubleCosetRewritingSystem
      2.2-2 WordAcceptorOfReducedRws
    2.3 [33X[0;0YExample 2 -- the trefoil group[133X
      2.3-1 PartialDoubleCosetRewritingSystem
    2.4 [33X[0;0YExample 3 -- an infinite rewriting system[133X
      2.4-1 KBMagRewritingSystem
      2.4-2 DCrules
      2.4-3 NextWord
  3 [33X[0;0YDevelopment History[133X
    3.1 [33X[0;0YVersions of the package[133X
    3.2 [33X[0;0YWhat needs doing next?[133X
      3.2-1 DoubleCosetsAutomaton
  
  
  [32X
