Version 2.41
05/06/2015
Murat Alp
Email: muratalp@nigde.edu.tr
Address:
Nigde Üniversitesi,
Fen Edebiyat Fakültesi, Matematik Bölümü
Nigde, Turkey.
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.
The XMod package provides functions for computation with
finite crossed modules of groups and cat1-groups, and morphisms of these structures;
finite pre-crossed modules, pre-cat1-groups, and their Peiffer quotients;
derivations of crossed modules and sections of cat1-groups;
the actor crossed square of a crossed module.
Initial, experimental versions of the following are also included in this version:
crossed squares and their morphisms;
crossed modules of groupoids.
XMod was originally implemented in 1997 using the GAP3 language. when the first author was studying for a Ph.D. [Alp97] in Bangor.
In April 2002 the first and third parts were converted to GAP4, the pre-structures were added, and version 2.001 was released. The final two parts, covering derivations, sections and actors, were included in the January 2004 release 2.002 for GAP 4.4.
Version 2.19 was released on 9th June 2012 for the first release of GAP 4.5.
The current version is 2.41, released 5th June 2015 for GAP 4.7.
Bug reports, suggestions and comments are, of course, welcome. Please contact the second author at c.d.wensley@bangor.ac.uk.
© 1997-2015 Murat Alp and Chris Wensley. XMod 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.
This documentation was prepared with the GAPDoc package of Frank Lübeck and Max Neunhöffer.
The first author wishes to acknowledge support from Dumlupinar University and the Turkish government.
generated by GAPDoc2HTML