[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: greatest .. Group
LCM(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
LeastCommonMultiple(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
Greatest Common Divisors (QUADRATIC FIELDS)
LCM(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
LeastCommonMultiple(a, b) : RngQuadElt, RngQuadElt -> RngQuadElt
Greatest Common Divisors (QUADRATIC FIELDS)
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
GreatestCommonLeftDivisor(A, B) : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt
GreatestCommonRightDivisor(A, B) : RngDiffOpElt, RngDiffOpElt -> RngDiffOpElt
Graded Reverse Lexicographical: grev-lex (IDEAL THEORY AND GRÖBNER BASES)
Graded Reverse Lexicographical with Weights: grev-lexw (IDEAL THEORY AND GRÖBNER BASES)
The Gray Map (LINEAR CODES OVER FINITE RINGS)
The Gray Map (LINEAR CODES OVER FINITE RINGS)
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(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
GriesmerLengthBound(K, k, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
GriesmerMinimumWeightBound(K, n, k) : FldFin, RngIntElt, RngIntElt->RngIntElt
Groebner(M) : ModMPol ->
Groebner(I: parameters) : AlgFr ->
Groebner(I: parameters) : RngMPol ->
GroebnerBasis(I: parameters) : AlgFr -> AlgFrElt
GroebnerBasis(I: parameters) : RngMPol -> RngMPolElt
GroebnerBasis(S, d: parameters) : [ AlgFr ], RngInt -> AlgFrElt
GroebnerBasis(S: parameters) : [ AlgFrElt ] -> [ AlgFrElt ]
GroebnerBasis(S, d: parameters) : [ RngMPol ], RngInt -> RngMPolElt
GroebnerBasis(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]
GroebnerBasis(S, d : parameters) : [ RngMPolElt ], RngInt -> 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) : AlgFr ->
MarkGroebner(I) : RngMPol ->
ReduceGroebnerBasis(S) : [ RngMPolElt ] -> [ RngMPolElt ]
Gröbner Bases (FINITELY PRESENTED ALGEBRAS)
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(I: parameters) : AlgFr -> AlgFrElt
GroebnerBasis(I: parameters) : RngMPol -> RngMPolElt
GroebnerBasis(S, d: parameters) : [ AlgFr ], RngInt -> AlgFrElt
GroebnerBasis(S: parameters) : [ AlgFrElt ] -> [ AlgFrElt ]
GroebnerBasis(S, d: parameters) : [ RngMPol ], RngInt -> RngMPolElt
GroebnerBasis(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]
GroebnerBasis(S, d : parameters) : [ RngMPolElt ], RngInt -> RngMPolElt
GroebnerBasis(X) : Sch -> SeqEnum
GroebnerBasisUnreduced(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]
Graph_Grotzch (Example H117E11)
BaseField(F) : FldAlg -> Fld
CoefficientField(F) : FldAlg -> Fld
GroundField(F) : FldAlg -> Fld
GroundField(F) : FldFin -> FldFin
BaseField(F) : FldAlg -> Fld
CoefficientField(F) : FldAlg -> Fld
GroundField(F) : FldAlg -> Fld
GroundField(F) : FldFin -> FldFin
Symmetric Group Character (SYMMETRIC FUNCTIONS)
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(G) : ModAbVarSubGrp -> GrpAb, Map, Map
AbelianGroup(A: parameters) : GrpAbGen -> GrpAb, Map
AbelianGroup(H: parameters) : SetPtEll -> GrpAb, Map
AbelianGroup(H) : SetPtEll -> GrpAb, Map
AbsoluteGaloisGroup(A) : FldAb -> GrpPerm, SeqEnum, GaloisData
ActingGroup(A) : GGrp -> Grp
ActingGroup(G) : GrpLie -> Grp, 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(GrpMat, n, q) : Cat, RngIntElt, RngIntElt -> GrpMat
AffineSigmaLinearGroup(arguments)
AffineSpecialLinearGroup(arguments)
AffineSpecialLinearGroup(GrpMat, n, q) : Cat, RngIntElt, RngIntElt -> GrpMat
AlmostSimpleGroupDatabase() : -> DB
AlternatingGroup(C, n) : Cat, RngIntElt -> GrpFin
AlternatingGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP
AlternatingGroup(GrpPerm, n) : Cat, RngIntElt -> GrpPerm
ApproximateByTorsionGroup(G : parameters) : ModAbVarSubGrp -> ModAbVarSubGrp
AutomaticGroup(F: parameters) : GrpFP -> GrpAtc
AutomaticGroup(F: parameters) : GrpFP -> GrpAtc
AutomorphismGroup(C) : CodeAdd -> GrpPerm
AutomorphismGroup(Q) : CodeQuantum -> GrpPerm
AutomorphismGroup(C) : Crv -> GrpAutCrv
AutomorphismGroup(C,auts) : Crv, SeqEnum -> GrpAutCrv
AutomorphismGroup(C) : CrvHyp -> GrpPerm, Map, Map
AutomorphismGroup(A) : FldAb -> GrpFP, [Map], Map
AutomorphismGroup(F) : FldAlg -> GrpPerm, PowMap, Map
AutomorphismGroup(K, F) : FldAlg, FldAlg -> GrpPerm, PowMap, Map
AutomorphismGroup(K, k) : FldFin, FldFin -> GrpPerm, [Map], Map
AutomorphismGroup(K, k) : FldFun, FldFun -> GrpFP, Map
AutomorphismGroup(K) : FldFunG -> GrpFP, Map
AutomorphismGroup(K,f) : FldFunG, Map -> Grp, Map, SeqEnum
AutomorphismGroup(Q) : FldRat -> GrpPerm, PowMapAut, Map
AutomorphismGroup(G): Grp -> GrpAuto
AutomorphismGroup(G, Q, I): Grp, SeqEnum[GrpElt], SeqEnum[SeqEnum[GrpElt]] -> GrpAuto
AutomorphismGroup(G) : GrpLie -> GrpLieAuto
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 -> GrpMat
AutomorphismGroup(C: parameters) : Code -> GrpPerm, PowMap, Map
AutomorphismGroup(G : parameters) : Grph -> GrpPerm, GSet, GSet, PowMap, Map, Grph
AutomorphismGroup(G: parameters) : GrpMat -> GrpAuto
AutomorphismGroup(G: parameters) : GrpPerm -> GrpAuto
AutomorphismGroup(P) : Prj -> GrpMat,Map
AutomorphismGroup(L) : RngPad -> GrpPerm, Map
AutomorphismGroup(K, k) : RngPad, RngPad -> 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[FldFin] -> 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(C) : Crv[FldFin] -> [RngIntElt]
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(C) : Crv[FldFin] -> RngIntElt
ClassGroupPRank(F) : FldFunG -> RngIntElt
ClassGroupPRank(F) : FldFunG -> RngIntElt
ClassGroupStructure(Q: parameters) : QuadBin -> [ RngIntElt ]
CohomologyGroup(CM, n) : ModCoho, RngIntElt -> ModTupRng
CoisogenyGroup(G) : GrpLie -> GrpAb, Map
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
CompleteClassGroup(O) : RngOrd ->
ComplexReflectionGroup(X, n) : MonStgElt, RngIntElt -> AlgMatElt
ComponentGroupOfIntersection(A, B) : ModAbVar, ModAbVar -> ModAbVarSubGrp
ComponentGroupOfKernel(phi) : MapModAbVar -> ModAbVarSubGrp
ComponentGroupOrder(A, p) : ModAbVar, RngIntElt -> RngIntElt
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(GrpFP, W) : Cat, GrpPermCox -> GrpFPCox
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 -> .
CoxeterGroupOrder(M) : AlgMatElt -> .
CoxeterGroupOrder(D) : GrphDir -> .
CoxeterGroupOrder(G) : GrphUnd -> .
CoxeterGroupOrder(N) : MonStgElt -> .
CoxeterGroupOrder(R) : RootStr -> 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
CyclotomicAutomorphismGroup(K) : FldCyc -> GrpAb, Map
DecompositionGroup(p, A) : PlcNumElt, FldAb -> GrpAb
DecompositionGroup(p, A) : RngIntElt, FldAb -> GrpAb
DecompositionGroup(p) : RngOrdIdl -> GrpPerm
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
EvaluateClassGroup(O) : RngOrd -> BoolElt
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) : GrphDir -> GrpAb
FundamentalGroup(G) : GrpLie -> GrpAb, Map
FundamentalGroup(W) : GrpMat -> GrpAb
FundamentalGroup(W) : GrpPermCox -> GrpAb
FundamentalGroup(N) : MonStgElt -> GrpAb
FundamentalGroup(R) : RootDtm -> GrpAb, Map
GaloisGroup(L) : FldAlg[FldAlg] -> GrpPerm, [ FldPrElt ], Any
GaloisGroup(K) : FldAlg[FldRat] -> GrpPerm, SeqEnum, GaloisData
GaloisGroup(K, k) : FldFin, FldFin -> GrpPerm, [FldFinElt]
GaloisGroup(f) : RngUPolElt -> GrpPerm, [ FldPrElt ], Any
GaloisGroup(f) : RngUPolElt[RngIntElt] -> GrpPerm, SeqEnum, GaloisData
GammaGroup(k, G) : Fld, GrpLie -> GGrp
GammaGroup(k, A) : Fld, GrpLieAuto -> GGrp
GammaGroup(Gamma, A, action) : Grp, Grp, Map[Grp, GrpAuto] -> GGrp
GammaGroup(alpha) : OneCoC -> GGrp
GeneralLinearGroup(n, R) : RngIntElt, Rng -> GrpMat
GeneralLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
GeneralOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
GeneralOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpMat
GeneralOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpMat
GeneralUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
GenericAbelianGroup(U: parameters) : . -> GrpAbGen
GenericGroup(X) : [] -> GrpFp, Map
GeometricAutomorphismGroup(C) : CrvHyp -> Grp, Tup
GlobalUnitGroup(C) : Crv[FldFin] -> GrpAb, Map
GlobalUnitGroup(F) : FldFun -> GrpAb, Map
GlobalUnitGroup(F) : FldFun -> GrpAb, Map
Group(A) :AlgBasGrpP -> Grp
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(A) : GGrp -> Grp
Group(A) : GrpAuto -> Grp
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) : GrpMat, Rng -> GrpLie
GroupOfLieType(W, k) : GrpPermCox, Rng -> GrpLie
GroupOfLieType(W, R) : GrpPermCox, Rng -> GrpLie
GroupOfLieType(W, q) : GrpPermCox, RngIntElt -> GrpLie
GroupOfLieType(N, k) : MonStgElt, Rng -> GrpLie
GroupOfLieType(N, q) : MonStgElt, RngIntElt -> GrpLie
GroupOfLieType(C, k) : Mtrx, Rng -> GrpLie
GroupOfLieType(C, q) : Mtrx, RngIntElt -> GrpLie
GroupOfLieType(R, k) : RootDtm, Rng -> GrpLie
GroupOfLieType(R, k) : RootDtm, Rng -> GrpLie
GroupOfLieType(R, q) : RootDtm, RngIntElt -> GrpLie
GroupOfLieTypeFactoredOrder(R, q) : RootDtm, RngElt -> RngIntElt
GroupOfLieTypeHomomorphism(phi, k) : Map, Rng -> .
GroupOfLieTypeHomomorphism(phi, k) : Map, Rng -> GrpLie
GroupOfLieTypeOrder(R, q) : RootDtm, RngElt -> RngIntElt
HadamardAutomorphismGroup(H : parameters) : AlgMatElt -> AlgMatElt
IdentifyAlmostSimpleGroup(G) : GrpPerm -> Map, GrpPerm
IdentifyGroup(G): Grp -> Tup
IdentifyGroup(G): GrpFP -> Tup
ImprimitiveReflectionGroup(m, p, n) : RngIntElt, RngIntElt, RngIntElt -> GrpMat, Fld
ImproveAutomorphismGroup(F, E) : FldAb, SeqEnum -> GrpFP, SeqEnum
InducedGammaGroup(A, B) : GGrp, Grp -> GGrp
InertiaGroup(p) : RngOrdIdl -> GrpPerm
InnerAutomorphismGroup(L) : AlgLie -> GrpLie, Map
IntegralGroup(G) : GrpMat -> GrpMat, AlgMatElt
IntersectionGroup(M1, M2) : ModSym, ModSym -> GrpAb
IntersectionGroup(S) : SeqEnum -> GrpAb
IrreducibleCoxeterGroup(GrpFPCox, X, n) : Cat, MonStgElt, RngIntElt -> GrpFPCox
IrreducibleCoxeterGroup(X, n) : MonStgElt, RngIntElt -> GrpPermCox
IrreducibleMatrixGroup(k, p, n) : RngIntElt, RngIntElt, RngIntElt -> GrpMat
IrreducibleReflectionGroup(X, n) : MonStgElt, RngIntElt -> GrpMat
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
IsSuzukiGroup(G) : GrpMat -> BoolElt, RngIntElt
IsSymplecticGroup(G) : GrpMat -> BoolElt
IsUnitaryGroup(G) : GrpMat -> BoolElt
IsogenyGroup(G) : GrpLie -> GrpAb, Map
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(K) : DBAtlasKeyMatRep -> GrpMat
MatrixGroup(M) : ModGrp -> GrpMat
MatrixGroup< n, R | L > : RngIntElt, Rng, List -> GrpMat
MordellWeilGroup(E) : CrvEll[FldFunRat] -> GrpAb, Map
MultiplicativeGroup(S) : AlgQuatOrd -> GrpPerm, Map
MultiplicativeGroup(F) : FldFin -> GrpAb, Map
MultiplicativeGroup(Z) : RngInt -> GrpAb, Map
MultiplicativeGroup(R) : RngIntRes -> GrpAb, Map
NaturalBlackBoxGroup(H) : Grp -> GrpBB
NaturalGroup(L) : Lat -> GrpMat
NormGroup(A) : FldAb -> Map, RngOrdIdl, [RngIntElt]
NormGroup(F) : FldFun -> DivFunElt, GrpAb
NormGroup(R, m) : FldPad, Map -> GrpAb, Map
NormGroupDiscriminant(m, G) : Map, GrpAb -> RngIntElt
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(C) : CodeAdd -> GrpPerm
PermutationGroup(Q) : CodeQuantum -> GrpPerm
PermutationGroup(K) : DBAtlasKeyPermRep -> GrpPerm
PermutationGroup(A) : GrpAb -> GrpPerm, Hom(Grp)
PermutationGroup(A) : GrpAutCrv -> GrpPerm
PermutationGroup(A) : GrpAuto -> GrpPerm
PermutationGroup(D, i: parameters): DB, RngIntElt -> GrpPerm
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
PresentationOfSimpleGroup("Sz", q) : RngIntElt -> GrpFP, HomGrp
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
PrincipalUnitGroup(R) : RngPad -> GrpAb, Map
PrincipalUnitGroupGenerators(R) : RngPad -> SeqEnum
ProbableAutomorphismGroup(A) : FldAb -> GrpFP, SeqEnum
ProjectiveGammaLinearGroup(arguments)
ProjectiveGammaUnitaryGroup(arguments)
ProjectiveGeneralLinearGroup(arguments)
ProjectiveGeneralUnitaryGroup(arguments)
ProjectiveSigmaLinearGroup(arguments)
ProjectiveSigmaSymplecticGroup(arguments)
ProjectiveSigmaUnitaryGroup(arguments)
ProjectiveSpecialLinearGroup(arguments)
ProjectiveSpecialUnitaryGroup(arguments)
ProjectiveSuzukiGroup(arguments)
ProjectiveSymplecticGroup(arguments)
PseudoMordellWeilGroup(E) : CrvEll -> BoolElt, GrpAb, Map
PureBraidGroup(W) : GrpFPCox -> GrpFP, Map
QuantumBinaryErrorGroup(n) : RngIntElt -> GrpPC
QuantumErrorGroup(Q) : CodeQuantum -> GrpPC
QuantumErrorGroup(p, n) : RngIntElt, RngIntElt -> GrpPC
QuaternionicMatrixGroupDatabase() : -> DB
RamificationGroup(p) : RngOrdIdl -> GrpPerm
RamificationGroup(p, i) : RngOrdIdl, RngIntElt -> GrpPerm
RankBound(J) : JacHyp -> RngIntElt
RationalMatrixGroupDatabase() : -> DB
RayClassGroup(D) : DivFunElt -> GrpAb, Map
RayClassGroup(D) : DivNumElt -> GrpAb, Map
RayClassGroup(I) : RngOrdIdl -> GrpAb, Map
RayClassGroupDiscLog(y, D) : DivFunElt, DivFunElt -> GrpAbElt
ReeGroup(q) : RngIntElt -> GrpMat
ReflectionGroup(M) : AlgMatElt -> GrpMat
ReflectionGroup(M) : AlgMatElt -> GrpMat
ReflectionGroup(M) : AlgMatElt -> GrpMat, Fld
ReflectionGroup(W) : Cat, GrpPermCox -> GrpMat, Map
ReflectionGroup(W) : GrpFPCox -> GrpMat
ReflectionGroup(W) : GrpFPCox -> GrpMat, Map
ReflectionGroup(W) : GrpPermCox -> GrpMat
ReflectionGroup(W) : GrpPermCox -> GrpMat, Map
ReflectionGroup(N) : MonStgElt -> GrpMat
ReflectionGroup(A, B) : Mtrx, Mtrx -> GrpMat
ReflectionGroup(A, B, m) : Mtrx, Mtrx, [RngIntElt] -> GrpMat
ReflectionGroup(R) : RootDtm -> GrpMat
ReflectionGroup(R) : RootSys -> GrpMat
ReflectionGroup(R) : RootSys -> 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, Map, SeqEnum, SetEnum
SemiLinearGroup(G, S) : GrpMat, FldFin -> GrpMat
SetClassGroupBoundMaps(f1, f2) : Map, Map ->
SetClassGroupBounds(n) : RngIntElt ->
SimpleGroupName(G : parameters): GrpMat -> BoolElt, List
SimpleGroupOfLieType(X, n, k) : MonStgElt, RngIntElt, Rng -> GrpLie
SimpleGroupOfLieType(X, n, q) : MonStgElt, RngIntElt, RngIntElt -> GrpLie
SmallGroup(o: parameters) : RngIntElt -> 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(n, q) : RngIntElt, RngIntElt -> GrpMat
SpecialOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
SpecialOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpMat
SpecialOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpMat
SpecialUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
StabilizerGroup(Q) : CodeQuantum -> GrpPC
StabilizerGroup(Q, G) : CodeQuantum, GrpPC -> GrpPC
StandardActionGroup(W) : GrpMat -> GrpPerm, Map
StandardActionGroup(W) : GrpPermCox -> GrpPerm, Map
StandardGroup(G) : GrpPerm -> GrpPerm, Map
SuzukiGroup(q) : RngIntElt -> GrpMat
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(n, q) : RngIntElt, RngIntElt -> GrpMat
ThreeSelmerGroup(E : parameters) : CrvEll -> GrpAb, Map
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
TwistedGroup(A, alpha) : GGrp, OneCoC -> GGrp
TwistedGroupOfLieType(c) : OneCoC -> GrpLie
TwistedGroupOfLieType(R, k, K) : RootDtm, Rng, Rng-> GrpLie
TwoSelmerGroup(E) : CrvEll -> GrpAb, Map, SetEnum, Map, SeqEnum
TwoSelmerGroup(E) : CrvEll[FldFunG] -> GrpAb, Map
TwoTransitiveGroupIdentification(G) : GrpPerm -> Tup
UnitGroup(F) : FldPad -> GrpAb, Map
UnitGroup(Q) : FldRat -> GrpAb, Map
UnitGroup(O) : RngFunOrd -> GrpAb, Map
UnitGroup(O) : RngOrd -> GrpAb, Map
UnitGroup(OQ) : RngOrdRes -> GrpAb, Map
UnitGroup(R) : RngPad -> GrpAb, Map
UnitGroupGenerators(F) : FldPad -> SeqEnum
UnitGroupGenerators(R) : RngPad -> SeqEnum
WeylGroup(L) : AlgLie -> GrpPermCox
WeylGroup(GrpFPCox, L) : Cat, AlgLie -> GrpPermCox
WeylGroup(GrpMat, L) : Cat, AlgLie -> GrpPermCox
WeylGroup(GrpFPCox, G) : Cat, GrpLie -> GrpFPCox
WeylGroup(GrpMat, G) : Cat, GrpLie -> GrpMat
WeylGroup(G) : GrpLie -> GrpPermCox
WordGroup(G) : GrpMat -> GrpSLP, Map
WordGroup(G) : GrpPerm -> GrpBB, Map
pCoveringGroup(~P) : Process(pQuot) ->
pSelmerGroup(p, S) : RngIntElt, { RngOrdIdl } -> G, m
pSelmerGroup(A, p, S) : RngUPolRes, RngIntElt, SetEnum[RngOrdIdl] -> GrpAb, Map
[____] [____] [_____] [____] [__] [Index] [Root]