[____] [____] [_____] [____] [__] [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-adic
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)
package
Packages (MAGMA LANGUAGE)
pAdicField
pAdicField(p) : RngIntElt -> FldAdic
pAdicRing
pAdicRing(p) : RngIntElt -> RngAdic
ParallelClass
ParallelClass(l) : PlaneLn -> { PlaneLn }
ParallelClasses
ParallelClasses(P) : AffPl -> { { PlaneLn } }
parameter
Intrinsics (OVERVIEW)
Options and Controls (FINITELY PRESENTED ALGEBRAS)
Parameters
Parameters(D) : Dsgn -> Record
Lang_Parameters (Example H1E18)
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)
ParentPlane
ParentPlane(p) : PlanePt -> Plane, PlanePtSet, PlaneLnSet
ParentPlane(V) : PlanePtSet -> Plane, PlanePtSet, PlaneLnSet
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
Creation of Partial Maps (MAPPINGS)
Partial Mappings (OVERVIEW)
partial-mapping
Creation of Partial Maps (MAPPINGS)
PartialMap
Partial Mappings (OVERVIEW)
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 ] ]
PascalTriangle
PascalTriangle(D) : Dsgn -> SeqEnum
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]
Pencil
Pencil(p) : PlanePt -> { PlaneLn }
Perfect
RngInt_Perfect (Example H21E7)
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 H39E3)
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 H44E3)
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 H16E2)
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)
Plane
Combinatorial and Geometrical Structures (OVERVIEW)
plane
Construction of a Plane (FINITE PLANES)
FINITE PLANES
Numerical Invariants of a Plane (FINITE PLANES)
plane-invariant
Numerical Invariants of a Plane (FINITE PLANES)
PlaneLn
Combinatorial and Geometrical Structures (OVERVIEW)
PlaneLnSet
Combinatorial and Geometrical Structures (OVERVIEW)
PlanePt
Combinatorial and Geometrical Structures (OVERVIEW)
PlanePtSet
Combinatorial and Geometrical Structures (OVERVIEW)
PlotkinSum
PlotkinSum(C, D) : Code, Code -> Code
plus
Operators (OVERVIEW)
pmap
pmap< A -> B | G > : Struct, Struct -> Map
pMultiplicator
pMultiplicator(G, p) : GrpFin, RngIntElt -> [ RngIntElt ]
pMultiplicator(G, p) : GrpPerm, RngIntElt -> [ RngIntElt ]
pMultiplicatorRank
pMultiplicatorRank(G) : GrpPC -> RngIntElt
pMultiplicatorRank(P) : Process(pgaProc) -> RngIntElt
Point
Point(D, i) : Inc, RngIntElt -> IncPt
point
Combinatorial and Geometrical Structures (OVERVIEW)
Creation of Points (ELLIPTIC CURVES)
Operations on Points (ELLIPTIC CURVES)
The Point-Set and Block-Set of an Incidence Structure (INCIDENCE STRUCTURES AND DESIGNS)
The Point-Set and Line-Set of a Plane (FINITE PLANES)
point-set
The Point-Set and Block-Set of an Incidence Structure (INCIDENCE STRUCTURES AND DESIGNS)
The Point-Set and Line-Set of a Plane (FINITE PLANES)
PointDegree
PointDegree(p) : IncPt -> RngIntElt
PointDegrees
PointDegrees(D) : Inc -> [ RngIntElt ]
PointGraph
PointGraph(D) : Inc -> Grph
PointGraph(D) : Inc -> GrphUnd
PointGroup
PointGroup(D) : Inc -> GrpPerm
PointGroup(P) : Plane -> GrpPerm
Points
Points(D) : Inc -> { IncPt }
Points(P) : Plane -> { PlanePt }
points
Constructing Points and Lines (FINITE PLANES)
Creating Points and Blocks (INCIDENCE STRUCTURES AND DESIGNS)
points-blocks
Creating Points and Blocks (INCIDENCE STRUCTURES AND DESIGNS)
Design_points-blocks (Example H42E2)
points-lines
Constructing Points and Lines (FINITE PLANES)
Plane_points-lines (Example H43E2)
PointSet
PointSet(D) : Inc -> SetIncPt
PointSet(P) : Plane -> PlanePtSet
pointset
The Point Set and Line Set (FINITE PLANES)
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 H15E1)
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
Database of Galois Group Polynomials (OVERVIEW)
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 -> RngMPol
PolynomialRing
PolynomialAlgebra(P) : Rng -> RngUPol
PolynomialRing(R, n) : Rng, RngIntElt -> RngMPol
Polynomials
RngPol_Polynomials (Example H24E2)
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 H15E8)
PowerGroupTwo
GrpPC_PowerGroupTwo (Example H15E11)
PowerIndexedSet
PowerIndexedSet(R) : Struct -> PowSetIndx
PowerMap
PowerMap(G) : GrpAb -> Map
PowerMap(G) : GrpFin -> Map
PowerMap(G) : GrpMat -> Map
PowerMap(G) : GrpPC -> Map
PowerMap(G) : GrpPerm -> Map
PowerMultiset
PowerMultiset(R) : Struct -> PowSetMulti
PowerRelation
PowerRelation(r, k: parameters) : FldPrElt, 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 H4E6)
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 H14E27)
pQuotient2
GrpFP_pQuotient2 (Example H14E28)
pQuotient3
GrpFP_pQuotient3 (Example H14E29)
pQuotient4
GrpFP_pQuotient4 (Example H14E30)
pQuotient5
GrpFP_pQuotient5 (Example H14E31)
pQuotient6
GrpFP_pQuotient6 (Example H14E32)
pQuotient7
GrpFP_pQuotient7 (Example H14E33)
pQuotient8
GrpFP_pQuotient8 (Example H14E34)
pQuotientProcess
pQuotientProcess(F, p, c: parameters) : GrpFP, RngIntElt, RngIntElt -> Process
pRadical
pRadical(O, p) : RngOrd -> RngOrdIdl
pRank
pRank(P) : Plane -> RngIntElt
pRanks
pRanks(G) : GrpPC-> [ RngIntElt ]
Precision
Precision(R) : FldCom -> RngIntElt
Precision(r) : FldReElt -> 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 (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 (RING OF INTEGERS)
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)
Preface
PREFACE
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)
The Previous Value Buffer (MAGMA LANGUAGE)
PreviousPrime
PreviousPrime(n) : RngIntElt -> RngIntElt
Primality
Primality(n) : RngIntElt -> RngIntElt
primality
Primality (RING OF INTEGERS)
Primary
Primary(a) : FldQuadElt -> FldQuadElt
PrimaryDecomposition
PrimaryDecomposition(I) : RngMPol -> [ RngMPol ], [ RngMPol ]
RngMPol_PrimaryDecomposition (Example H25E20)
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) : RngMPolElt -> RngMPolElt
PrimitivePart(p) : RngUPolElt -> RngUPolElt
PrimitivePolynomial
PrimitivePolynomial(F, m) : FldFin, RngIntElt -> RngPolElt
PrimitiveRoot
PrimitiveElement(R) : RngIntRes -> RngIntResElt
PrimitiveRoot(m) : RngIntElt -> RngIntElt
PrimitiveStructure
GrpPerm_PrimitiveStructure (Example H16E18)
PrincipalCharacter
Id(R) : AlgChtr -> AlgChtrElt
print
Automatic Printing (MAGMA LANGUAGE)
The print statement (OVERVIEW)
print expression;
Printf
Lang_Printf (Example H1E2)
printf
printf format, expression, ..., 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 H1E19)
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 H38E5)
Progression
Seq_Progression (Example H5E1)
Set_Progression (Example H4E5)
progression
Sequences (OVERVIEW)
Sets (OVERVIEW)
The Arithmetic Progression Constructors (SEQUENCES)
The Arithmetic Progression Constructors (SETS)
proj
The Connection between Projective and Affine Planes (FINITE PLANES)
proj-aff
The Connection between Projective and Affine Planes (FINITE PLANES)
projective
Combinatorial and Geometrical Structures (OVERVIEW)
Construction of a Plane (FINITE PLANES)
projective-plane
Construction of a Plane (FINITE PLANES)
ProjectiveEmbedding
ProjectiveEmbedding(P) : AffPl -> ProjPl, Map
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 @}
ProjectivePlane
ProjectivePlane(D) : Inc -> Plane, PlanePtSet, PlaneLnSet
ProjectivePlane< v | X : parameters > : RngIntElt, List -> ProjPl
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 @}
ProjPl
Combinatorial and Geometrical Structures (OVERVIEW)
prompt
Prompt (OVERVIEW)
properties
Properties of Incidence Structures and Designs (INCIDENCE STRUCTURES AND DESIGNS)
Properties of Planes (FINITE PLANES)
Prune
Prune(S) : List -> List
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 @}
pts-blks-ops
Design_pts-blks-ops (Example H42E8)
PunctureCode
PunctureCode(C, i) : Code, RngIntElt -> Code
[____] [____] [_____] [____] [__] [Index] [Root]