/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/lib/ |
H A D | isoclinic.gd | 23 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 D | gp2ind.gd | 49 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 D | gp2act.gd | 28 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 D | gp3obj.gd | 55 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 D | gp2up.gd | 96 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 D | gp2obj.gd | 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 ); 194 DeclareAttribute( "KernelCokernelXMod", IsXMod ); 240 DeclareOperation( "SubXMod", [ IsXMod, IsGroup, IsGroup ] ); 256 DeclareAttribute( "TrivialSubXMod", IsXMod ); 312 DeclareAttribute( "Cat1GroupOfXMod", IsXMod ); [all …]
|
H A D | isoclinic.gi | 70 [ 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 D | gp2map.gd | 48 [ IsXMod, IsXMod, IsGroupHomomorphism, IsGroupHomomorphism ] ); 121 DeclareAttribute( "IsomorphismXModByNormalSubgroup", IsXMod ); 144 DeclareAttribute( "MorphismOfPullback", IsXMod );
|
H A D | gp2up.gi | 401 [ 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 D | gp2act.gi | 16 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 D | gp2obj.gi | 178 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 D | gp3obj.gi | 144 [ 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 D | gpd2obj.gi | 59 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 D | gp2ind.gi | 15 [ 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 D | gp2map.gi | 177 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 D | apps.gi | 18 if not IsXMod( X0 ) then
|
/dports/audio/spiralsynth/SpiralSynth-0.1.7/SpiralSound/ |
H A D | Mixer.h | 36 bool IsXMod() {return (m_Type==XMOD);} in IsXMod() function
|
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/tst/manual/ |
H A D | gp2obj.tst | 149 > "IsGeneratorsOfSemigroup", "IsPreXModDomain", "IsPreXMod", "IsXMod", 190 gap> IsXMod( P16 );
|
/dports/math/gap/gap-4.11.0/pkg/XMod-2.77/doc/ |
H A D | XMod.toc | 16 \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 D | CHANGES.md | 212 fixed the call to IsXMod in PreXModObj
|