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

CHDA : ftp access to GAP packages

New versions of all these packages have been prepared in September 2011 for the anticipated release of GAP 4.5 in October 2011.

Follow the link to ftp45.html for these versions.

Packages currently available, plus related publications

• XMod - crossed modules and cat1-groups (with Murat Alp)
  • XMod version 2.12 for GAP 4.4 (24th November 2008)
    • html file: xmod212.html
    • readme file: README
    • package info: PackageInfo.g
    • gzipped tar file: xmod.2.12.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

• Gpd - groupoids, group graphs and groupoid graphs (with Emma Moore),
  • Gpd version 1.05 for GAP 4.4 (21st November 2008)
    • html file: gpd105.html
    • readme file: README
    • package info: PackageInfo.g
    • gzipped tar file: gpd.1.05.tar.gz
    • manual - pdf: manual.pdf or online: chap0.html

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

• Kan - double coset rewriting systems for fp-groups (with Anne Heyworth),
  • Kan version 0.97 for GAP 4.4 (18th November 2008)
    • html file: kan097.html
    • readme file: README
    • package info: PackageInfo.g
    • gzipped tar file: kan.0.97.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.06 for GAP 4.4 (21st July 2011)
    • html file: idrel206.html
    • readme file: README
    • package info: PackageInfo.g
    • gzipped tar file: idrel.2.06.tar.gz
    • manual - pdf manual.pdf or online chap0.html

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

  • A. Heyworth and C.D. Wensley, Logged rewriting and identities among relators,
    Published in: Groups St Andrews 2001 in Oxford, London Math. Soc. Lecture Note Series 304,
    eds. C.M. Campbell, E.F. Robertson & G.C. Smith, Cambridge Univ. Press (2003) 256-276.

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:

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: 06/09/11

s