                   The IdRel package - version 2.05

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.
Version 2.04 was released on 14th November 2008, 
where the main change was the move to a new package website.  
The latest version, jusdt fixing file permissions, 
is 2.05 released 21st November 2008. 

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

The IdRel package is Copyright {\copyright} Chris Wensley and Anne Heyworth, 
1999--2008. 
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.05.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  -  November 2008. 
