Home
last modified time | relevance | path

Searched refs:IsXMod (Results 1 – 20 of 20) sorted by relevance

/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/lib/
H A Disoclinic.gd23 DeclareOperation( "DisplacementGroup", [ IsXMod, IsGroup, IsGroup ] );
24 DeclareAttribute( "DisplacementSubgroup", IsXMod );
25 DeclareOperation( "CrossActionSubgroup", [ IsXMod, IsXMod, IsXMod ] );
31 DeclareAttribute( "DerivedSubXMod", IsXMod );
37 DeclareOperation( "IntersectionSubXMods", [ IsXMod, IsXMod, IsXMod ] );
53 DeclareOperation( "CommutatorSubXMod", [ IsXMod, IsXMod, IsXMod ] );
59 DeclareAttribute( "CentreXMod", IsXMod );
112 DeclareProperty( "IsStemDomain", IsXMod );
125 DeclareOperation( "Isoclinism", [ IsXMod, IsXMod ] );
H A Dgp2ind.gd49 DeclareOperation( "CoproductXMod", [ IsXMod, IsXMod ] );
51 DeclareAttribute( "CoproductInfo", IsXMod, "mutable" );
57 DeclareProperty( "IsInducedXMod", IsXMod );
76 DeclareOperation( "InducedXModBySurjection", [ IsXMod, IsGroupHomomorphism ] );
77 DeclareOperation( "InducedXModByCoproduct", [ IsXMod, IsGroupHomomorphism ] );
78 DeclareOperation( "InducedXModByBijection", [ IsXMod, IsGroupHomomorphism ] );
80 [ IsXMod, IsGroupHomomorphism, IsList ] );
82 [ IsXMod, IsGroupHomomorphism ] );
84 [ IsXMod, IsGroupHomomorphism ] );
H A Dgp2act.gd28 DeclareOperation( "PermAutomorphismAsXModMorphism", [ IsXMod, IsPerm ] );
36 DeclareAttribute( "WhiteheadXMod", IsXMod );
37 DeclareAttribute( "NorrieXMod", IsXMod );
38 DeclareAttribute( "LueXMod", IsXMod );
49 DeclareAttribute( "ActorXMod", IsXMod );
58 DeclareAttribute( "InnerActorXMod", IsXMod );
59 DeclareAttribute( "InnerMorphism", IsXMod );
60 DeclareAttribute( "XModCentre", IsXMod );
H A Dgp3obj.gd55 DeclareOperation( "CrossedPairingByDerivations", [ IsXMod ] );
56 DeclareOperation( "CrossedPairingBySingleXModAction", [ IsXMod, IsXMod ] );
57 DeclareAttribute( "PrincipalCrossedPairing", IsXMod );
59 DeclareOperation( "CrossedPairingByPreImages", [ IsXMod, IsXMod ] );
149 [ IsXMod, IsXMod, IsXMod, IsXMod, IsXMod, IsCrossedPairing ] );
154 DeclareOperation( "CrossedSquareByNormalSubXMod", [ IsXMod, IsXMod ] );
155 DeclareOperation( "CrossedSquareByPullback", [ IsXMod, IsXMod ] );
157 DeclareAttribute( "ActorCrossedSquare", IsXMod );
158 DeclareAttribute( "CrossedSquareByXModSplitting", IsXMod );
H A Dgp2up.gd96 DeclareAttribute( "IdentityDerivation", IsXMod );
104 DeclareOperation( "PrincipalDerivation", [ IsXMod, IsObject ] );
105 DeclareAttribute( "PrincipalDerivations", IsXMod );
146 DeclareAttribute( "ListInverseDerivations", IsXMod );
227 DeclareAttribute( "RegularDerivations", IsXMod );
228 DeclareAttribute( "AllDerivations", IsXMod );
250 DeclareAttribute( "WhiteheadMonoidTable", IsXMod );
251 DeclareAttribute( "WhiteheadGroupTable", IsXMod );
260 DeclareAttribute( "WhiteheadPermGroup", IsXMod );
262 DeclareAttribute( "WhiteheadGroupGeneratorPositions", IsXMod );
[all …]
H A Dgp2obj.gd89 #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 );
194 DeclareAttribute( "KernelCokernelXMod", IsXMod );
240 DeclareOperation( "SubXMod", [ IsXMod, IsGroup, IsGroup ] );
256 DeclareAttribute( "TrivialSubXMod", IsXMod );
312 DeclareAttribute( "Cat1GroupOfXMod", IsXMod );
[all …]
H A Disoclinic.gi70 [ IsXMod ], 0,
87 [ IsXMod, IsXMod ], 0,
172 true, [ IsXMod ], 0,
182 [ IsXMod, IsXMod ], 0,
222 true, [ IsXMod, IsXMod, IsXMod ], 0,
266 true, [ IsXMod, IsXMod, IsXMod ], 0,
361 [ IsXMod ], 0,
376 [ IsXMod, IsXMod, IsXMod ], 0,
391 true, [ IsXMod ], 0,
954 [ IsXMod ], 0,
[all …]
H A Dgp2map.gd48 [ IsXMod, IsXMod, IsGroupHomomorphism, IsGroupHomomorphism ] );
121 DeclareAttribute( "IsomorphismXModByNormalSubgroup", IsXMod );
144 DeclareAttribute( "MorphismOfPullback", IsXMod );
H A Dgp2up.gi401 [ IsXMod ], 0,
424 true, [ IsXMod, IsObject ], 0,
644 [ IsXMod ], 0,
822 if IsXMod( obj ) then
957 [ IsXMod, IsString ], 0,
982 [ IsXMod ], 0,
996 [ IsXMod ], 0,
1010 [ IsXMod ], 0,
1039 [ IsXMod ], 0,
1071 [ IsXMod ], 0,
[all …]
H A Dgp2act.gi16 true, [ IsXMod ], 0,
120 true, [ IsXMod and IsNormalSubgroup2DimensionalGroup ], 0,
235 true, [ IsXMod, IsPerm ], 0,
287 [ IsXMod ], 0,
343 [ IsXMod ], 0,
421 [ IsXMod ], 0,
474 InstallMethod( ActorXMod, "actor crossed module", true, [ IsXMod ], 0,
595 InstallMethod( XModCentre, "centre of an xmod", true, [ IsXMod ], 0,
H A Dgp2obj.gi178 true, [ IsXMod ], 0,
853 if not IsXMod( PM ) then
967 ok := IsXMod( XM );
1024 if not IsXMod( XM ) then
1083 true, [ IsXMod ], 0,
1191 if IsXMod( PM ) then
1269 [ IsXMod ], 0,
1433 if not ( IsXMod( XM ) and IsXMod( SM ) ) then
1669 if not IsXMod( SM ) then
2738 if ( IsXMod( X1 ) and IsXMod( Y1 ) ) then
[all …]
H A Dgp3obj.gi144 [ IsXMod ], 0,
169 true, [ IsXMod, IsXMod ], 0,
199 true, [ IsXMod, IsXMod ], 0,
219 InstallMethod( PrincipalCrossedPairing, "for an xmod", true, [ IsXMod ], 0,
506 if ( HasIsXMod( arg[1] ) and IsXMod( arg[1] ) ) then
516 if ( HasIsXMod( arg[1] ) and IsXMod( arg[1] )
517 and HasIsXMod( arg[2] ) and IsXMod( arg[2] ) ) then
591 [ IsXMod, IsXMod, IsXMod, IsXMod, IsXMod, IsCrossedPairing ], 0,
659 true, [ IsXMod, IsXMod ], 0,
710 true, [ IsXMod, IsXMod ], 0,
[all …]
H A Dgpd2obj.gi59 Info( InfoXMod, 2, "using IsXMod from gpd2obj.gi" );
186 SetIsXModWithObjects( pxwo, IsXMod( px ) );
254 if ForAll( pieces, p -> HasIsXMod(p) and IsXMod(p) ) then
H A Dgp2ind.gi15 [ IsXMod, IsXMod ], 0,
131 if not ForAll( LX, Y -> IsXMod( Y ) ) then
183 if ( Is2DimensionalDomain( arg[1] ) and IsXMod( arg[1] ) ) then
253 true, [ IsXMod, IsGroupHomomorphism ], 0,
282 true, [ IsXMod, IsGroupHomomorphism ], 0,
345 [ IsXMod, IsGroupHomomorphism, IsList ], 0,
838 true, [ IsXMod, IsGroupHomomorphism ], 0,
H A Dgp2map.gi177 return ( IsXMod( Source( mor ) ) and IsXMod( Range( mor ) ) );
488 if ( ( nargs = 4 ) and IsXMod( arg[1] ) and IsXMod( arg[2])
550 true, [ IsXMod, IsXMod, IsGroupHomomorphism, IsGroupHomomorphism ], 0,
765 if ( HasIsXMod( PM ) and IsXMod( PM ) ) then
1575 "for xmod with injective boundary", true, [ IsXMod ], 0,
H A Dapps.gi18 if not IsXMod( X0 ) then
/dports/audio/spiralsynth/SpiralSynth-0.1.7/SpiralSound/
H A DMixer.h36 bool IsXMod() {return (m_Type==XMOD);} in IsXMod() function
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/tst/manual/
H A Dgp2obj.tst149 > "IsGeneratorsOfSemigroup", "IsPreXModDomain", "IsPreXMod", "IsXMod",
190 gap> IsXMod( P16 );
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/doc/
H A DXMod.toc16 \contentsline {subsection}{\numberline {2.2.1}\leavevmode {\color {Chapter }IsXMod}}{13}{subsection…
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/
H A DCHANGES.md212 fixed the call to IsXMod in PreXModObj