Documentation

P
- d.eef P g : RngIntElt, RngIntElt, RngIntElt -> FldReElt
- d.eef p g : RngIntElt, RngIntElt, RngIntElt -> FldReElt
- d.e E fpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
- d.e e fpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
- d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
- Group4P(o, i) : RngIntElt, RngIntElt -> Grp
- Groups4P(o) : RngIntElt -> List
- IdentifyGroup4P(G) : GrpPC -> RngIntElt
- MinimizeAtP(f, p) : RngMPolElt, RngIntElt -> RngMPolElt, AlgMatElt, RngIntElt
- NumberOfGroups4P(o) : RngIntElt -> RngIntElt
- PolylogD(m, s) : RngIntElt, FldComElt -> FldComElt
p
- Constructing Irreducible K[G]-Modules (Characteristic p) (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Creation of Point Singularities (HILBERT SERIES OF POLARISED VARIETIES)
- Generating p-groups (FINITE SOLUBLE GROUPS)
- Group Algebras of p-groups (BASIC ALGEBRAS)
- Lifting from the Automorphism Group of a Sylow p-subgroup (FINITE SOLUBLE GROUPS)
- p-group (FINITE SOLUBLE GROUPS)
- p-group Functions (MATRIX GROUPS OVER GENERAL RINGS)
- p-Quotient (FINITELY PRESENTED GROUPS)
- p-Quotient (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Reduction Mod p (SCHEMES)
- SERIES RINGS OVER p-ADIC RINGS
- The p-groups of Order Dividing p⁷ (DATABASES OF GROUPS)
- d . eefpg : RngIntElt, RngIntElt, RngIntElt -> FldReElt
p-adic-pow-ser
- SERIES RINGS OVER p-ADIC RINGS
p-group
- p-group Functions (MATRIX GROUPS OVER GENERAL RINGS)
p-groups
- Generating p-groups (FINITE SOLUBLE GROUPS)
- Group Algebras of p-groups (BASIC ALGEBRAS)
- The p-groups of Order Dividing p⁷ (DATABASES OF GROUPS)
P-key
- P
p-key
- p
p-Quotient
- p-Quotient (FINITELY PRESENTED GROUPS)
- p-Quotient (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
p-sing
- Creation of Point Singularities (HILBERT SERIES OF POLARISED VARIETIES)
P3
- Canonical Divisor Functionality (ALGEBRAIC SURFACES)
- Introduction (ALGEBRAIC SURFACES)
- Multiplicities, Intersections and Restricted Linear Systems (ALGEBRAIC SURFACES)
- Surfaces in P³ (ALGEBRAIC SURFACES)
- EmbedPlaneCurveInP3(C) : Crv -> Sch, MapSch
P4
- Special Surfaces in Projective 4-space (ALGEBRAIC SURFACES)
p7
- GrpData_p7 (Example H72E6)
package
- FUNCTIONS, PROCEDURES AND PACKAGES
- Packages (FUNCTIONS, PROCEDURES AND PACKAGES)
PackageUserAttributes
- Func_PackageUserAttributes (Example H2E16)
Packing
- PackingRadius(L) : Lat -> FldReElt
- SpherePackingBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
PackingRadius
- PackingRadius(L) : Lat -> FldReElt
Pad
- PadCode(C, n) : Code, RngIntElt -> Code
- PadCode(C, n) : Code, RngIntElt -> Code
- PadCode(C, n) : CodeAdd, RngIntElt -> CodeAdd
PadCode
- PadCode(C, n) : Code, RngIntElt -> Code
- PadCode(C, n) : Code, RngIntElt -> Code
- PadCode(C, n) : CodeAdd, RngIntElt -> CodeAdd
Pade
- PadeHermiteApproximant(f,m) : SeqEnum, RngIntElt -> ModTupRngElt, SeqEnum
- PadeHermiteApproximant(f,d) : SeqEnum, SeqEnum -> ModTupRngElt, SeqEnum, RngIntElt
pade
- Approximants (RATIONAL FUNCTION FIELDS)
pade-hermite-approximants
- Approximants (RATIONAL FUNCTION FIELDS)
- FldFunRat_pade-hermite-approximants (Example H44E11)
pade-hermite-approximants-vectors
- FldFunRat_pade-hermite-approximants-vectors (Example H44E14)
padehermite
- Padé-Hermite Approximants (RATIONAL FUNCTION FIELDS)
PadeHermiteApproximant
- PadeHermiteApproximant(f,m) : SeqEnum, RngIntElt -> ModTupRngElt, SeqEnum
- PadeHermiteApproximant(f,d) : SeqEnum, SeqEnum -> ModTupRngElt, SeqEnum, RngIntElt
pAdic
- PrimeField(L) : FldPad -> FldPad
- pAdicRing(L) : RngPad -> RngPad
- pAdicField(L) : FldPad -> FldPad
- PrimeRing(L) : RngPad -> RngPad
- pAdicEllipticLogarithm(P, p: parameters): PtEll, RngIntElt -> FldLocElt
- pAdicEmbeddings(f, p) : ModFrmElt, RngIntElt -> List
- pAdicField(p : parameters) : RngIntElt -> FldXPad
- pAdicHeight(P, p) : PtEll, RngIntElt -> FldPadElt
- pAdicLSeries(E, p) : CrvEll, RngIntElt -> RngSerPowElt
- pAdicQuotientRing(L, k) : FldXPad, RngIntElt -> RngPadRes, Map
- pAdicQuotientRing(p, k) : RngIntElt, RngIntElt -> RngPadRes
- pAdicRegulator(S, p) : [PtEll], RngIntElt -> FldPadElt
- pAdicRing(p : parameters) : RngIntElt -> FldXPad
- pAdicRing(p) : RngIntElt -> RngPad
- pAdicRing(p, k) : RngIntElt, RngIntElt -> RngPad
padic-height
- CrvEllQNF_padic-height (Example H130E7)
padic-precision-woes
- RngLoc_padic-precision-woes (Example H48E15)
padic-rootno-ex
- RngLoc_padic-rootno-ex (Example H48E7)
pAdicEllipticLogarithm
- pAdicEllipticLogarithm(P, p: parameters): PtEll, RngIntElt -> FldLocElt
pAdicEmbeddings
- pAdicEmbeddings(f, p) : ModFrmElt, RngIntElt -> List

V2.28, 13 July 2023

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