[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: SolubilityCertificate .. Solution
SolubilityCertificate(C) : CrvCon -> SeqEnum
ExtensionsOfSolubleGroup(H, G) : GrpPerm, GrpPerm -> SeqEnum
IsSoluble(L) : AlgLie -> BoolElt
IsSoluble(D, o, n) : DB, RngIntElt, RngIntElt -> Grp
IsSoluble(G) : GrpAb -> BoolElt
IsSoluble(A) : GrpAuto -> BoolElt
IsSoluble(G) : GrpFin -> BoolElt
IsSoluble(G) : GrpGPC -> BoolElt
IsSoluble(G) : GrpMat -> BoolElt
IsSoluble(G) : GrpPC -> BoolElt
IsSoluble(G) : GrpPerm -> BoolElt
NumberOfPrimitiveGroups(d) : RngIntElt -> RngIntElt
Radical(G) : GrpMat -> GrpMat
Radical(G) : GrpPerm -> GrpPerm
SolubleQuotient(G) : Grp -> GrpPC, Map
SolubleQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
SolubleQuotientProcess(F : parameters): GrpFP -> SQProc
SolubleRadical(L) : AlgLie -> AlgLie
SolubleRadical(L) : AlgLie -> AlgLie
SolubleResidual(G) : GrpFin -> GrpFin
SolubleResidual(G) : GrpMat -> GrpMat
SolubleResidual(G) : GrpPerm -> GrpPerm
SolubleSchreier(G: parameters) : GrpPerm : ->
SolubleSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
SolvableQuotient(G): GrpMat -> GrpPC, Map
SolvableQuotient(G): GrpPerm, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
SolvableQuotient(G : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
SolvableQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
Calculation of Standard Sections (FINITELY PRESENTED GROUPS: ADVANCED)
Database of Irreducible Soluble Subgroups of GL(n,p) for n > 1 and p^n < 256 (OVERVIEW)
Database of Soluble Groups (OVERVIEW)
FINITE SOLUBLE GROUPS
Initialisation (FINITELY PRESENTED GROUPS: ADVANCED)
Miscellaneous Functions (FINITELY PRESENTED GROUPS: ADVANCED)
Soluble Matrix Groups (MATRIX GROUPS)
Soluble Quotient (FINITELY PRESENTED GROUPS)
Soluble Quotient Process Tools (FINITELY PRESENTED GROUPS: ADVANCED)
Soluble Quotient Processes (FINITELY PRESENTED GROUPS: ADVANCED)
Soluble Quotients (FINITELY PRESENTED GROUPS: ADVANCED)
The Soluble Radical and its Quotient (MATRIX GROUPS)
The Soluble Radical and its Quotient (PERMUTATION GROUPS)
Invariants(G) : GrpMat -> [ RngIntElt ]
Soluble Matrix Groups (MATRIX GROUPS)
Soluble Quotient (FINITELY PRESENTED GROUPS)
Soluble Quotient Processes (FINITELY PRESENTED GROUPS: ADVANCED)
Soluble Quotients (FINITELY PRESENTED GROUPS: ADVANCED)
The Soluble Radical and its Quotient (MATRIX GROUPS)
The Soluble Radical and its Quotient (PERMUTATION GROUPS)
SolvableQuotient(G) : Grp -> GrpPC, Map
SolubleQuotient(G) : Grp -> GrpPC, Map
SolubleQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
SolvableQuotient(G): GrpMat -> GrpPC, Map
SolvableQuotient(G): GrpPerm, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
SolvableQuotient(G : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
SolvableQuotient(F, n : parameters): GrpFP, RngIntElt -> GrpPC, Map, SeqEnum, MonStgElt
GrpFP_2_SolubleQuotient (Example H27E13)
GrpFP_1_SolubleQuotient1 (Example H26E29)
GrpFP_1_SolubleQuotient2 (Example H26E30)
SolubleQuotientProcess(F : parameters): GrpFP -> SQProc
SolubleRadical(G) : GrpMat -> GrpMat
SolvableRadical(G) : GrpMat -> GrpMat
Radical(G) : GrpMat -> GrpMat
Radical(G) : GrpPerm -> GrpPerm
SolubleRadical(L) : AlgLie -> AlgLie
SolubleRadical(L) : AlgLie -> AlgLie
SolvableResidual(G) : GrpFin -> GrpFin
SolubleResidual(G) : GrpFin -> GrpFin
SolubleResidual(G) : GrpMat -> GrpMat
SolubleResidual(G) : GrpPerm -> GrpPerm
SolvableSchreier(G: parameters) : GrpPerm : ->
SolubleSchreier(G: parameters) : GrpPerm : ->
SolvableSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
SolubleSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
IntegerSolutionVariables(L) : LP -> SeqEnum
MaximalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MaximalSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MaximalZeroOneSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MinimalIntegerSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MinimalSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
MinimalZeroOneSolution(LHS, relations, RHS, objective) : Mtrx, Mtrx, Mtrx, Mtrx -> Mtrx, RngIntElt
ModularSolution(A, M) : MtrxSprs, RngIntElt -> ModTupRng
SetIntegerSolutionVariables(L, I, m) : LP, SeqEnum[RngIntElt], BoolElt ->
Solution(L) : LP -> Mtrx, RngIntElt
Solution(A, W) : ModMatRngElt, ModTupRng -> ModTupRngElt, ModTupRng
Solution(A, w) : ModMatRngElt, ModTupRng -> ModTupRngElt, ModTupRng
Solution(A, Q) : ModMatRngElt, [ ModTupRng ] -> [ ModTupRngElt ], ModTupRng
Solution(A, W) : ModMatRngElt, [ ModTupRng ] -> [ ModTupRngElt ], ModTupRng
Solution(a, b, m) : RngIntElt, RngIntElt, RngIntElt -> RngIntElt, RngIntElt
Solution(a, b) : RngIntResElt, RngIntResElt -> RngIntResElt
Solution(A, B, N) : [RngIntElt], [RngIntElt],[RngIntElt] -> RngIntElt
Mat_Solution (Example H42E8)
[____] [____] [_____] [____] [__] [Index] [Root]