Documentation

Path
- BranchVertexPath(u,v) : GrphVert,GrphVert -> SeqEnum
- DiameterPath(G) : Grph -> [GrphVert]
- IsPath(G) : Grph -> BoolElt
- IsPathTree(B) : AlgBas -> Bool
- Path(u, v : parameters) : GrphVert, GrphVert -> Eseq
- PathExists(u, v : parameters) : GrphVert, GrphVert -> BoolElt, Eseq
- PathGraph(n : parameters) : RngIntElt -> GrphUnd
- PathTree(B, i) : AlgBas, RngIntElt -> ModRng
- SetPath(s) : MonStgElt ->
- VertexPath(u,v) : GrphSplVert,GrphSplVert -> SeqEnum,SeqEnum
- VertexPath(u,v) : GrphVert,GrphVert -> SeqEnum
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 H70E24)
Payne_Grps
- Multilinear_Payne_Grps (Example H63E79)
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 H70E34)
pc_hom
- GrpPC_pc_hom (Example H70E5)
pc_quotient
- GrpPC_pc_quotient (Example H70E19)
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

V2.29, 10 June 2026

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