[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: greatest  ..  Group


greatest

   LCM(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
   LeastCommonMultiple(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
   Greatest Common Divisors (QUADRATIC FIELDS)

greatest-common-divisor

   LCM(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
   LeastCommonMultiple(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
   Greatest Common Divisors (QUADRATIC FIELDS)

GreatestCommonDivisor

   Gcd(D1, D2) : DivCrvElt, DivCrvElt -> DivCrvElt
   GreatestCommonDivisor(D1, D2) : DivCrvElt, DivCrvElt -> DivCrvElt
   GCD(D1, D2) : DivCrvElt, DivCrvElt -> DivCrvElt
   GCD(D1, D2) : DivFunElt, DivFunElt -> DivFunElt
   GCD(I, J) : RngOrdFracIdl, RngOrdFracIdl -> RngOrdFracIdl
   Gcd(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
   GreatestCommonDivisor(a, b) : RngIntResElt, RngIntResElt -> RngIntResElt
   GreatestCommonDivisor(f, g) : RngMPolElt, RngMPolElt -> RngMPolElt
   GreatestCommonDivisor(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
   GreatestCommonDivisor(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
   GreatestCommonDivisor(v, w) : RngValElt, RngValElt -> RngValElt
   GreatestCommonDivisor(s) : [RngIntElt] -> RngIntElt
   GreatestCommonDivisor(Q) : [RngIntResElt] -> RngIntResElt
   LeftGCD(u, v: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
   LeftGCD(S: parameters) : Setq -> GrpBrdElt

grevlex

   Graded Reverse Lexicographical: grev-lex (IDEAL THEORY AND GRÖBNER BASES)

grey

   The Gray Map (LINEAR CODES OVER FINITE RINGS)

grey-map

   The Gray Map (LINEAR CODES OVER FINITE RINGS)

Griesmer

   GriesmerBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
   GriesmerLengthBound(K, k, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
   GriesmerMinimumWeightBound(K, n, k) : FldFin, RngIntElt, RngIntElt->RngIntElt

GriesmerBound

   GriesmerBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt

GriesmerLengthBound

   GriesmerLengthBound(K, k, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt

GriesmerMinimumWeightBound

   GriesmerMinimumWeightBound(K, n, k) : FldFin, RngIntElt, RngIntElt->RngIntElt

Groebner

   Groebner(M) : ModMPol ->
   Groebner(I: parameters) : RngMPol ->
   GroebnerBasis(I: parameters) : RngMPol -> RngMPolElt
   GroebnerBasis(S, d : parameters) : [ RngMPol ], RngInt -> RngMPolElt
   GroebnerBasis(S, d: parameters) : [ RngMPol ], RngInt -> RngMPolElt
   GroebnerBasis(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]
   GroebnerBasis(X) : Sch -> SeqEnum
   GroebnerBasisUnreduced(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]
   HasGroebnerBasis(I) : RngMPol -> BoolElt
   HilbertGroebnerBasis(S, H) : [ RngMPolElt ], FldFunRatUElt -> BoolElt, [ RngMPolElt ]
   IsGroebner(S) : { RngMPolElt } -> BoolElt
   MarkGroebner(I) : RngMPol ->
   ReduceGroebnerBasis(S) : [ RngMPolElt ] -> [ RngMPolElt ]

groebner

   Gröbner Bases (IDEAL THEORY AND GRÖBNER BASES)
   Hilbert-driven Gröbner Basis Construction (IDEAL THEORY AND GRÖBNER BASES)
   IDEAL THEORY AND GRÖBNER BASES

GroebnerBasis

   GroebnerBasis(I: parameters) : RngMPol -> RngMPolElt
   GroebnerBasis(S, d : parameters) : [ RngMPol ], RngInt -> RngMPolElt
   GroebnerBasis(S, d: parameters) : [ RngMPol ], RngInt -> RngMPolElt
   GroebnerBasis(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]
   GroebnerBasis(X) : Sch -> SeqEnum

GroebnerBasisUnreduced

   GroebnerBasisUnreduced(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]

Grotzch

   Graph_Grotzch (Example H102E12)

Ground

   BaseField(F) : FldAlg -> Fld
   CoefficientField(F) : FldAlg -> Fld
   GroundField(F) : FldAlg -> Fld
   GroundField(F) : FldFin -> FldFin

GroundField

   BaseField(F) : FldAlg -> Fld
   CoefficientField(F) : FldAlg -> Fld
   GroundField(F) : FldAlg -> Fld
   GroundField(F) : FldFin -> FldFin

Group

   AbelianGroup(GrpAb, Q) : Cat, [ RngIntElt ] -> GrpAb
   AbelianGroup(C, Q) : Cat, [ RngIntElt ] -> GrpFin
   AbelianGroup(GrpFP, [n_1,...,n_r]): Cat, [ RngIntElt ] -> GrpFP
   AbelianGroup(GrpPerm, Q) : Cat, [ RngIntElt ] -> GrpPerm
   AbelianGroup(GrpGPC, Q) : Cat, [RngIntElt] -> GrpGPC
   AbelianGroup(GrpPC, Q) : Cat, [RngIntElt] -> GrpPC
   AbelianGroup(G) : Grp -> GrpAb, Hom
   AbelianGroup(G) : GrpGPC -> GrpAb, Map
   AbelianGroup(G) : GrpPC -> GrpAb, Map
   AbelianGroup(J) : JacHyp -> GrpAb, Map
   AbelianGroup< X | R > : List(Var), List(GrpAbRel) -> GrpAb, Hom(GrpAb)
   AbelianGroup(A: parameters) : GrpAbGen -> GrpAb, Map
   AbelianGroup(H: parameters) : SetPtEll -> GrpAb, Map
   AbelianGroup(H) : SetPtEll -> GrpAb, Map
   ActionGroup(M) : ModGrp -> GrpMat
   AdditiveGroup(F) : FldFin -> GrpAb, Map
   AdditiveGroup(Z) : RngInt -> GrpAb, Map
   AdditiveGroup(R) : RngIntRes -> GrpAb, Map
   AffineGammaLinearGroup(arguments)
   AffineGeneralLinearGroup(arguments)
   AffineGeneralLinearGroup(arguments)
   AffineGeneralLinearGroup(arguments)
   AffineGeneralLinearGroup(arguments)
   AffineSigmaLinearGroup(arguments)
   AffineSpecialLinearGroup(arguments)
   AffineSpecialLinearGroup(arguments)
   AffineSpecialLinearGroup(arguments)
   AffineSpecialLinearGroup(arguments)
   AffineSpecialLinearGroup(arguments)
   AlmostSimpleGroupDatabase() : -> DB
   AlternatingGroup(C, n) : Cat, RngIntElt -> GrpFin
   AlternatingGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP
   AlternatingGroup(GrpPerm, n) : Cat, RngIntElt -> GrpPerm
   AutomaticGroup(Q: parameters) : GrpFP -> GrpAtc
   AutomorphismGroup(C) : CrvHyp -> GrpPerm, Map, Map
   AutomorphismGroup(A) : FldAb -> GrpFP, [Map], Map
   AutomorphismGroup(F) : FldAlg -> GrpPerm, PowMap, Map
   AutomorphismGroup(G): Grp -> GrpAuto
   AutomorphismGroup(G, Q, I): Grp, SeqEnum[GrpElt], SeqEnum[SeqEnum[GrpElt]] -> GrpAuto
   AutomorphismGroup(G): GrpPC -> GrpAuto
   AutomorphismGroup(G): GrpPC -> GrpAuto
   AutomorphismGroup(G): GrpPC -> GrpAuto
   AutomorphismGroup(D) : Inc -> GrpPerm, GSet, GSet, PowMap, Map
   AutomorphismGroup(D) : IncGeom -> GrpPerm
   AutomorphismGroup(L) : Lat -> GrpMat
   AutomorphismGroup(L, F) : Lat, [ AlgMatElt ] -> GrpMat
   AutomorphismGroup(M) : ModRng -> AlgMat
   AutomorphismGroup(P) : P -> GrpMat,Map
   AutomorphismGroup(C: parameters) : Code -> GrpPerm, PowMap, Map
   AutomorphismGroup( G: parameters) : Grph -> GrpPerm, GSet, GSet, PowMap, Map, Grph
   AutomorphismGroup(G: parameters) : GrpPerm -> GrpAuto
   AutomorphismGroup(L) : RngLoc -> GrpPerm, Map
   AutomorphismGroup(F) : [ AlgMatElt ] -> GrpMat
   AutomorphismGroupStabilizer(C, k) : Code, RngIntElt -> GrpPerm, PowMap, Map
   AutomorphismGroupStabilizer(D, k) : Inc, RngIntElt -> GrpPerm, PowMap, Map
   BlockGroup(D) : Inc -> GrpPerm
   BraidGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP
   BraidGroup( W ) : GrpFPCox -> GrpFP, Map
   BraidGroup(n: parameters) : RngIntElt -> GrpBrd
   BravaisGroup(G) : GrpMat -> GrpMat
   CanIdentifyGroup(o) : RngIntElt -> BoolElt
   CentralCollineationGroup(P, l) : Plane, PlaneLn -> GrpPerm, PowMap, Map
   CentralCollineationGroup(P, p) : Plane, PlanePt -> GrpPerm, PowMap, Map
   CentralCollineationGroup(P, p, l) : Plane, PlanePt, PlaneLn -> GrpPerm, PowMap, Map
   ChevalleyGroup(s, n, K: parameters) : MonStgElt, RngIntElt, FldFin -> GrpMat
   ClassGroup(C) : Crv -> GrpAb, Map, Map
   ClassGroup(K) : FldQuad -> GrpAb, Map
   ClassGroup(Q) : FldRat -> GrpAb, Map
   ClassGroup(F : parameters) : FldFun -> GrpAb, Map, Map
   ClassGroup(F : parameters) : FldFun -> GrpAb, Map, Map
   ClassGroup(Q: parameters) : QuadBin -> GrpAb, Map
   ClassGroup(O: parameters) : RngOrd -> GrpAb, Map
   ClassGroup(O) : RngFunOrd -> GrpAb, Map, Map
   ClassGroup(Z) : RngInt -> GrpAb, Map
   ClassGroupAbelianInvariants(F : parameters) : FldFun -> SeqEnum
   ClassGroupAbelianInvariants(F : parameters) : FldFun -> SeqEnum
   ClassGroupAbelianInvariants(O) : RngFunOrd -> SeqEnum
   ClassGroupCyclicFactorGenerators(O) : RngOrd -> ModHomElt
   ClassGroupExactSequence(F) : FldFun -> Map, Map, Map
   ClassGroupExactSequence(O) : RngFunOrd -> Map, Map, Map
   ClassGroupGenerationBound(F) : FldFun -> RngIntElt
   ClassGroupGenerationBound(q, g) : RngIntElt, RngIntElt -> RngIntElt
   ClassGroupPRank(F) : FldFunG -> RngIntElt
   ClassGroupPRank(F) : FldFunG -> RngIntElt
   ClassGroupStructure(Q: parameters) : QuadBin -> [ RngIntElt ]
   CohomologyGroup(CM, n) : ModCoho, RngIntElt -> ModTupRng
   CoisogenyGroup( G ) : GrpLie -> RootDtm
   CoisogenyGroup( W ) : GrpMat -> GrpAb, Map
   CoisogenyGroup( W ) : GrpPermCox -> GrpAb
   CoisogenyGroup( R ) : RootDtm -> GrpAb, Map
   CollineationGroup(P) : Plane -> GrpPerm, GSet, GSet, PowMap, Map
   CollineationGroupStabilizer(P, k) : Plane, RngIntElt -> GrpPerm, GSet, GSet, PowMap, Map
   CommutatorSubgroup(G) : GrpPC -> GrpPC
   ComplexReflectionGroup( X, n ) : MonStgElt, RngIntElt -> AlgMatElt
   ComponentGroupOrder(M, p) : ModSym, RngIntElt -> RngIntElt
   ConditionalClassGroup(O) : RngOrd -> GrpAb, Map
   ConditionedGroup(G) : GrpPC -> GrpPC
   CongruenceGroup(M1, M2, prec) : ModFrm, ModFrm, RngIntElt -> GrpAb
   CongruenceGroup(M : parameters) : ModSym -> GrpAb
   CorrelationGroup(D) : IncGeom -> GrpPerm
   CosetTableToPermutationGroup(G, T) : GrpFP, Map -> GrpPerm
   CoxeterGroup( M ) : AlgMatElt -> GrpPermCox
   CoxeterGroup( GrpFPCox, M ) : Cat, AlgMatElt -> GrpFPCox
   CoxeterGroup( GrpFPCox, M ) : Cat, AlgMatElt -> GrpFPCox
   CoxeterGroup( GrpPermCox, M ) : Cat, AlgMatElt -> GrpPermCox
   CoxeterGroup( M ) : Cat, AlgMatElt -> GrpPermCox
   CoxeterGroup(GrpFP, W) : Cat, GrpFPCox -> GrpFP, Map
   CoxeterGroup( GrpPermCox, W ) : Cat, GrpFPCox -> GrpPermCox
   CoxeterGroup( W ) : Cat, GrpFPCox -> GrpPermCox
   CoxeterGroup( GrpPermCox, W ) : Cat, GrpFPCox -> GrpPermCox, Map
   CoxeterGroup( GrpFPCox, W ) : Cat, GrpMat -> GrpFPCox
   CoxeterGroup( GrpFPCox, W ) : Cat, GrpMat -> GrpPermCox
   CoxeterGroup( GrpPermCox, W ) : Cat, GrpMat -> GrpPermCox
   CoxeterGroup( GrpPermCox, W ) : Cat, GrpMat -> GrpPermCox, Map
   CoxeterGroup( GrpFPCox, W ) : Cat, GrpPermCox -> GrpFPCox
   CoxeterGroup( GrpFPCox, W ) : Cat, GrpPermCox -> GrpFPCox, Map
   CoxeterGroup(GrpFP, t) : Cat, MonStgElt -> GrpFP
   CoxeterGroup( GrpFPCox, N ) : Cat, MonStgElt -> GrpFPCox
   CoxeterGroup( GrpFPCox, R ) : Cat, RootDtm -> GrpFPCox
   CoxeterGroup( GrpFPCox, R ) : Cat, RootSys -> GrpFPCox
   CoxeterGroup( GrpFPCox, R ) : Cat, RootSys -> RngIntElt
   CoxeterGroup( N ) : MonStgElt -> GrpPermCox
   CoxeterGroup( A, B ) : Mtrx, Mtrx -> GrpPermCox
   CoxeterGroup( R ) : RootDtm -> GrpPermCox
   CoxeterGroup( R ) : RootSys -> GrpPermCox
   CoxeterGroup( R ) : RootSys -> RngIntElt
   CoxeterGroupOrder( C ) : AlgMatElt -> RngIntElt
   CoxeterGroupOrder( M ) : AlgMatElt -> RngIntElt
   CoxeterGroupOrder( D ) : GrphDir -> RngIntElt
   CoxeterGroupOrder( G ) : GrphUnd -> RngIntElt
   CoxeterGroupOrder( N ) : MonStgElt -> .
   CoxeterGroupOrder( R ) : RootDtm -> RngIntElt
   CoxeterGroupOrder(R) : RootSys -> RngIntElt
   CyclicGroup(C, n) : Cat, RngIntElt -> GrpFin
   CyclicGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP
   CyclicGroup(GrpGPC, n) : Cat, RngIntElt -> GrpGPC
   CyclicGroup(GrpPC, n) : Cat, RngIntElt -> GrpPC
   CyclicGroup(GrpPerm, n) : Cat, RngIntElt -> GrpPerm
   DecompositionGroup(p, A) : PlcNumElt, FldAb -> GrpAb
   DecompositionGroup(p) : RngOrdIdl -> GrpPerm
   DecompositionGroup(p, A) : RngOrdIdl, FldAb -> GrpAb
   DerivedSubgroup(G) : GrpAb -> GrpAb
   DerivedSubgroup(G) : GrpFin -> GrpFin
   DerivedSubgroup(G) : GrpGPC -> GrpGPC
   DerivedSubgroup(G) : GrpGPC -> GrpGPC
   DerivedSubgroup(G) : GrpMat -> GrpMat
   DerivedSubgroup(G) : GrpPerm -> GrpPerm
   DihedralGroup(C, n) : Cat, RngIntElt -> GrpFin
   DihedralGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP
   DihedralGroup(GrpGPC, n) : Cat, RngIntElt -> GrpGPC
   DihedralGroup(GrpPC, n) : Cat, RngIntElt -> GrpPC
   DihedralGroup(GrpPerm, n) : Cat, RngIntElt -> GrpPerm
   DirichletGroup(N) : RngIntElt -> GrpDrch
   DirichletGroup(N,R) : RngIntElt, Rng -> GrpDrch
   DirichletGroup(N,R,z,r) : RngIntElt, Rng, RngElt, RngIntElt -> GrpDrch
   DivisorGroup(C) : Crv -> DivCrv
   DivisorGroup(D) : DivCrvElt -> DivCrv
   DivisorGroup(F) : FldFun -> DivFun
   DivisorGroup(F) : FldFun -> DivFun
   DivisorGroup(F) : FldFun -> DivFun
   EdgeGroup(G) : Grph -> GrpPerm, GSet
   ElementaryAbelianGroup(GrpGPC, p, n) : Cat, RngIntElt, RngIntElt -> GrpGPC
   ExistsGroupData(D, o1, o2): DB, RngIntElt, RngIntElt -> BoolElt
   ExtensionsOfElementaryAbelianGroup(p, d, G) : RngIntElt, RngIntElt, GrpPerm -> SeqEnum
   ExtensionsOfSolubleGroup(H, G) : GrpPerm, GrpPerm -> SeqEnum
   ExtraSpecialGroup(G) : GrpMat -> GrpMat
   ExtraSpecialGroup(C, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpFin
   ExtraSpecialGroup(GrpFP, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpFP
   ExtraSpecialGroup(GrpGPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpGPC
   ExtraSpecialGroup(GrpPC, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPC
   ExtraSpecialGroup(GrpPerm, p, n : parameters) : Cat, RngIntElt, RngIntElt -> GrpPerm
   ExtractGroup(P) : Process(Lix) -> GrpFP
   ExtractGroup(P) : Process(pQuot) -> GrpPC
   FittingSubgroup(G) : GrpGPC -> GrpGPC
   FittingSubgroup(G) : GrpPC -> GrpPC
   FixedGroup(K, L) : FldAlg, FldAlg -> GrpPerm
   FreeAbelianGroup(GrpGPC, n) : Cat, RngIntElt -> GrpGPC
   FreeAbelianGroup(n) : RngIntElt -> GrpAb
   FreeGroup(n) : RngIntElt -> GrpFP
   FreeNilpotentGroup(r, e) : RngIntElt, RngIntElt -> GrpGPC
   FundamentalGroup( C ) : AlgMatElt -> GrpAb
   FundamentalGroup( D ) : AlgMatElt -> GrpAb
   FundamentalGroup( N ) : AlgMatElt -> GrpAb
   FundamentalGroup( G ) : GrpLie -> RootDtm
   FundamentalGroup( W ) : GrpMat -> GrpAb
   FundamentalGroup( W ) : GrpPermCox -> GrpAb
   FundamentalGroup( R ) : RootDtm -> GrpAb
   GaloisGroup(L) : FldAlg -> GrpPerm, [ FldPrElt ], Any
   GaloisGroup(f) : RngUPolElt -> GrpPerm, [ FldPrElt ], Any
   GeneralLinearGroup(arguments)
   GeneralLinearGroup(n, R) : RngIntElt, Rng -> GrpMat
   GeneralOrthogonalGroup(arguments)
   GeneralOrthogonalGroupMinus(arguments)
   GeneralOrthogonalGroupPlus(arguments)
   GeneralUnitaryGroup(arguments)
   GenericAbelianGroup(U: parameters) : . -> GrpAbGen
   GenericGroup(X) : [] -> GrpFp, Map
   GeometricAutomorphismGroup(C) : CrvHyp -> Grp, Tup
   GlobalUnitGroup(C) : Crv -> GrpAb, Map
   GlobalUnitGroup(F) : FldFun -> GrpAb, Map
   GlobalUnitGroup(F) : FldFun -> GrpAb, Map
   Group(R) : AlgChtr -> Grp
   Group(S) : AlgGrpSub -> Grp
   Group(C) : CosetGeom -> GrpPerm
   Group(D, i): DB, RngIntElt -> GrpFP, SeqEnum
   Group(D, i): DB, RngIntElt -> GrpMat
   Group(D, i): DB, RngIntElt -> GrpMat
   Group(D, d, i): DB, RngIntElt, RngIntElt -> GrpMat
   Group(D, d, i): DB, RngIntElt, RngIntElt -> GrpMat
   Group(V) : GrpFPCos -> GrpFP
   Group(P) : GrpFPCosetEnumProc -> GrpFP
   Group(Y) : GSet -> GrpPerm
   Group(L) : Lat -> GrpMat
   Group< X | R > : List(Identifiers), List(GrpFPRel) -> GrpFP, Hom(Grp)
   Group< X | R > : List(Var), List(GrpFPRel) -> GrpFP, Hom(Grp)
   Group(CM) : ModCoho -> Grp
   Group(M) : ModGrp -> Grp
   Group(P) : Process(Tietze) -> GrpFP, Map
   Group(R) : RngInvar -> Grp
   Group(e) : SubGrpLatElt -> GrpFin
   Group(FS) : SymFry -> GrpPSL2
   GroupAlgebra(S) : AlgGrpSub -> AlgGrp
   GroupAlgebra( R, G: parameters ) : Rng, Grp -> AlgGrp
   GroupAlgebra(R, G) : Rng, Grp -> AlgGrp
   GroupData(D, i): DB, RngIntElt -> Rec
   GroupOfLieType( C, k ) : AlgMatElt -> GrpLie
   GroupOfLieType( W, k ) : GrpFPCox, Rng -> AlgMatElt
   GroupOfLieType( W, k ) : GrpMat, Rng -> GrpLie
   GroupOfLieType( W, R ) : GrpPermCox, Rng -> GrpLie
   GroupOfLieType( N, k ) : MonStgElt, Rng -> AlgMatElt
   GroupOfLieType( C, k ) : Mtrx, Rng -> AlgMatElt
   GroupOfLieType( R, k ) : RootDtm, Rng -> AlgMatElt
   GroupOfLieType( R, k ) : RootDtm, Rng -> GrpLie
   GroupOfLieTypeFactoredOrder( C, q ) : AlgMatElt, RngElt -> RngIntElt
   GroupOfLieTypeOrder( R, q ) : AlgMatElt, RngElt -> RngIntElt
   HadamardAutomorphismGroup(H) : AlgMatElt -> AlgMatElt
   IdentifyAlmostSimpleGroup(G) : GrpPerm -> Map, GrpPerm
   IdentifyGroup(G): Grp -> Tup
   IdentifyGroup(G): GrpFP -> Tup
   ImprimitiveReflectionGroup(m, p, n) : RngIntElt, RngIntElt, RngIntElt -> GrpMat, Fld
   InertiaGroup(p) : RngOrdIdl -> GrpPerm
   IntegralGroup(G) : GrpMat -> GrpMat, AlgMatElt
   IntersectionGroup(M1, M2) : ModSym, ModSym -> GrpAb
   IntersectionGroup(S) : SeqEnum -> GrpAb
   IsInSmallGroupDatabase(o) : RngIntElt -> BoolElt
   IsLinearGroup(G) : GrpMat -> BoolElt
   IsOrthogonalGroup(G) : GrpMat ->BoolElt
   IsRealReflectionGroup( G ) : GrpMat -> BoolElt, [], []
   IsReflectionGroup( G ) : GrpMat -> BoolElt, [RngIntElt], Mtrx, Mtrx
   IsReflectionGroup( G ) : GrpMat -> BoolElt, [RngIntElt], [ModTupRngElt], [ModTupRngElt]
   IsSoluble(D, o, n) : DB, RngIntElt, RngIntElt -> Grp
   IsSymplecticGroup(G) : GrpMat -> BoolElt
   IsUnitaryGroup(G) : GrpMat -> BoolElt
   IsogenyGroup( G ) : GrpLie -> RootDtm
   IsogenyGroup( W ) : GrpMat -> GrpAb, Map
   IsogenyGroup( W ) : GrpPermCox -> GrpAb
   IsogenyGroup( R ) : RootDtm -> GrpAb, Map
   IsolGroup(n, p, i) : RngIntElt, RngIntElt, RngIntElt -> GrpMat
   IsolGroupDatabase() : -> DB
   IsolGroupOfDegreeFieldSatisfying(d, p, f) : RngIntElt, RngIntElt, Predicate -> GrpMat
   IsolGroupOfDegreeSatisfying(d, f) : RngIntElt, Predicate -> GrpMat
   IsolGroupSatisfying(f) : Predicate -> GrpMat
   LineGroup(P) : Plane -> GrpPerm, PowMap, Map
   LocalCoxeterGroup( H ) : GrpPermCox -> GrpPermCox, Map
   MatrixGroup(M) : ModGrp -> GrpMat
   MatrixGroup< n, R | L > : RngIntElt, Rng, List -> GrpMat
   MultiplicativeGroup(F) : FldFin -> GrpAb, Map
   MultiplicativeGroup(Z) : RngInt -> GrpAb, Map
   MultiplicativeGroup(R) : RngIntRes -> GrpAb, Map
   NaturalGroup(L) : Lat -> GrpMat
   NormGroup(A) : FldAb -> Map, RngOrdIdl, [RngIntElt]
   NormGroup(F) : FldFun -> DivFunElt, GrpAb
   OrderAutomorphismGroupAbelianPGroup (A) : SeqEnum -> RngIntElt
   PGO(arguments)
   PGOMinus(arguments)
   PGOPlus(arguments)
   PSO(arguments)
   PSOMinus(arguments)
   PSOPlus(arguments)
   PerfectGroupDatabase() : -> DB
   PermutationGroup(C) : Code -> GrpPerm, PowMap, Map
   PermutationGroup(A) : GrpAb -> GrpPerm, Hom(Grp)
   PermutationGroup(D, i: parameters): DB, RngIntElt -> GrpFP
   PermutationGroup< n | L > : RngIntElt, List -> GrpPerm
   PermutationGroup< X | L > : Set, List -> GrpPerm
   PermutationGroup< X | L > : Set, List -> GrpPerm, Hom
   PicardGroup(O) : RngQuad -> GrpAb, Map
   Places(K) : FldNum -> PlcNum
   PointGroup(D) : Inc -> GrpPerm, GSet
   PolycyclicGroup< x_1, ..., x_n | R : parameters > : List(Identifiers), List(GrpFPRel) -> GrpGPC, Map
   PolycyclicGroup< x_1, ..., x_n | R : parameters > : List(Identifiers), List(GrpFPRel) -> GrpPC, Map
   PowerGroup(G) : GrpPC -> PowerGroup
   PrimitiveGroup(d) : RngIntElt -> GrpPerm, MonStgElt, MonStgElt
   PrimitiveGroup(d, f) : RngIntElt, Program -> GrpPerm, MonStgElt
   PrimitiveGroup(d, n) : RngIntElt, RngIntElt -> GrpPerm, MonStgElt, MonStgElt
   PrimitiveGroup(S, f) : [RngIntElt], Program -> GrpPerm, MonStgElt
   PrimitiveGroupDatabaseLimit() : -> RngIntElt
   PrimitiveGroupDescription(d, n) : RngIntElt, RngIntElt -> MonStgElt
   PrimitiveGroupIdentification(G) : GrpPerm -> RngIntElt, RngIntElt
   PrimitiveGroupProcess(d: parameters) : RngIntElt -> Process
   PrimitiveGroupProcess(d, f: parameters) : RngIntElt, Program -> Process
   ProjectiveGammaLinearGroup(arguments)
   ProjectiveGammaUnitaryGroup(arguments)
   ProjectiveGeneralLinearGroup(arguments)
   ProjectiveGeneralUnitaryGroup(arguments)
   ProjectiveSigmaLinearGroup(arguments)
   ProjectiveSigmaSymplecticGroup(arguments)
   ProjectiveSigmaUnitaryGroup(arguments)
   ProjectiveSpecialLinearGroup(arguments)
   ProjectiveSpecialUnitaryGroup(arguments)
   ProjectiveSuzukiGroup(arguments)
   ProjectiveSymplecticGroup(arguments)
   PureBraidGroup( W ) : GrpFPCox -> GrpFP, Map
   QuaternionicMatrixGroupDatabase() : -> DB
   RamificationGroup(p) : RngOrdIdl -> GrpPerm
   RamificationGroup(p, i) : RngOrdIdl, RngIntElt -> GrpPerm
   RationalMatrixGroupDatabase() : -> DB
   RayClassGroup(D) : DivFunElt -> GrpAb, Map
   RayClassGroup(I) : RngOrdIdl -> GrpAb, Map
   RayClassGroupDiscLog(y, D) : DivFunElt, DivFunElt -> GrpAbElt
   ReflectionGroup( M ) : AlgMatElt -> GrpMat
   ReflectionGroup( M ) : AlgMatElt -> GrpMat
   ReflectionGroup( M ) : AlgMatElt -> GrpMat
   ReflectionGroup( M ) : AlgMatElt -> GrpMat
   ReflectionGroup(M) : AlgMatElt -> GrpMat, Fld
   ReflectionGroup( W ) : Cat, GrpFPCox -> GrpMat, Map
   ReflectionGroup( W ) : Cat, GrpPermCox -> GrpMat, Map
   ReflectionGroup( N ) : Cat, MonStgElt -> GrpMat
   ReflectionGroup( R ) : Cat, RootSys -> GrpMat
   ReflectionGroup( W ) : GrpFPCox -> GrpMat
   ReflectionGroup( W ) : GrpPermCox -> GrpMat
   ReflectionGroup( W ) : GrpPermCox -> GrpMat, Map
   ReflectionGroup( R ) : RootDtm -> GrpMat
   ReflectionGroup( R ) : RootSys -> GrpMat
   ReflectionGroup( A, B ) : [RngIntElt], Mtrx, Mtrx -> GrpMat
   ReflectionGroup( A, B, m ) : [RngIntElt], Mtrx, Mtrx -> GrpMat
   SClassGroup(S) : SetEnum[PlcFunElt] -> GrpAb, Map, Map
   SClassGroupAbelianInvariants(S) : SetEnum[PlcFunElt] -> SeqEnum
   SClassGroupExactSequence(S) : SetEnum[PlcFunElt] -> Map, Map, Map
   SUnitGroup(I) : RngOrdFracIdl -> GrpAb, Map
   SUnitGroup(S) : SetEnum[PlcFunElt] -> GrpAb, Map
   SelmerGroup(phi) : Map -> GrpAb, Map, SetEnum
   SemiLinearGroup(G, S) : GrpMat, FldFin -> GrpMat
   SmallGroup(o: parameters) : RngIntElt -> Grp
   SmallGroup(o, f: parameters) : RngIntElt, Program -> Grp
   SmallGroup(o, f: parameters) : RngIntElt, Program -> Grp
   SmallGroup(o, f: parameters) : RngIntElt, Program -> Grp
   SmallGroup(o, n) : RngIntElt, RngIntElt -> Grp
   SmallGroupDatabase() : -> DB
   SmallGroupDatabaseLimit() : -> RngIntElt
   SmallGroupDecoding(c, o) : RngIntElt, RngIntElt -> GrpPC
   SmallGroupEncoding(G) : GrpPC -> RngIntElt, RngIntElt
   SmallGroupIsInsoluble(o, n) : RngIntElt, RngIntElt -> Grp
   SmallGroupProcess(o: parameters) : RngIntElt -> Process
   SmallGroupProcess(o, f: parameters) : RngIntElt, Program -> Process
   SmallGroupProcess(S: parameters) : [RngIntElt] -> Process
   SmallGroupProcess(S, f: parameters) : [RngIntElt], Program -> Process
   SpecialLinearGroup(arguments)
   SpecialOrthogonalGroup(arguments)
   SpecialOrthogonalGroupMinus(arguments)
   SpecialOrthogonalGroupPlus(arguments)
   SpecialUnitaryGroup(arguments)
   StandardActionGroup( W ) : GrpPermCox -> GrpPerm, Map
   StandardGroup(G) : GrpPerm -> GrpPerm, Map
   SuzukiGroup(arguments)
   Sym(GrpPerm, n) : Cat, RngIntElt -> GrpPerm
   Sym(n) : RngIntElt -> GrpPerm
   Sym(X) : Set -> GrpPerm
   SymmetricGroup(C, n) : Cat, RngIntElt -> GrpFin
   SymmetricGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP
   SymplecticGroup(arguments)
   TorsionUnitGroup(O) : RngOrd -> GrpAb, Map
   TransitiveGroup(d) : RngIntElt -> GrpPerm, MonStgElt
   TransitiveGroup(d, f) : RngIntElt, Program -> GrpPerm, MonStgElt
   TransitiveGroup(d, n) : RngIntElt, RngIntElt -> GrpPerm, MonStgElt
   TransitiveGroup(S, f) : [RngIntElt], Program -> GrpPerm, MonStgElt
   TransitiveGroupDatabaseLimit() : -> RngIntElt
   TransitiveGroupDescription(d, n) : RngIntElt, RngIntElt -> MonStgElt
   TransitiveGroupIdentification(G) : GrpPerm -> RngIntElt, RngIntElt
   TransitiveGroupProcess(d) : RngIntElt -> Process
   TransitiveGroupProcess(d, f) : RngIntElt, Program -> Process
   TransitiveGroupProcess(S) : [RngIntElt] -> Process
   TransitiveGroupProcess(S, f) : [RngIntElt], Program -> Process
   TwoSelmerGroupData(J: parameters) : JacHyp -> RngIntElt, RngIntElt, Tup, List
   TwoTransitiveGroupIdentification(G) : GrpPerm -> Tup
   UnitGroup(S) : AlgQuatOrd -> GrpPerm, Map
   UnitGroup(Q) : FldRat -> GrpAb, Map
   UnitGroup(O) : RngFunOrd -> GrpAb, Map
   UnitGroup(O) : RngOrd -> GrpAb, Map
   UnitGroup(OQ) : RngOrdRes -> GrpAb, Map
   WeylGroup(L) : AlgLie -> GrpPermCox
   WeylGroup(GrpFPCox, L) : Cat, AlgLie -> GrpPermCox
   WeylGroup(GrpMat, L) : Cat, AlgLie -> GrpPermCox
   WeylGroup( G ) : GrpLie -> GrpCox
   WordGroup(G) : GrpMat -> GrpSLP, Map
   WordGroup(G) : GrpPerm -> GrpBB, Map
   pCoveringGroup(~P) : Process(pQuot) ->
   pSelmerGroup(p, S) : prime p, { RngOrdIdl } -> G, m
   pSelmerGroup(A, p, S) : RngUPolRes, RngIntElt, SetEnum[RngOrdIdl] -> GrpAb, Map


[____] [____] [_____] [____] [__] [Index] [Root]