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.