Documentation

PolarSpace
- PolarSpace(F, a) : AlgMatElt[FldFin], FldAut -> ModTupFld[FldFin]
- PolarSpace(L) : LatNF -> SpcPlr
polarspace
- FldForms_polarspace (Example H30E11)
PolarSpaceType
- PolarSpaceType(V) : ModTupFld -> MonStgElt
PolarToComplex
- PolarToComplex(m, a) : FldReElt, FldReElt -> FldComElt
Pole
- PoleDivisor(D) : DivFunElt -> DivFunElt
- Denominator(D) : DivFunElt -> DivFunElt
- PoleDivisor(a) : FldFunElt -> OMDiv
PoleDivisor
- PoleDivisor(D) : DivFunElt -> DivFunElt
- Denominator(D) : DivFunElt -> DivFunElt
- PoleDivisor(a) : FldFunElt -> OMDiv
Poles
- Poles(F, a) : FldFun, FldFunGElt -> [PlcFunElt]
- Poles(a) : FldFunElt -> [ PlcFunElt ]
- Poles(a) : FldFunGElt -> SeqEnum[PlcFunElt]
- Zeros(C, f) : Crv, RngElt -> [PlcCrvElt]
- Zeros(f) : FldFunFracSchElt[Crv] -> SeqEnum[PlcCrvElt]
Pollard
- PollardRho(n) : RngIntElt -> RngIntEltFact, [ RngIntElt ]
PollardRho
- PollardRho(n) : RngIntElt -> RngIntEltFact, [ RngIntElt ]
Poly
- PolyMapKernel(f) : Map -> RngMPol
- PolyToSeries(s) : RngMPolElt -> RngPowAlgElt
poly
- Exact Polynomial Rings (p-ADIC RINGS AND THEIR EXTENSIONS)
- Minimal and Characteristic Polynomials and Eigenvalues (SPARSE MATRICES)
- Polynomial Rings (PARALLELISM)
- Polynomials (p-ADIC RINGS AND THEIR EXTENSIONS)
- Straight-line Polynomials (GALOIS GROUPS AND AUTOMORPHISMS)
- Using Newton Polygons to Find Roots of Polynomials over Series Rings (NEWTON POLYGONS)
poly bang
- AlgSym_poly bang (Example H159E4)
poly-bang-2
- AlgSym_poly-bang-2 (Example H159E5)
poly-elts
- Polynomials (p-ADIC RINGS AND THEIR EXTENSIONS)
poly-ex
- RngLoc_poly-ex (Example H49E36)
poly-fact
- RngLocA_poly-fact (Example H50E8)
Poly-Hensel
- RngLoc_Poly-Hensel (Example H49E22)
poly-ops
- Using Newton Polygons to Find Roots of Polynomials over Series Rings (NEWTON POLYGONS)
poly-ops-ex
- Newton_poly-ops-ex (Example H56E6)
poly-ring-ex
- RngLoc_poly-ring-ex (Example H49E35)
poly-rings
- Exact Polynomial Rings (p-ADIC RINGS AND THEIR EXTENSIONS)
poly_fact
- Polynomial Factorization (GENERAL p-ADIC EXTENSIONS)
Polycyclic
- PolycyclicGroup< X | R > : List(Identifiers), List(GrpFPRel) -> GrpPC, Hom
- AbelianGroup< X | R > : List(Identifiers), List(GrpAbRel) -> GrpAb, Hom(GrpAb)
- Group< X | R > : List(Identifiers), List(GrpFPRel) -> GrpFP, Hom(Grp)
- IsPolycyclic(G : parameters) : GrpMat -> BoolElt
- IsPolycyclicByFinite(G : parameters) : GrpMat -> BoolElt
- PolycyclicGenerators(G) : GrpMat -> [ GrpPCElt ]
- PolycyclicGroup< x₁, ..., x_n | R : parameters > : List(Identifiers), List(GrpFPRel) -> GrpGPC, Map
- PolycyclicGroup< x₁, ..., x_n | R : parameters > : List(Identifiers), List(GrpFPRel) -> GrpPC, Map
polycyclic
- Introduction (POLYCYCLIC GROUPS)
- POLYCYCLIC GROUPS
- Polycyclic Groups and Polycyclic Presentations (POLYCYCLIC GROUPS)
polycyclic-groups
- Polycyclic Groups and Polycyclic Presentations (POLYCYCLIC GROUPS)
polycyclic-groups-introduction
- Introduction (POLYCYCLIC GROUPS)
PolycyclicGenerators
- PolycyclicGenerators(G) : GrpMat -> [ GrpPCElt ]
PolycyclicGroup
- PolycyclicGroup< X | R > : List(Identifiers), List(GrpFPRel) -> GrpPC, Hom
- AbelianGroup< X | R > : List(Identifiers), List(GrpAbRel) -> GrpAb, Hom(GrpAb)
- Group< X | R > : List(Identifiers), List(GrpFPRel) -> GrpFP, Hom(Grp)
- PolycyclicGroup< x₁, ..., x_n | R : parameters > : List(Identifiers), List(GrpFPRel) -> GrpGPC, Map
- PolycyclicGroup< x₁, ..., x_n | R : parameters > : List(Identifiers), List(GrpFPRel) -> GrpPC, Map
- GrpGPC_PolycyclicGroup (Example H81E2)
- GrpPC_PolycyclicGroup (Example H70E2)
- Grp_PolycyclicGroup (Example H64E5)
Polygon
- IsNewtonPolygonOf(N, f) : NwtnPgon, RngElt -> BoolElt
- IsPolygon(G) : Grph -> BoolElt
- NewtonPolygon(C) : Crv -> NwtnPgon
- NewtonPolygon(L) : RngDiffOpElt -> NwtnPgon, RingDiffOpElt
- NewtonPolygon(L, p) : RngDiffOpElt, PlcFunElt -> NwtnPgon, RingDiffOpElt
- NewtonPolygon(f) : RngMPolElt -> NwtnPgon
- NewtonPolygon(f) : RngUPolElt -> NwtnPgon
- NewtonPolygon(f) : RngUPolElt -> NwtnPgon
- NewtonPolygon(f, p) : RngUPolElt, PlcFunElt -> NwtnPgon
- NewtonPolygon(f, p) : RngUPolElt, RngOrdIdl -> NwtnPgon
- NewtonPolygon(f) : RngUPolXPadElt[RngXPad] -> NwtnPgon
- NewtonPolygon(V) : SeqEnum -> NwtnPgon
- PolygonGraph(n : parameters) : RngIntElt -> GrphUnd
- RamificationPolygon(L) : FldXPad -> NwtnPgon
polygon
- NEWTON POLYGONS
- Newton Polygons (DIFFERENTIAL RINGS)
PolygonGraph
- PolygonGraph(n : parameters) : RngIntElt -> GrphUnd
Polygons
- DisplayPolygons(P,file) : SeqEnum, MonStgElt ->
polyhedra
- Cones and Polyhedra (CONVEX POLYTOPES AND POLYHEDRA)
- CONVEX POLYTOPES AND POLYHEDRA
- Geometrical Properties of Cones and Polyhedra (TORIC VARIETIES)
- Polyhedra (CONVEX POLYTOPES AND POLYHEDRA)
- Polytopes, Cones and Polyhedra (CONVEX POLYTOPES AND POLYHEDRA)

V2.29, 21 October 2025

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