Documentation

PolynomialSieve
- PolynomialSieve(F, m, J0, J1,MaxAlpha) : RngMPolElt, RngIntElt, RngIntElt, RngIntElt, FldReElt -> List
polyquad
- FldForms_polyquad (Example H30E13)
polys
- Hilbert Series and Hilbert Polynomials (HILBERT SERIES OF POLARISED VARIETIES)
Polytope
- CrossPolytope(L) : TorLat -> TorPol
- CyclicPolytope(L,n) : TorLat,RngIntElt -> TorPol
- IsPolytope(P) : TorPol -> BoolElt
- Polytope(Q) : SeqEnum -> TorPol
- PolytopeOfProjectiveSpace(d) : RngIntElt -> TorPol
- PolytopeOfWPS(W) : [RngIntElt] -> TorPol
- RandomPolytope(L,n,k) : TorLat,RngIntElt,RngIntElt -> TorPol
- RiemannRochPolytope(D) : DivTorElt -> TorPol
polytope-affine-normal-form-example
- Polyhedra_polytope-affine-normal-form-example (Example H152E7)
polytope-automorphism-example
- Polyhedra_polytope-automorphism-example (Example H152E8)
polytope-example
- Polyhedra_polytope-example (Example H152E1)
polytope-isomorphism-example
- Polyhedra_polytope-isomorphism-example (Example H152E5)
polytope-normal-form-example
- Polyhedra_polytope-normal-form-example (Example H152E6)
PolytopeOfProjectiveSpace
- PolytopeOfWPS(d) : RngIntElt -> TorPol
- PolytopeOfProjectiveSpace(d) : RngIntElt -> TorPol
PolytopeOfWPS
- PolytopeOfWPS(d) : RngIntElt -> TorPol
- PolytopeOfProjectiveSpace(d) : RngIntElt -> TorPol
- PolytopeOfWPS(W) : [RngIntElt] -> TorPol
polytopes
- Polytopes (CONVEX POLYTOPES AND POLYHEDRA)
- Polytopes, Cones and Polyhedra (CONVEX POLYTOPES AND POLYHEDRA)
polytopes-cones-polyhedra
- Polytopes, Cones and Polyhedra (CONVEX POLYTOPES AND POLYHEDRA)
PolyToSeries
- PolyToSeries(s) : RngMPolElt -> RngPowAlgElt
POmega
- POmega(arguments)
- ProjectiveOmega(arguments)
- ProjectiveOmegaMinus(arguments)
- ProjectiveOmegaPlus(arguments)
POmegaMinus
- POmegaMinus(arguments)
- ProjectiveOmegaMinus(arguments)
POmegaPlus
- POmegaPlus(arguments)
- ProjectiveOmegaPlus(arguments)
Pop
- IndentPop() : ->
- IndentPop(C) : RngIntElt ->
- Pop(P) : StkPtnOrd ->
POpen
- POpen(cmd, mode) : MonStgElt, MonStgElt -> IO
Port
- SetWorkerPort(P) : RngIntElt ->
Pos
- NumPosRoots(C) : AlgMatElt -> RngIntElt
- NumberOfPositiveRoots(C) : AlgMatElt -> RngIntElt
- NumberOfPositiveRoots(W) : GrpFPCox -> RngIntElt
- NumberOfPositiveRoots(G) : GrpLie -> RngIntElt
- NumberOfPositiveRoots(W) : GrpMat -> RngIntElt
- NumberOfPositiveRoots(W) : GrpPermCox -> RngIntElt
- NumberOfPositiveRoots(N) : MonStgElt -> .
- NumberOfPositiveRoots(R) : RootStr -> RngIntElt
- NumberOfPositiveRoots(R) : RootSys -> RngIntElt
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
- Position(s, t) : MonStgElt, MonStgElt -> RngIntElt
- Index(s, t) : MonStgElt, MonStgElt -> RngIntElt
- Index(S, x) : SeqEnum, Elt -> RngIntElt
- Index(S, x) : SetIndx, Elt -> RngIntElt
- PlaceEnumPosition(R) : PlcEnum -> [RngIntElt]
- PointsInGeneralPosition(P2,S) : Prj,SetIndx[Pt] -> BoolElt,SeqEnum,SeqEnum,SeqEnum
- RootPosition(G, v) : GrpLie, . -> (@@)
- RootPosition(W, v) : GrpMat, . -> (@@)
- RootPosition(W, v) : GrpPermCox, . -> (@@)
- RootPosition(R, v) : RootStr, . -> (@@)
- RootPosition(R, v) : RootSys, . -> (@@)
position
- Positioning (INPUT AND OUTPUT)
Positions
- IdempotentPositions(B) : AlgBas -> SeqEnum
Positive
- PositiveGammaOrbitsOnRoots(R) : RootDtm -> SeqEnum[GSetEnum]
- NegativeGammaOrbitsOnRoots(R) : RootDtm -> SeqEnum[GSetEnum]
- ZeroGammaOrbitsOnRoots(R) : RootDtm -> SeqEnum[GSetEnum]
- GammaOrbitsOnRoots(R) : RootDtm -> SeqEnum[GSetEnum]
- HasPositiveH1Dimension(G, phi : parameters) : GrpFP, HomGrp -> BoolElt
- HasTotallyPositiveGenerator(I) : RngOrdFracIdl -> BoolElt, [ RngOrdElt ]
- IsEffective(D) : DivCrvElt -> BoolElt
- IsEffective(D) : OMDiv -> BoolElt
- IsPositive(W, r) : GrpPermCox, RngIntElt -> BoolElt
- IsPositive(R, r) : RootStr, RngIntElt -> BoolElt
- IsPositive(R, r) : RootSys, RngIntElt -> BoolElt
- IsPositiveDefinite(F) : Mtrx -> BoolElt
- IsPositiveSemiDefinite(F) : Mtrx -> BoolElt
- IsTotallyPositive(a) : FldNumElt -> BoolElt
- IsTotallyPositive(a) : RngOrdElt -> BoolElt
- IsTotallyPositiveDefinite(L) : LatNF -> BoolElt
- MinimalElementConjugatingToPositive(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- NumberOfPositiveRoots(C) : AlgMatElt -> RngIntElt
- NumberOfPositiveRoots(W) : GrpFPCox -> RngIntElt
- NumberOfPositiveRoots(G) : GrpLie -> RngIntElt
- NumberOfPositiveRoots(W) : GrpMat -> RngIntElt
- NumberOfPositiveRoots(W) : GrpPermCox -> RngIntElt
- NumberOfPositiveRoots(N) : MonStgElt -> .
- NumberOfPositiveRoots(R) : RootStr -> RngIntElt
- NumberOfPositiveRoots(R) : RootSys -> RngIntElt
- PositiveConjugates(u: parameters) : GrpBrdElt -> SetIndx
- PositiveConjugatesProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
- PositiveDefiniteForm(G) : GrpMat -> Mtrx
- PositiveDefiniteForm(L) : Lat -> AlgMatElt
- PositiveQuadrant(L) : TorLat -> TorCon
- PositiveRoots(G) : GrpLie -> (@@)
- PositiveRoots(W) : GrpMat -> (@@)
- PositiveRoots(W) : GrpPermCox -> (@@)
- PositiveRoots(R) : RootStr -> (@@)
- PositiveRoots(R) : RootSys -> (@@)
- PositiveRootsPerm(U) : AlgQUE -> SeqEnum
- PositiveSum(m, i) : Map, RngIntElt -> FldReElt
- RandomPositiveCone(d,n,k) : RngIntElt,RngIntElt,RngIntElt -> TorCon
- RelativeRoots(R) : RootDtm -> SetIndx

V2.28, 13 July 2023

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