XMod

Crossed Modules and Cat1-Groups

Version 2.92
Released 2024-01-23

This project is maintained by Chris Wensley

Build Status Code Coverage

The GAP 4 package ‘XMod’

Introduction

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.

Distribution

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

Installation

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:

Contact

If you have a question relating to ‘XMod’, encounter any problems, or have a suggestion for extending the package in any way, please