                   The IdRel package - version 2.03

This is the README file for the GAP package ``IdRel''.

The IdRel package is designed for computing the identities among relations 
of a group presentation using rewriting, logged rewriting, 
monoid polynomials, module polynomials and Y-sequences.

Version 1.001 of ``IdRel'' formed part of Anne Heyworth's PhD thesis in
December 1999.
Version 2.02 was prepared for the GAP 4.4 release in March 2006 
(with one minor typo fixed on 02/06/06), 
and deposited in the incoming directory on the St Andrews ftp server.
A more detailed history will be included as Chapter 6 of the manual.
The latest version is 2.03 of 9th October 2007. 

The ``IdRel'' package is distributed with the accepted GAP packages.
It may also be obtained from the Bangor ftp pages for
Computational Higher-dimensional Discrete Algebra at:
  http://www.informatics.bangor.ac.uk/public/mathematics/chda/

The IdRel package is Copyright {\copyright} Chris Wensley and Anne Heyworth, 
1999--2007. 
IdRel 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. 
For details, see \URL{http://www.gnu.org/licenses/gpl.html}

============================================================================

Installing `IdRel':

1) unpack `idrel.2.03.tar.gz' in the `pkg' subdirectory of the GAP root
   directory.

2) From within GAP load the package with:

gap> LoadPackage("idrel");
true

3) The documentation is in the `doc' subdirectory.

===========================================================================

Chris Wensley and Anne Heyworth  -  October 2007. 