Lines Matching refs:IsXMod
89 #P IsXMod( <PM> )
94 DeclareProperty( "IsXMod", IsPreXMod );
95 InstallTrueMethod( IsPreXMod, IsXMod );
96 DeclareSynonym( "IsPermXMod", IsXMod and IsPerm2DimensionalGroup );
97 DeclareSynonym( "IsFpXMod", IsXMod and IsFp2DimensionalGroup );
98 DeclareSynonym( "IsPcXMod", IsXMod and IsPc2DimensionalGroup );
188 DeclareOperation( "XModByPullback", [ IsXMod, IsGroupHomomorphism ] );
194 DeclareAttribute( "KernelCokernelXMod", IsXMod );
240 DeclareOperation( "SubXMod", [ IsXMod, IsGroup, IsGroup ] );
256 DeclareAttribute( "TrivialSubXMod", IsXMod );
312 DeclareAttribute( "Cat1GroupOfXMod", IsXMod );
371 DeclareAttribute( "NormalSubXMods", IsXMod );