## &kan;

A package for Induced Category Actions
Version 0.95
Anne Heyworth anne.heyworth@googlemail.com
Chris Wensley c.d.wensley@bangor.ac.uk http://www.informatics.bangor.ac.uk/~cwensley/

          School of Computer Science, Bangor University,

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

October 2007

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-2007 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">