Lines Matching refs:IsXMod
178 true, [ IsXMod ], 0,
247 ok := IsXMod( PM ); # for running properly the function AllXMods
373 if ( HasIsXMod( g2d ) and IsXMod( g2d ) ) then
476 if ( HasIsXMod( g2d ) and IsXMod( g2d ) and HasCat1GroupOfXMod( g2d ) ) then
805 if HasIsXMod( X0 ) and IsXMod( X0 ) then
813 #M IsXMod . . . . . . . . . check that the second crossed module axiom holds
815 InstallMethod( IsXMod, "generic method for pre-crossed modules",
853 if not IsXMod( PM ) then
967 ok := IsXMod( XM );
1024 if not IsXMod( XM ) then
1083 true, [ IsXMod ], 0,
1158 if IsXMod( obj ) then
1191 if IsXMod( PM ) then
1219 [ IsXMod, IsGroupHomomorphism ], 0,
1269 [ IsXMod ], 0,
1337 elif ( ( nargs = 3 ) and IsXMod( arg[1] )
1433 if not ( IsXMod( XM ) and IsXMod( SM ) ) then
1562 if ( HasIsXMod(obj) and IsXMod(obj) ) then
1661 [ IsXMod, IsGroup, IsGroup ], 0,
1669 if not IsXMod( SM ) then
2738 if ( IsXMod( X1 ) and IsXMod( Y1 ) ) then
2855 InstallMethod( TrivialSubXMod, "of a crossed module", true, [ IsXMod ], 0,
2882 if IsXMod( obj ) then
2934 InstallMethod( NormalSubXMods, "for a crossed module", true, [ IsXMod ], 0,
2956 if ( ok and IsXMod( YM ) and IsNormal( XM, YM ) ) then