                   The IdRel package - version 2.02

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

The IdRel share library 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.

The package 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/

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

Installing `IdRel':

1) unpack `idrel.2.02.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  -  June 2006.
