Home
last modified time | relevance | path

Searched refs:IsCentral (Results 1 – 25 of 34) sorted by relevance

12

/dports/math/gap/gap-4.11.0/tst/testinstall/opers/
H A DIsCentral.tst1 gap> START_TEST("IsCentral.tst");
9 gap> List(AsSet(G), g -> [g, IsCentral(G,g)]);
15 gap> List(Set(AllSubgroups(G)), H -> [H, IsCentral(G, H)]);
30 gap> List(AsSet(M), x->IsCentral(M,x));
32 gap> IsCentral(M, Submagma(M, []));
34 gap> List(AsSet(M), x->IsCentral(M,Submagma(M,[x])));
42 gap> List(AsSet(M), x->IsCentral(M,x));
44 gap> IsCentral(M, Submagma(M, []));
46 gap> List(AsSet(M), x->IsCentral(M,Submagma(M,[x])));
54 gap> List(GeneratorsOfAlgebra(A), x->IsCentral(A,x));
[all …]
/dports/math/gap/gap-4.11.0/lib/
H A Dmagma.gi1113 #M IsCentral( <M>, <N> )
1115 InstallMethod( IsCentral,
1121 InstallMethod( IsCentral,
1128 InstallMethod( IsCentral,
1137 #M IsCentral( <M>, <elm> )
1139 InstallMethod( IsCentral,
1145 InstallMethod( IsCentral,
1151 InstallMethod( IsCentral,
H A Dring.gi185 #M IsCentral( <R>, <U> ) . . . . . . . . test if <U> is centralized by <R>
190 InstallMethod( IsCentral,
196 InstallMethod( IsCentral,
206 #M IsCentral( <R>, <x> ) . . . . . . . . test if <x> is centralized by <R>
208 InstallMethod( IsCentral,
214 InstallMethod( IsCentral,
H A Dmagma.gd644 #O IsCentral( <M>, <obj> ) . . test whether an object is central in a magma
646 ## <#GAPDoc Label="IsCentral">
648 ## <Oper Name="IsCentral" Arg='M, obj'/>
651 ## <Ref Oper="IsCentral"/> returns <K>true</K> if the object <A>obj</A>,
658 DeclareOperation( "IsCentral", [ IsMagma, IsObject ] );
H A Dalgebra.gi3251 #O IsCentral( <A>, <U> ) . . . . . . . . test if <U> is centralized by <A>
3260 InstallMethod( IsCentral,
3267 InstallMethod( IsCentral,
3274 InstallMethod( IsCentral,
3284 #O IsCentral( <A>, <x> ) . . . . . . . . test if <x> is centralized by <A>
3286 InstallMethod( IsCentral,
3292 InstallMethod( IsCentral,
3298 InstallMethod( IsCentral,
H A Dgrppccom.gi641 if ( cor.useCentral and IsCentral( Parent(M), M ) )
642 or ( cor.useCentralSK and IsCentral(S,M) and IsCentral(K,M) ) then
H A Dctblmono.gi2064 if IsCentral( Centre( F ), syl )
2113 or not IsCentral( K, C )
H A Dgrp.gi3443 #M IsCentral( <G>, <U> ) . . . . . . . . is a group centralized by another?
3445 InstallMethod( IsCentral,
3453 #M IsCentral( <G>, <g> ) . . . . . . . is an element centralized by a group?
3455 InstallMethod( IsCentral,
H A Dgrpnames.gi216 and IsCentral(G, SubgroupNC(G, [x])));
/dports/math/gap/gap-4.11.0/pkg/unipot-1.4/doc/
H A Dmanual.six62 F 2.3. IsCentral
H A Dmanual.lab58 \makelabel{unipot:IsCentral}{2.3.21}
H A Dunipot.tex622 \>IsCentral( <U>, <z> )
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/
H A DAttributes.hs612 , liftM Root $ parseFieldDef IsCentral "root"
1669 data Root = IsCentral -- ^ For Nodes only constructor
1675 unqtDot IsCentral = unqtDot True
1683 parseUnqt = liftM (bool NotCentral IsCentral) onlyBool
1687 parse = optionalQuoted (liftM (bool NotCentral IsCentral) onlyBool)
H A DAttributes.hs.prettyprinter.golden427 liftM Root $ parseFieldDef IsCentral "root",
1280 data Root = IsCentral
1286 unqtDot IsCentral = unqtDot True
1294 = liftM (bool NotCentral IsCentral) onlyBool `onFail`
1297 = optionalQuoted (liftM (bool NotCentral IsCentral) onlyBool)
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/tests/examples/
H A DAttributes.hs612 , liftM Root $ parseFieldDef IsCentral "root"
1669 data Root = IsCentral -- ^ For Nodes only constructor
1675 unqtDot IsCentral = unqtDot True
1683 parseUnqt = liftM (bool NotCentral IsCentral) onlyBool
1687 parse = optionalQuoted (liftM (bool NotCentral IsCentral) onlyBool)
H A DAttributes.hs.prettyprinter.golden427 liftM Root $ parseFieldDef IsCentral "root",
1280 data Root = IsCentral
1286 unqtDot IsCentral = unqtDot True
1294 = liftM (bool NotCentral IsCentral) onlyBool `onFail`
1297 = optionalQuoted (liftM (bool NotCentral IsCentral) onlyBool)
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/tests/examples/
H A DAttributes.hs612 , liftM Root $ parseFieldDef IsCentral "root"
1669 data Root = IsCentral -- ^ For Nodes only constructor
1675 unqtDot IsCentral = unqtDot True
1683 parseUnqt = liftM (bool NotCentral IsCentral) onlyBool
1687 parse = optionalQuoted (liftM (bool NotCentral IsCentral) onlyBool)
H A DAttributes.hs.prettyprinter.golden427 liftM Root $ parseFieldDef IsCentral "root",
1280 data Root = IsCentral
1286 unqtDot IsCentral = unqtDot True
1294 = liftM (bool NotCentral IsCentral) onlyBool `onFail`
1297 = optionalQuoted (liftM (bool NotCentral IsCentral) onlyBool)
/dports/math/gap/gap-4.11.0/pkg/grpconst-2.6.2/gap/
H A Dfrattext.gi89 return IsElementaryAbelian(N) and IsCentral( ext, N );
/dports/math/gap/gap-4.11.0/pkg/xgap-4.30/doc/
H A Dmanual.six83 F 5.10. IsCentral
H A Dmanual.lab87 \makelabel{xgap:IsCentral}{5.10.9}
H A Dsglatsys.tex632 \>`IsCentral'{IsCentral}@{`IsCentral'}
637 the whole group. See also "ref:IsCentral" and "ref:IsNormal" in the {\GAP}
H A Dsgrplats.tex336 IsCentral unknown
/dports/math/gap/gap-4.11.0/pkg/unipot-1.4/lib/
H A Dunipot.gi524 #M IsCentral( <U>, <z> ) . . . . for a `UnipotChevSubGr' and a `UnipotChevElem'
527 InstallMethod( IsCentral,
/dports/math/gap/gap-4.11.0/pkg/xgap-4.30/lib/
H A Dilatgrp.gi648 rec( name := "IsCentral", func := IsCentral, parent := true ),

12