Research Portal

IdRel: Identities among relations

Research output: Non-textual form › Software

Standard Standard

IdRel: Identities among relations. Wensley, Christopher D. (Other); Heyworth, Anne (Other). 2019.

Research output: Non-textual form › Software

HarvardHarvard

Wensley, CD & Heyworth, A, IdRel: Identities among relations, 2019, Software. <http://gap-packages.github.io/idrel/>

APA

Wensley, C. D., & Heyworth, A. (2019). IdRel: Identities among relations. Software http://gap-packages.github.io/idrel/

CBE

Wensley CD, Heyworth A. 2019. IdRel: Identities among relations. [Software].

MLA

Wensley, Christopher D. and Anne Heyworth, IdRel: Identities among relations, Software, 2019, http://gap-packages.github.io/idrel/

VancouverVancouver

Wensley CD, Heyworth A. IdRel: Identities among relations 2019.

Author

Wensley, Christopher D. (Other) ; Heyworth, Anne (Other). / IdRel : Identities among relations. [Software].

RIS

TY - ADVS

T1 - IdRel

T2 - Identities among relations

A2 - Wensley, Christopher D.

A2 - Heyworth, Anne

PY - 2019/5/29

Y1 - 2019/5/29

N2 - This is the latest version, 2.43, of the GAP package IdRel. 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• rewriting and logged rewriting: a self-contained implementation of the Knuth-Bendix process using the monoid presentation associated to the group presentation;• monoid polynomials: an implementation of the monoid ring;• module polynomials: an implementation of the right module over this monoid generated by the relators.• Y-sequences: used as a rewriting way of representing elements of a free crossed module (products of conjugates of group relators and inverse relators). The first version of IdRel was released in 1999 when Anne Heyworth was completing her Ph.D. It became an accepted GAP package in May 2015. Bug reports, suggestions and comments are, of course, welcome. Please submit any issue at https://github.com/gap-packages/idrel/issues/ or email c.d.wensley@bangor.ac.uk.

AB - This is the latest version, 2.43, of the GAP package IdRel. 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• rewriting and logged rewriting: a self-contained implementation of the Knuth-Bendix process using the monoid presentation associated to the group presentation;• monoid polynomials: an implementation of the monoid ring;• module polynomials: an implementation of the right module over this monoid generated by the relators.• Y-sequences: used as a rewriting way of representing elements of a free crossed module (products of conjugates of group relators and inverse relators). The first version of IdRel was released in 1999 when Anne Heyworth was completing her Ph.D. It became an accepted GAP package in May 2015. Bug reports, suggestions and comments are, of course, welcome. Please submit any issue at https://github.com/gap-packages/idrel/issues/ or email c.d.wensley@bangor.ac.uk.

M3 - Software

ER -