1##############################################################################
2##
3#W  gp2act.gd                   GAP4 package `XMod'              Chris Wensley
4#W                                                                 & Murat Alp
5#Y  Copyright (C) 2001-2018, Chris Wensley et al,
6#Y  School of Computer Science, Bangor University, U.K.
7##
8##  This file declares methods for actor crossed squares of crossed modules.
9##
10
11#############################################################################
12##
13#A  AutomorphismPermGroup( <obj> )
14##
15DeclareAttribute( "AutomorphismPermGroup", Is2DimensionalDomain );
16DeclareAttribute( "GeneratingAutomorphisms", Is2DimensionalDomain );
17DeclareAttribute( "AutoGroupIsomorphism", IsGroup );
18DeclareProperty( "IsAutomorphismPermGroupOfXMod", IsGroup );
19DeclareAttribute( "EmbedSourceAutos", IsAutomorphismPermGroupOfXMod );
20DeclareAttribute( "EmbedRangeAutos", IsAutomorphismPermGroupOfXMod );
21DeclareAttribute( "SourceProjection", IsAutomorphismPermGroupOfXMod );
22DeclareAttribute( "RangeProjection", IsAutomorphismPermGroupOfXMod );
23
24#############################################################################
25##
26#O  PermAutomorphismAsXModMorphism( <xmod>, <permaut> )
27##
28DeclareOperation( "PermAutomorphismAsXModMorphism", [ IsXMod, IsPerm ] );
29
30#############################################################################
31##
32#A  WhiteheadXMod( <XM> )
33#A  NorrieXMod( <XM> )
34#A  LueXMod( <XM> )
35##
36DeclareAttribute( "WhiteheadXMod", IsXMod );
37DeclareAttribute( "NorrieXMod", IsXMod );
38DeclareAttribute( "LueXMod", IsXMod );
39
40#############################################################################
41##
42#F  Actor( <args> )
43#F  InnerActor( <args> )
44#A  ActorXMod( <XM> )
45#A  ActorCat1Group( <C> )
46##
47DeclareGlobalFunction( "Actor" );
48DeclareGlobalFunction( "InnerActor" );
49DeclareAttribute( "ActorXMod", IsXMod );
50DeclareAttribute( "ActorCat1Group", IsCat1Group );
51
52#############################################################################
53##
54#A  InnerActorXMod( <XM> )
55#A  InnerMorphism( <XM> )
56#A  XModCentre( <XM> )     #? (18/07/11) : cannot get plain Centre to work ??
57##
58DeclareAttribute( "InnerActorXMod", IsXMod );
59DeclareAttribute( "InnerMorphism", IsXMod );
60DeclareAttribute( "XModCentre", IsXMod );
61
62#############################################################################
63##
64#O  ImageAutomorphismDerivation( <mor>, <chi> )
65##
66DeclareOperation( "ImageAutomorphismDerivation",
67    [ IsXModMorphism, IsDerivation ] );
68