  
  
                                     [1X kan [101X
  
  
                   [1X including double coset rewriting systems [101X
  
  
                                      1.32
  
  
                                  16 July 2020
  
  
                                 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;14YDr. C.D. Wensley[133X
                [33X[0;14YSchool of Computer Science[133X
                [33X[0;14YBangor University[133X
                [33X[0;14YDean Street[133X
                [33X[0;14YBangor[133X
                [33X[0;14YGwynedd LL57 1UT[133X
                [33X[0;14YUK[133X
  
  
  
  -------------------------------------------------------
  [1XAbstract[101X
  [33X[0;0Y[5XKan[105X  is  a  [5XGAP[105X  package  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  last  author  at  [7Xmailto:c.d.wensley@bangor.ac.uk[107X or submit an
  issue at the GitHub repository [7Xhttps://github.com/gap-packages/kan/issues/[107X.[133X
  
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0Y© 1996-2019 Anne Heyworth and Chris Wensley[133X
  
  [33X[0;0YThe  [5XKan[105X  package is free software; you can redistribute it and/or modify it
  under  the  terms of the GNU General Public License 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 using the [5XGAPDoc[105X [LN17] and [5XAutoDoc[105X [GH17]
  packages.[133X
  
  [33X[0;0YThe   procedure   used   to   produce   new   releases   uses   the  package
  [5XGitHubPagesForGAP[105X [Hor17] and the package [5XReleaseTools[105X.[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.1-2 NextWord
    2.2 [33X[0;0YExample 2 -- free product of two cyclic groups[133X
      2.2-1 DoubleCosetRewritingSystem
      2.2-2 DisplayAsString
      2.2-3 WordAcceptorOfReducedRws
    2.3 [33X[0;0YExample 3 -- the trefoil group[133X
      2.3-1 PartialDoubleCosetRewritingSystem
    2.4 [33X[0;0YExample 4 -- an infinite rewriting system[133X
      2.4-1 KBMagRewritingSystem
      2.4-2 DCrules
      2.4-3 WordToString
  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
