  
  
                                      [1m[4m[31m[1mkan[1m[4m[31m[0m
  
  
                     [1m[4m[31mA package for Induced Category Actions[0m
  
  
                                  Version 0.94
  
  
                                   June 2006
  
  
                                 Anne Heyworth
  
                                 Chris Wensley
  
  
  
  Anne Heyworth
      Email:    [34mmailto:a.heyworth@mcs.le.ac.uk[0m
      Address:  University of Leicester.
  
  
  Chris Wensley
      Email:    [34mmailto:c.d.wensley@bangor.ac.uk[0m
      Homepage: [34mhttp://www.informatics.bangor.ac.uk/~cwensley/[0m
      Address:  School of Informatics, University of Wales Bangor,
                Dean Street, Bangor, Gwynedd, LL57 1UT, U.K.
  
  
  
  -------------------------------------------------------
  [1m[4m[31mAbstract[0m
  The  [1mkan[0m package was originally implemented in 1997 using the [1mGAP[0m3 language,
  to compute induced actions of categories, when the first author was studying
  for a Ph.D. in Bangor.
  
  This  version only provides functions for the computation of normal forms of
  representatives of double cosets of finitely presented groups,
  
  Bug  reports,  suggestions  and  comments  are,  of  course, welcome. Please
  contact the second author at [34mmailto:c.d.wensley@bangor.ac.uk[0m.
  
  
  -------------------------------------------------------
  [1m[4m[31mCopyright[0m
  (C) 2005-2006 by Anne Heyworth and Chris Wensley
  
  We  adopt  the  copyright  regulations  of  [1mGAP[0m as detailed in the copyright
  notice in the [1mGAP[0m manual.
  
  
  -------------------------------------------------------
  
  
  [1m[4m[31mContent (Kan)[0m
  
  1. Introduction
  2. Double Coset Rewriting Systems
    2.1 Rewriting Systems
      2.1-1 KnuthBendixRewritingSystem
    2.2 Example 1 -- free product of two cyclic groups
      2.2-1 DoubleCosetRewritingSystem
      2.2-2 WordAcceptorOfReducedRws
      2.2-3 SFAtoRatExp
    2.3 Example 2 -- the trefoil group
      2.3-1 PartialDoubleCosetRewritingSystem
    2.4 Example 3 -- an infinite rewriting system
      2.4-1 KBMagRewritingSystem
      2.4-2 DCrules
      2.4-3 NextWord
  3. Development History
    3.1 Versions of the package
    3.2 What needs doing next?
      3.2-1 DoubleCosetsAutomaton
  
  
  -------------------------------------------------------
