Documentation

path
- Connectedness (GRAPHS)
- Distances, Paths and Circuits in a Graph (GRAPHS)
- Distances, Paths and Circuits in a Non-Weighted Graph (GRAPHS)
- Distances, Paths and Circuits in a Possibly Weighted Graph (GRAPHS)
- The Path Model (QUANTUM GROUPS)
path-circuit-graph
- Distances, Paths and Circuits in a Graph (GRAPHS)
- Distances, Paths and Circuits in a Non-Weighted Graph (GRAPHS)
- Distances, Paths and Circuits in a Possibly Weighted Graph (GRAPHS)
path-model
- The Path Model (QUANTUM GROUPS)
PathExists
- PathExists(u, v : parameters) : GrphVert, GrphVert -> BoolElt, Eseq
PathGraph
- PathGraph(n : parameters) : RngIntElt -> GrphUnd
pathmodel
- The Path Model (QUANTUM GROUPS)
Paths
- AllPairsShortestPaths(G : parameters) : Grph -> SeqEnum, SeqEnum
- Paths(u : parameters) : GrphVert -> Eseq
paths
- Distances, Shortest Paths and Minimum Weight Trees (MULTIGRAPHS)
PathTree
- PathTree(B, i) : AlgBas, RngIntElt -> ModRng
PAut
- PAutExtendedPerfectCodeZ4(δ, m) : RngIntElt, RngIntElt -> GrpPerm, Mtrx
- PermutationGroupExtendedPerfectCodeZ4(δ, m) : RngIntElt, RngIntElt -> GrpPerm, Mtrx
- PermutationGroupExtendedPerfectCodeZ4Order(δ, m) : RngIntElt, RngIntElt -> RngIntElt
- PermutationGroupHadamardCodeZ4(δ, m) : RngIntElt, RngIntElt -> GrpPerm, Mtrx
- PermutationGroupHadamardCodeZ4Order(δ, m) : RngIntElt, RngIntElt -> RngIntElt
PAutExtendedPerfectCodeZ4
- PAutExtendedPerfectCodeZ4(δ, m) : RngIntElt, RngIntElt -> GrpPerm, Mtrx
- PermutationGroupExtendedPerfectCodeZ4(δ, m) : RngIntElt, RngIntElt -> GrpPerm, Mtrx
PAutExtendedPerfectCodeZ4Order
- PAutExtendedPerfectCodeZ4Order(δ, m) : RngIntElt, RngIntElt -> RngIntElt
- PermutationGroupExtendedPerfectCodeZ4Order(δ, m) : RngIntElt, RngIntElt -> RngIntElt
PAutHadamardCodeZ4
- PAutHadamardCodeZ4(δ, m) : RngIntElt, RngIntElt -> GrpPerm, Mtrx
- PermutationGroupHadamardCodeZ4(δ, m) : RngIntElt, RngIntElt -> GrpPerm, Mtrx
PAutHadamardCodeZ4Order
- PAutHadamardCodeZ4Order(δ, m) : RngIntElt, RngIntElt -> RngIntElt
- PermutationGroupHadamardCodeZ4Order(δ, m) : RngIntElt, RngIntElt -> RngIntElt
pAutomorphismGroup
- GrpPC_pAutomorphismGroup (Example H69E24)
Payne_Grps
- Multilinear_Payne_Grps (Example H62E79)
pbwbases
- PBW-type Bases (QUANTUM GROUPS)
PC
- ClassicalSylowToPC(G,P) : GrpMat, GrpMat -> GrpPC, UserProgram, Map
- HeisenbergGroup(T) : TenSpcElt -> GrpMat
pc
- Power-Conjugate Presentations (FINITE SOLUBLE GROUPS)
- Transfer from GrpPC (FINITE SOLUBLE GROUPS)
- Transfer to GrpPC (FINITE SOLUBLE GROUPS)
pc-presentations
- Power-Conjugate Presentations (FINITE SOLUBLE GROUPS)
pc-to-perm
- GrpPC_pc-to-perm (Example H69E34)
pc_hom
- GrpPC_pc_hom (Example H69E5)
pc_quotient
- GrpPC_pc_quotient (Example H69E19)
PCClass
- WeightClass(x) : GrpPCElt -> RngIntElt
- PCClass(x) : GrpPCElt -> RngIntElt
pCentral
- pCentralSeries(G, p) : GrpFin, RngIntElt -> [ GrpFin ]
- pCentralSeries(G, p) : GrpMat, RngIntElt -> [ GrpMat ]
- pCentralSeries(G, p) : GrpPC, RngIntElt -> [GrpPC]
- pCentralSeries(G, p) : GrpPerm, RngIntElt -> [ GrpPerm ]
- pCentralTensor(G, p, s, t) : Grp, RngIntElt, RngIntElt, RngIntElt -> TenSpcElt, List
pCentralSeries
- pCentralSeries(G, p) : GrpFin, RngIntElt -> [ GrpFin ]
- pCentralSeries(G, p) : GrpMat, RngIntElt -> [ GrpMat ]
- pCentralSeries(G, p) : GrpPC, RngIntElt -> [GrpPC]
- pCentralSeries(G, p) : GrpPerm, RngIntElt -> [ GrpPerm ]
pCentralTensor
- pCentralTensor(G, p, s, t) : Grp, RngIntElt, RngIntElt, RngIntElt -> TenSpcElt, List
PCExponents
- PCExponents(G) : GrpGPC -> [RngIntElt]
PCGenerators
- PCGenerators(G) : GrpGPC -> {@ GrpGPCElt @}
- Generators(G) : GrpGPC -> {@ GrpGPCElt @}
- Generators(H, G) : GrpGPC, GrpGPC -> {@ GrpGPCElt @}
- NumberOfGenerators(G) : GrpGPC -> RngIntElt
- NumberOfPCGenerators(A) : GrpAuto -> RngIntElt
- NumberOfPCGenerators(G) : GrpPC -> RngIntElt
- NumberOfPCGenerators(P) : GrpPCpQuotientProc -> RngIntElt
- PCGenerators(A) : GrpAuto -> SetIndx
- PCGenerators(G) : GrpPC -> SetIndx
PCGroup
- PCGroup(A) : AlgBasGrpP -> Grp
- PCGroup(G) : Grp -> GrpPC, Hom(Grp)
- PCGroup(A) : GrpAb -> GrpPC, Hom(Grp)
- PCGroup(G) : GrpFP -> GrpPC, GrpHom
- PCGroup(G) : GrpGPC -> GrpPC, Map
- PCGroup(G) : GrpMat -> GrpPC, Map
- PCGroup(G): GrpMat -> GrpPC, Map
- PCGroup(G) : GrpPerm -> GrpPC, Map
- PCGroup(Q : parameters ) : [RngIntElt] -> GrpPC
- PCGroupAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt, Map, GrpPC
pcgroup
- GrpPC_pcgroup (Example H69E33)
PCGroupAutomorphismGroupPGroup
- PCGroupAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt, Map, GrpPC
pClass
- pClass(G) : GrpPC -> RngIntElt
- pClass(P) : GrpPCpQuotientProc -> RngIntElt
pClosure
- pClosure(L, M) : AlgLie, AlgLie -> AlgLie
PCMap
- MakePCMap(A, P, S) : Aff, Prj, SeqEnum ->
- MakeProjectiveClosureMap(A, P, S) : Aff,Prj,SeqEnum ->
- PCMap(A) : AlgBasGrpP -> Map
- ProjectiveClosureMap(A) : Aff -> MapSch
pCore
- pCore(G, p) : GrpFin, RngIntElt -> GrpFin
- pCore(G, p) : GrpMat, RngIntElt -> GrpMat
- pCore(G, S) : GrpPC, { RngIntElt } -> GrpPC
- pCore(G, S) : GrpPC, { RngIntElt } -> GrpPC
- pCore(G, p) : GrpPerm, RngIntElt -> GrpPerm
- pCoreQuotient(G, p) : GrpPerm, RngIntElt -> GrpPerm, Map, GrpPerm

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.