[____] [____] [_____] [____] [__] [Index] [Root]
Index P
P
d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
p
Generating p-groups (SOLUBLE GROUPS)
p-Adics (LOCAL FIELDS)
p-group Functions (MATRIX GROUPS)
p-Quotients (FINITELY PRESENTED GROUPS)
d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
p-adics
p-Adics (LOCAL FIELDS)
p-group
Generating p-groups (SOLUBLE GROUPS)
p-group Functions (MATRIX GROUPS)
P-key
P
p-key
p
p-Quotient
p-Quotients (FINITELY PRESENTED GROUPS)
pAdicField
pAdicField(p) : RngIntElt -> FldAdic
pAdicRing
pAdicRing(p) : RngIntElt -> RngAdic
parameter
Intrinsics (OVERVIEW)
Options and Controls (FINITELY PRESENTED ALGEBRAS)
Parent
Parent(u) : AlgFPElt -> AlgFP
Parent(a) : AlgMatElt -> AlgMat
Parent(u) : GrpAbElt -> GrpAb
Parent(r) : GrpAbRel -> GrpAb
Parent(g) : GrpElt -> Grp
Parent(u) : GrpFPElt -> GrpFP
Parent(r) : GrpFPRel -> GrpFP
Parent(G) : GrpMatElt -> GrpMat
Parent(G) : GrpPC -> PowerStructure
Parent(x) : GrpPCElt -> GrpPC
Parent(g) : GrpPermElt -> GrpPerm
Parent(V) : ModFld -> SetPow
Parent(u) : ModTupElt -> ModRng
Parent(w): ModTupFldElt -> ModTupFld
Parent(R) : Rng -> Pow
Parent(r) : RngElt -> Rng
Parent(S) : Seq -> Struct
Parent(R) : Set -> Struct
Parent(T) : SetCartElt -> SetCart
Parent(u) : SgpFPElt -> SgpFP
parent
Category and Parent (NUMBER FIELDS AND THEIR ORDERS)
Parent and Category (CYCLOTOMIC FIELDS)
Parent and Category (INTRODUCTION [RINGS AND FIELDS])
Parent and Category (MULTIVARIATE POLYNOMIAL RINGS)
Parent and Category (NUMBER FIELDS AND THEIR ORDERS)
Parent and Category (POWER SERIES AND LAURENT SERIES)
Parent and Category (QUADRATIC FIELDS)
Parent and Category (UNIVARIATE POLYNOMIAL RINGS)
Parent and Category (VALUATION RINGS)
parent-category
Parent and Category (CYCLOTOMIC FIELDS)
Parent and Category (MULTIVARIATE POLYNOMIAL RINGS)
Parent and Category (NUMBER FIELDS AND THEIR ORDERS)
Parent and Category (POWER SERIES AND LAURENT SERIES)
Parent and Category (QUADRATIC FIELDS)
Parent and Category (UNIVARIATE POLYNOMIAL RINGS)
Parent and Category (VALUATION RINGS)
parent-type
Parent and Category (INTRODUCTION [RINGS AND FIELDS])
ParentGraph
ParentGraph(S) : VertSet -> Grph
parenthesis
Expression (OVERVIEW)
ParityCheckMatrix
ParityCheckMatrix(C) : Code -> ModMatFldElt
Part
ALGEBRAS (PART)
APPENDIX (PART)
FINITE INCIDENCE STRUCTURES (PART)
GEOMETRY (PART)
MAGMA (PART)
MODULES (PART)
RINGS AND FIELDS (PART)
SEMIGROUPS AND GROUPS (PART)
SETS, SEQUENCES, AND MAPPINGS (PART)
partial
Partial Mappings (OVERVIEW)
The Partial Mapping Constructor (MAPPINGS)
partial-mapping
The Partial Mapping Constructor (MAPPINGS)
PartialMap
Partial Mappings (OVERVIEW)
PartialMap< A -> B | G > : Struct, Struct -> Map
Map_PartialMap (Example H8E4)
Partition
Partition(S, p) : SeqEnum, RngIntElt -> SeqEnum(SeqEnum)
partition
Action on a G-invariant Partition (PERMUTATION GROUPS)
partition-action
Action on a G-invariant Partition (PERMUTATION GROUPS)
Partitions
Partitions(n) : RngIntElt -> [ [ RngIntElt ] ]
path
Connectedness, Paths and Circuits (GRAPHS)
PathGraph
PathGraph(p) : RngIntElt -> GrphUnd
pc
Groups (OVERVIEW)
PCClass
PCClass(x) : GrpPCElt -> RngIntElt
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 ]
PCGenerators
PCGenerators(G) : GrpPC -> {@ GrpPCElt @}
PCGroup
PCGroup(G) : Grp -> GrpPC, Hom(Grp)
PCGroup(G) : GrpPerm -> GrpPC, Map
PCGroup(Q : parameters ) : [RngIntElt] -> GrpPC
PolycyclicGenerators(G) : GrpMat -> [ GrpPCElt ]
pClass
pClass(G) : GrpPC -> RngIntElt
pClass(P) : Process(pQuot) -> RngIntElt
pCore
pCore(G, p) : GrpAb, RngIntElt -> GrpAb
pCore(G, p) : GrpFin, RngIntElt -> GrpFin
[Future release] pCore(G, p) : GrpMat, RngIntElt -> GrpMat
pCore(G, S) : GrpPC, { RngIntElt } -> GrpPC
pCore(G, p) : GrpPerm, RngIntElt -> GrpPerm
pCover
pCover(G, F, p) : GrpFin, GrpFinFP, RngIntElt -> GrpFinFP
pCover(G, F, p) : GrpPerm, GrpFP, RngIntElt -> GrpFP
pCoveringGroup
pCoveringGroup(~P) : Process(pQuot) ->
PCPrimes
PCPrimes(G) : GrpPC -> [RngIntElt]
Perfect
RngInt_Perfect (Example H19E7)
perfect
Database of Finite Perfect Groups (OVERVIEW)
PerfectSubgroups
PerfectSubgroups(G: parameters) : GrpFin -> [ rec< Grp, RngIntElt, RngIntElt, GrpFP> ]
perfgps
Database of Finite Perfect Groups (OVERVIEW)
pergps
Database of Some Permutation Groups (OVERVIEW)
Permutation
Permutation(G, Q) : GrpPerm, [Elt] -> GrpPermElt
permutation
Database of Some Permutation Groups (OVERVIEW)
Permutation Character (CHARACTERS OF FINITE GROUPS)
Permutation Group Actions (MULTIVARIATE POLYNOMIAL RINGS)
Permutation Group Predicates (PERMUTATION GROUPS)
PERMUTATION GROUPS
Permutation Representations for Database of Finite Perfect Groups (OVERVIEW)
permutation-group
Permutation Group Predicates (PERMUTATION GROUPS)
permutation-representation
Permutation Representations for Database of Finite Perfect Groups (OVERVIEW)
PermutationActionD8
AlgFP_PermutationActionD8 (Example H37E3)
PermutationCharacter
PermutationCharacter(G, H) : GrpMat, GrpMat -> AlgChtrElt
PermutationCharacter(G) : GrpPerm -> AlgChtrElt
PermutationCharacter(G) : GrpPerm -> AlgChtrElt
PermutationCharacter(G) : GrpPerm -> AlgChtrElt
PermutationCode
PermutationCode(u, G) : ModTupFldElt, GrpPerm -> Code
Code_PermutationCode (Example H40E3)
PermutationGroup
PermutationGroup< X | L > : Set, List -> GrpPerm
PermutationGroup< X | L > : Set, List -> GrpPerm, Hom
PermutationModule
PermutationModule(G, H, R) : Grp, Grp, Rng -> ModGrp
PermutationModule(G, H, R) : Grp, Grp, Rng -> ModGrp
PermutationModule(G, H, R) : GrpFin, GrpFin, Rng -> ModGrpFin
PermutationModule(G, H, R) : GrpMat, GrpMat, Rng -> ModGrp
Permutations
GrpPerm_Permutations (Example H14E2)
pFundamentalUnits
pFundamentalUnits(O, p) : RngOrd, RngIntElt -> GrpAb, Map
PGammaL
ProjectiveGammaLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PGammaU
ProjectiveGammaUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PGL
ProjectiveGeneralLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PGU
ProjectiveGeneralUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
Pi
Pi(R) : FldPr -> FldPrElt
pi
Hall pi-Subgroups and Sylow Systems (SOLUBLE GROUPS)
PlotkinSum
PlotkinSum(C, D) : Code, Code -> Code
plus
Operators (OVERVIEW)
pMultiplicator
pMultiplicator(G, p) : GrpFin, RngIntElt -> [ RngIntElt ]
pMultiplicator(G, p) : GrpPerm, RngIntElt -> [ RngIntElt ]
pMultiplicatorRank
pMultiplicatorRank(G) : GrpPC -> RngIntElt
pMultiplicatorRank(P) : Process(pgaProc) -> RngIntElt
point
Creation of Points (ELLIPTIC CURVES)
Operation on Points (ELLIPTIC CURVES)
PointGraph
[Future release] PointGraph(D) : Design -> GrphUnd
PolarToComplex
PolarToComplex(m, a) : FldReElt, FldReElt -> FldComElt
polycyclic
Introduction (SOLUBLE GROUPS)
polycyclic-power-conjugate
Introduction (SOLUBLE GROUPS)
PolycyclicGenerators
PolycyclicGenerators(G) : GrpMat -> [ GrpPCElt ]
PolycyclicGroup
Group< X | R > : List(Identifiers), List(GrpFPRel) -> GrpFP, Hom(Grp)
PolycyclicGroup< x_1, ..., x_n | R : parameters > : List(Identifiers), List(GrpFPRel) -> GrpPC, Map
GrpPC_PolycyclicGroup (Example H13E1)
PolygonGraph
PolygonGraph(p) : RngIntElt -> GrphUnd
Polylog
Polylog(m, s) : FldPrElt -> FldPrElt
PolylogD
PolylogD(m, s) : FldPrElt -> FldPrElt
PolylogDold
PolylogD(m, s) : FldPrElt -> FldPrElt
PolylogP
PolylogD(m, s) : FldPrElt -> FldPrElt
polynomial
Minimal and Characteristic Polynomial (FINITE FIELDS)
MULTIVARIATE POLYNOMIAL RINGS
Polynomials for Finite Fields (FINITE FIELDS)
Rings, Fields, and Algebras (OVERVIEW)
UNIVARIATE POLYNOMIAL RINGS
PolynomialAlgebra
PolynomialAlgebra(P) : Rng -> RngUPol
PolynomialRing(R, n) : Rng, RngIntElt -> RngDPol
PolynomialRing
PolynomialAlgebra(P) : Rng -> RngUPol
PolynomialRing(R, n) : Rng, RngIntElt -> RngDPol
Polynomials
RngPol_Polynomials (Example H22E2)
poset
Operations on Poset Elements (GROUPS)
Operations on Subgroup Class Posets (GROUPS)
The Poset of Subgroup Classes (GROUPS)
poset-element
Operations on Poset Elements (GROUPS)
poset-operation
Operations on Subgroup Class Posets (GROUPS)
Position
Index(s, t) : MonStgElt, MonStgElt -> RngIntElt
Index(S, x) : SeqEnum, Elt -> RngIntElt
Index(S, x) : SetIndx, Elt -> RngIntElt
PositiveSum
PositiveSum(m, i) : Map, RngIntElt -> FldPrElt
Power
f ^ n : MagFormElt, RngIntElt -> MagFormElt
power
Introduction (SOLUBLE GROUPS)
Operators (OVERVIEW)
Parents of Sets and Sequences (INTRODUCTION [SETS, SEQUENCES, AND MAPPINGS])
Power Groups (SOLUBLE GROUPS)
Power Sequences (SEQUENCES)
POWER SERIES AND LAURENT SERIES
Power Sets (SETS)
PowerGroup (SOLUBLE GROUPS)
Rings, Fields, and Algebras (OVERVIEW)
power-group
Power Groups (SOLUBLE GROUPS)
PowerGroup (SOLUBLE GROUPS)
power-sequence
Power Sequences (SEQUENCES)
power-set
Power Sets (SETS)
power-set-sequence
Parents of Sets and Sequences (INTRODUCTION [SETS, SEQUENCES, AND MAPPINGS])
PowerGroup
PowerGroup(G) : GrpPC -> PowerGroup
GrpPC_PowerGroup (Example H13E8)
PowerGroupTwo
GrpPC_PowerGroupTwo (Example H13E11)
PowerMap
PowerMap(G) : GrpAb -> Map
PowerMap(G) : GrpFin -> Map
PowerMap(G) : GrpMat -> Map
PowerMap(G) : GrpPC -> Map
PowerMap(G) : GrpPerm -> Map
PowerRelation
PowerRelation(r, k) : FldComElt, RngIntElt -> RngUPolElt
PowerSequence
PowerSequence(R) : Struct -> PowSeqEnum
Seq_PowerSequence (Example H5E2)
PowerSeriesAlgebra
PowerSeriesRing(R) : Rng -> AlgPowSer
PowerSeriesRing
PowerSeriesRing(R) : Rng -> AlgPowSer
PowerSet
PowerSet(R) : Struct -> PowSetEnum
Set_PowerSet (Example H4E5)
pPrimaryComponent
pPrimaryComponent(A, p) : GrpAb, RngIntElt -> GrpAb
pPrimaryInvariants
pPrimaryInvariants(A, p) : GrpAb, RngIntElt -> [ RngIntElt ]
pQuotient
pQuotient( G, p, c : parameters ) : GrpPC, RngIntElt, RngIntElt -> GrpPC
pQuotient(F, p, c: parameters) : GrpFP, RngIntElt, RngIntElt -> GrpPC
pQuotient(F, p, c: parameters) : GrpFP, RngIntElt, RngIntElt -> GrpPC
pQuotient1
GrpFP_pQuotient1 (Example H12E27)
pQuotient2
GrpFP_pQuotient2 (Example H12E28)
pQuotient3
GrpFP_pQuotient3 (Example H12E29)
pQuotient4
GrpFP_pQuotient4 (Example H12E30)
pQuotient5
GrpFP_pQuotient5 (Example H12E31)
pQuotient6
GrpFP_pQuotient6 (Example H12E32)
pQuotient7
GrpFP_pQuotient7 (Example H12E33)
pQuotient8
GrpFP_pQuotient8 (Example H12E34)
pQuotientProcess
pQuotientProcess(F, p, c: parameters) : GrpFP, RngIntElt, RngIntElt -> Process
pRadical
pRadical(O, p) : RngOrd -> RngOrdIdl
pRanks
pRanks(G) : GrpPC-> [ RngIntElt ]
prec
Arbitrary versus fixed precision (LOCAL FIELDS)
Precision
Precision(R) : FldCom -> RngIntElt
Precision(r) : FldReElt -> RngIntElt
Precision(f) : RngElt -> RngIntElt
Precision(R) : RngSer -> Rng
precision
Changing Default Precision (POWER SERIES AND LAURENT SERIES)
Fixed Precision Real Numbers (REAL AND COMPLEX FIELDS)
Precision (LOCAL FIELDS)
Precision (LOCAL FIELDS)
Precision (POWER SERIES AND LAURENT SERIES)
Precision (POWER SERIES AND LAURENT SERIES)
Precision (REAL AND COMPLEX FIELDS)
predicate
Booleans (OVERVIEW)
Ideal Predicates (MULTIVARIATE POLYNOMIAL RINGS)
Predicates and Boolean Operations (INTRODUCTION [RINGS AND FIELDS])
Predicates on Elements (QUADRATIC FIELDS)
Predicates on Ring Elements (VALUATION RINGS)
Ring Predicates and Booleans (CHARACTERS OF FINITE GROUPS)
Ring Predicates and Booleans (FINITE FIELDS)
Ring Predicates and Booleans (RATIONAL FUNCTION FIELDS)
Ring Predicates and Booleans (RESIDUE CLASS RINGS)
preimage
Images and Preimages (MAPPINGS)
presentation
CompactPresentation (SOLUBLE GROUPS)
Conditioned Presentations (SOLUBLE GROUPS)
Constructing a Presentation for a Subgroup (FINITELY PRESENTED GROUPS)
Construction of a Quotient: Specification of a Presentation (FINITELY PRESENTED ALGEBRAS)
Construction of a Quotient: Specification of a Presentation (FINITELY PRESENTED GROUPS)
Presentation of Submodules (GENERAL MODULES)
Specification of a Presentation (ABELIAN GROUPS)
Specification of a Presentation (FINITELY PRESENTED SEMIGROUPS)
Standard Presentation Algorithm (SOLUBLE GROUPS)
Structuring Presentations (FINITELY PRESENTED ALGEBRAS)
The Presentation of Submodules (INTRODUCTION [MODULES])
presentation-quotient
Construction of a Quotient: Specification of a Presentation (FINITELY PRESENTED GROUPS)
presented
FINITELY PRESENTED ALGEBRAS
Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
FINITELY PRESENTED GROUPS
Finitely Presented Modules (FINITELY PRESENTED ALGEBRAS)
FINITELY PRESENTED SEMIGROUPS
Rings, Fields, and Algebras (OVERVIEW)
The Finitely Presented Group Associated with a Permutation Group (PERMUTATION GROUPS)
previous
Primes (RING OF INTEGERS)
Primes and Primality Testing (RING OF INTEGERS)
PreviousPrime
PreviousPrime(n) : RngIntElt -> RngIntElt
Primality
Primality(n) : RngIntElt -> RngIntElt
primality
Primality (RING OF INTEGERS)
Primary
Primary(a) : FldQuadElt -> FldQuadElt
PrimaryInvariantFactors
PrimaryInvariantFactors(a) : AlgMatElt -> [ <RngUPolElt, RngIntElt ]
PrimaryInvariantFactors(g) : GrpMatElt -> [ <RngUPolElt, RngIntElt> ]
PrimaryInvariants
PrimaryInvariants(A) : GrpAb -> [ RngIntElt ]
PrimaryRationalForm
PrimaryRationalForm(a) : AlgMatElt -> AlgMatElt, AlgMatElt, [ <RngUPolElt, RngIntElt ]
PrimaryRationalForm(g) : GrpMatElt -> AlgMatElt, AlgMatElt, [ <RngUPolElt, RngIntElt> ]
Prime
Prime(R) : FldLoc -> RngIntElt
PrimeBasis
PrimeBasis(n) : RngIntElt -> [RngIntElt]
PrimeCertificate
PrimeCertificate(n) : RngIntElt -> [ <RngIntElt, RngIntElt, RngIntElt> ]
PrimeDivisors
PrimeBasis(n) : RngIntElt -> [RngIntElt]
PrimeField
PrimeField(F) : Fld -> Fld
PrimeField(F) : FldFin -> FldFin
PrimeForm
PrimeForm(B, p) : MagForm, RngIntElt -> MagFormElt
PrimeRing
PrimeRing(R) : Rng -> Rng
primitive
Database of Primitive Groups (OVERVIEW)
Finding Special Elements (NUMBER FIELDS AND THEIR ORDERS)
Natural Actions for Primitive Groups (PERMUTATION GROUPS)
Special Elements (FINITE FIELDS)
PrimitiveElement
PrimitiveElement(F) : FldFin -> FldFinElt
PrimitiveElement(K) : FldNum -> FldNumElt
PrimitiveElement(R) : RngIntRes -> RngIntResElt
PrimitivePart
PrimitivePart(p) : RngDPolElt -> RngDPolElt
PrimitivePart(p) : RngUPolElt -> RngUPolElt
PrimitivePolynomial
PrimitivePolynomial(F, m) : FldFin, RngIntElt -> RngPolElt
PrimitiveRoot
PrimitiveElement(R) : RngIntRes -> RngIntResElt
PrimitiveRoot(m) : RngIntElt -> RngIntElt
PrimitiveStructure
GrpPerm_PrimitiveStructure (Example H14E18)
PrincipalCharacter
Id(R) : AlgChtr -> AlgChtrElt
print
The print statement (OVERVIEW)
print expression;
PrintFile
PrintFile(F, x, L) : MonStgElt, Var, MonStgElt ->
Write(F, x) : MonStgElt, Var ->
PrintFileMagma
Write(F, x) : MonStgElt, Var ->
printname
Generator Assignment (OVERVIEW)
prmgps
Database of Primitive Groups (OVERVIEW)
proc
Procedure Expressions (OVERVIEW)
procedure
Functions and Procedures (MAGMA LANGUAGE)
Functions, Procedures, and Mappings (OVERVIEW)
Procedure Expressions (MAGMA SEMANTICS)
Procedures (OVERVIEW)
procedure-expression
Procedure Expressions (MAGMA SEMANTICS)
Procedures
Lang_Procedures (Example H1E16)
process
The p-Quotient Process (FINITELY PRESENTED GROUPS)
product
Operators (OVERVIEW)
Quadratic Forms and Inner Products (VECTOR SPACES)
Structure of Inner Product Spaces (VECTOR SPACES)
The Cartesian Product Constructors (SETS)
TUPLES AND CARTESIAN PRODUCTS
Unions and Products of Graphs (GRAPHS)
Products
AlgMat_Products (Example H36E5)
Progression
Seq_Progression (Example H5E1)
Set_Progression (Example H4E4)
progression
Sequences (OVERVIEW)
Sets (OVERVIEW)
The Arithmetic Progression Constructors (SEQUENCES)
The Arithmetic Progression Constructors (SETS)
ProjectiveGammaLinearGroup
ProjectiveGammaLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveGammaUnitaryGroup
ProjectiveGammaUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveGeneralLinearGroup
ProjectiveGeneralLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveGeneralUnitaryGroup
ProjectiveGeneralUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveSigmaLinearGroup
ProjectiveSigmaLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveSigmaSymplecticGroup
ProjectiveSigmaSymplecticGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveSigmaUnitaryGroup
ProjectiveSigmaUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveSpecialLinearGroup
ProjectiveSpecialLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveSpecialUnitaryGroup
ProjectiveSpecialUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveSuzukiGroup
ProjectiveSuzukiGroup(q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
ProjectiveSymplecticGroup
ProjectiveSymplecticGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
prompt
Prompt (OVERVIEW)
Prune
Prune(~S) : SeqEnum -> Elt
PseudoRemainder
PseudoRemainder(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
Psi
LogDerivative(s) : FldPrElt -> FldPrElt
PSigmaL
ProjectiveSigmaLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PSigmaSp
ProjectiveSigmaSymplecticGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PSigmaU
ProjectiveSigmaUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PSL
ProjectiveSpecialLinearGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PSp
ProjectiveSymplecticGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PSU
ProjectiveSpecialUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PSz
ProjectiveSuzukiGroup(q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
PunctureCode
PunctureCode(C, i) : Code, RngIntElt -> Code
[____] [____] [_____] [____] [__] [Index] [Root]