- ProbabilityDistribution
- Probable
- ProbableAutomorphismGroup
- ProbableRadicalDecomposition
- Probably
- Problem
- proc
- procedure
- procedure-expression
- Procedures
- Process
- CentralExtensionProcess(G, U) : GrpPC, GrpPC -> Proc
- CloseVectorsProcess(L, w, u) : Lat, ModTupRngElt, RngElt -> LatEnumProc
- CosetEnumerationProcess(G, H: parameters) : GrpFP, GrpFP -> GrpFPCosetEnumProc
- ExtensionProcess(G, M, F) : GrpPerm, ModRng, GrpFP -> GrpFPExtProc
- ExtensionProcess(G, M, F) : GrpPerm, ModRng, GrpFP -> Process
- HomomorphismsProcess(F, G, A : parameters) : GrpFP, GrpPerm, GrpPerm -> GrpFPHomsProc
- IsEmptySimpleQuotientProcess(P) : Rec -> BoolElt
- IsolProcess() : -> Process
- IsolProcessOfDegree(d) : . -> Process
- IsolProcessOfDegreeField(d, p) : ., . -> Process
- IsolProcessOfField(p) : . -> Process
- LowIndexProcess(G, R : parameters) : GrpFP, RngIntElt -> Process(Lix)
- NeighborProcess(L, P, k) : LatNF, RngOrdIdl, RngIntElt -> NeighborProc
- PositiveConjugatesProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
- PrimitiveGroupProcess(d: parameters) : RngIntElt -> Process
- PrimitiveGroupProcess(d, f: parameters) : RngIntElt, Program -> Process
- ProcessLadder(L, G, U) : [GrpPerm], GrpPerm, GrpPerm -> Rec
- ProjectiveLineProcess(V) : ModTupFld[FldFin] -> ProcPL
- RandomProcess(G) : GrpAb -> Process
- RandomProcess(G) : GrpFin -> Process
- RandomProcess(G) : GrpGPC -> Process
- RandomProcess(G) : GrpMat -> Process
- RandomProcess(G) : GrpPC -> Process
- RandomProcess(G) : GrpPerm -> Process
- RandomProcess(G) : GrpSLP -> Process
- SUnitCohomologyProcess(S, U) : {RngOrdIdl}, GrpPerm -> {1}
- SetProcessParameters(~P: parameters) : GrpFPCosetEnumProc ->
- ShortVectorsProcess(L, u) : Lat, RngElt -> LatEnumProc
- SimpleQuotientProcess(F, deg1, deg2, ord1, ord2: parameters) : GrpFP, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> Rec
- SmallGroupProcess(o: parameters) : RngIntElt -> Process
- SmallGroupProcess(o, f: parameters) : RngIntElt, Program -> Process
- SmallGroupProcess(S: parameters) : [RngIntElt] -> Process
- SmallGroupProcess(S, f: parameters) : [RngIntElt], Program -> Process
- SuperSummitProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
- TietzeProcess(G: parameters) : GrpFP -> Process(Tietze)
- TransitiveGroupProcess(d) : RngIntElt -> Process
- TransitiveGroupProcess(d, f) : RngIntElt, Program -> Process
- TransitiveGroupProcess(S) : [RngIntElt] -> Process
- TransitiveGroupProcess(S, f) : [RngIntElt], Program -> Process
- TransversalProcess(G, H) : GrpPerm, GrpPerm -> GrpPermTransProc
- TransversalProcessNext(P) : GrpPermTransProc -> GrpPermElt
- TransversalProcessRemaining(P) : GrpPermTransProc -> RngIntElt
- UltraSummitProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
- pQuotientProcess(F, p, c: parameters) : GrpFP, RngIntElt, RngIntElt -> Process
- process
V2.29, 28 November 2025