## &kan;

A package for Induced Category Actions
Version 0.94
Anne Heyworth a.heyworth@mcs.le.ac.uk

          University of Leicester.

Chris Wensley c.d.wensley@bangor.ac.uk http://www.informatics.bangor.ac.uk/~cwensley/

          School of Informatics, University of Wales Bangor,

          Dean Street, Bangor, Gwynedd, LL57 1UT, U.K.

June 2006

The &kan; package was originally implemented in 1997 using the &GAP;3 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 c.d.wensley@bangor.ac.uk.

&copyright; 2005-2006 by Anne Heyworth and Chris Wensley

We adopt the copyright regulations of &GAP; as detailed in the copyright notice in the &GAP; manual.
<#Include SYSTEM "intro.xml"> <#Include SYSTEM "dcrws.xml"> <#Include SYSTEM "history.xml">