Bangor University - School of Computer Science Mathematics Research Groups Computational Higher-dimensional Discrete Algebra

CHDA : ftp access to GAP packages

Single gzipped tar file containing all four packages, Gpd, IdRel, Kan, XMod: chda.tar.gz (version 9th October 2007).

Packages currently available, plus related publications

• XMod - crossed modules and cat1-groups (with Murat Alp)
  • XMod version 2.010 for GAP 4.4 (8th October 2007)
    • html file: xmod2010.html
    • readme file: README
    • package info: PackageInfo.g
    • gzipped tar file: xmod.2.010.tar.gz
    • manual - pdf: manual.pdf or online: chap0.html

  • notes.pdf (version 08/06/06) - working document on crossed modules and related structures

  • names.pdf - conversion table from GAP3 function names to GAP4 names in XMod

  • Murat Alp's Ph.D. thesis: alp.ps.gz

  • XMod version 1 for GAP 3.4.4 (January 1997)
    • gzipped tar file: xmod.1.tar.gz

• Kan - double coset rewriting systems for fp-groups (with Anne Heyworth),
  • Kan version 0.95 for GAP 4.4 (9th October 2007)
    • html file: kan095.html
    • readme file: README
    • package info: PackageInfo.g
    • gzipped tar file: kan.0.95.tar.gz
    • manual - pdf manual.pdf or online chap0.html

  • Anne Heyworth's Ph.D. thesis: heyworth.ps.gz

  • Bangor preprint: 05_07.pdf, entitled String rewriting for double coset systems

• IdRel - logged rewriting and identities among relators (with Anne Heyworth),
  • Idrel version 2.03 for GAP 4.4 (9th October 2007)
    • html file: idrel203.html
    • readme file: README
    • package info: PackageInfo.g
    • gzipped tar file: idrel.2.03.tar.gz
    • manual - pdf manual.pdf or online chap0.html

  • Anne Heyworth's Ph.D. thesis: heyworth.ps.gz

• Gpd - groupoids, group graphs and groupoid graphs (with Emma Moore),
  • Gpd version 1.03 for GAP 4.4 (8th October 2007)
    • html file: gpd103.html
    • readme file: README
    • package info: PackageInfo.g
    • gzipped tar file: gpd.1.03.tar.gz
    • manual - pdf: manual.pdf or online: chap0.html

  • Emma Moore's Ph.D. thesis: moore.ps.gz

Packages in preparation

• XRes - crossed complexes and crossed resolutions (with Emma Moore),

• ntp - non-abelian tensor products (with Robert Rodrigues),

• homotopy - Aidan McDermott's code for non-abelian tensor products, written at Galway under the supervision of Graham Ellis.
  (I've promised to convert this to GAP4, but the priority is low.)

Links to the home page of GAP - Groups, Algorithms and Programming

• GAP: the home page at St. Andrews.
• GAP3 Manual:
• GAP4 Manual:
• Information for GAP Package Authors:

These packages will continue to be developed as time permits.

If you find them useful; or if you have any contributions, bug reports, or other suggestions for the development of these packages,
please email: Chris Wensley.

Mathematics home page School of Computer Science home page Bangor University home page Latest modification to this page: 09/10/07