# idrel

Identities among relations

Version 2.34

This project is maintained by Christopher D. Wensley

                   README file for the IdRel package
=================================

Introduction
------------
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.

History
-------
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
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.
IdRel became an accepted package in May 2015.

Distribution
------------
The IdRel package is distributed with the accepted GAP packages.
It may also be obtained from the GitHub repository at:
http://gap-packages.github.io/idrel/

---------
1999--2016.
IdRel is free software; you can redistribute it and/or modify it
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

Installation
------------
1) unpack idrel-.tar.gz' in the pkg' subdirectory of the GAP root directory.
2) From within GAP load the package with:
`