|
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)
- 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)
-
Kan
- double coset rewriting systems for fp-groups (with Anne Heyworth),
-
IdRel
- logged rewriting and identities among relators (with Anne Heyworth),
- Idrel version 2.03 for GAP 4.4 (9th October 2007)
- 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)
- 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
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.