Goto Chapter: Top 1 2 3 4 5 Bib Ind
 [Top of Book]  [Contents]   [Next Chapter] 

IdRel

A package for Identities among Relators

Version 2.34

20/10/2016

Anne Heyworth

Chris Wensley
Email: c.d.wensley@bangor.ac.uk
Homepage: http://pages.bangor.ac.uk/~mas023/
Address:
School of Computer Science, Bangor University,
Dean Street, Bangor, Gwynedd, LL57 1UT, U.K.

Abstract

The IdRel package was originally implemented in 1999, using the GAP 3 language, when the first author was studying for a Ph.D. in Bangor.

This package is designed to compute a minimal set of generators for the module of the identities among relators of a group presentation. It does this using

IdRel became an accepted GAP package in May 2015.

Bug reports, suggestions and comments are, of course, welcome. Please submit an issue at https://github.com/gap-packages/idrel/issues/ or send an email to the second author at c.d.wensley@bangor.ac.uk.

Copyright

© 1999-2016 Anne Heyworth and Chris Wensley

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.

Acknowledgements

This documentation was prepared with the GAPDoc package [LN12] of Frank Lübeck and Max Neunhöffer.

The procedure used to mount new releases on GitHub uses the packages GitHubPagesForGAP [Hor14] and ReleaseTools of Max Horn.

Contents

1 Introduction
2 Rewriting Systems
3 Logged Rewriting Systems
4 Monoid Polynomials
5 Module Polynomials
References
Index

 [Top of Book]  [Contents]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 Bib Ind

generated by GAPDoc2HTML