Crossed Modules and Cat1-Groups
Version 2.92
Released 2024-01-23
This project is maintained by Chris Wensley
This package allows for computation with crossed modules; cat1-groups; morphisms of these structures; derivations of crossed modules and the corresponding sections of cat1-groups.
In October 2015 a new section on isoclinism of crossed modules was added.
Functions for crossed squares and cat2-groups have been added during 2019/20.
The ‘XMod’ package is Copyright {\copyright} Chris Wensley et al, 1997–2024.
‘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.
For details, see http://www.gnu.org/licenses/gpl.html
It is assumed that you have a recent working copy of GAP, and that this contains a full set of packages in the pkg
directory, compiled as appropriate.
XMod specifies five needed packages: utils; groupoids; HAP; AutPGrp and SmallGrp. These in turn need or suggest other packages. Some of these are loaded automatically when GAP starts.
The full list of packages which are loaded (in addition to those loaded automatically by GAP) when XMod is loaded is as follows:
XMod does not require any compilation, but those in the list above which require compilation are as follows:
Once these prerequisites are in place, proceed as follows:
xmod-<version_number>.tar.gz
in the pkg
subdirectory of the GAP root directory.From within GAP load the package with:
gap> LoadPackage( “xmod” );
true
testall.g
from the tst
subdirectory.If you have a question relating to ‘XMod’, encounter any problems, or have a suggestion for extending the package in any way, please
cdwensley.maths@btinternet.com