Documentation

PermuteWeights
- PermuteWeights(D, pi, S) : LieRepDec, GrpPermElt, RootDtm -> LieRepDec
pExcess
- pExcess(f, p) : RngMPolElt, RngIntElt -> RngIntElt
Pezzo
- Degree6DelPezzoType3(K,pt) : FldNum, Pt -> Sch
- Degree6DelPezzoType4(K,K1,pt) : FldNum, Fld, Pt -> Sch
- Degree6DelPezzoType6(K,pt) : FldNum, Pt -> Sch
- Degree6DelPezzoType2_1(K,pt) : FldNum, Pt -> Sch
- DelPezzoSurface(P,L) : Prj,List -> SrfDelPezzo
- DelPezzoSurface(f) : RngMPolElt -> SrfDelPezzo
- IsDelPezzo(Y) : Sch -> BoolElt, SrfDelPezzo, MapSch
- MinimizeDeg4delPezzo(f, p) : SeqEnum, RngIntElt -> SeqEnum, Mtrx
- MinimizeReduceDeg4delPezzo(f) : SeqEnum -> SeqEnum, Mtrx
- ParametrizeDegree5DelPezzo(X) : Sch -> MapIsoSch
- ParametrizeDegree6DelPezzo(X) : Sch -> BoolElt, MapIsoSch
- ParametrizeDegree7DelPezzo(X) : Sch -> MapIsoSch
- ParametrizeDegree8DelPezzo(X) : Sch -> BoolElt, MapSch
- ParametrizeDegree9DelPezzo(X) : Sch -> BoolElt, MapIsoSch
- ParametrizeDelPezzo(X, P2) : Sch, Prj -> BoolElt, MapSch
- ParametrizeDelPezzoDeg6(X) : Sch -> BoolElt, MapIsoSch
- ParametrizeSingularDegree3DelPezzo(X,P2) : Sch, Prj -> BoolElt, MapIsoSch
pezzo
- Parametrization of Del Pezzo Surfaces (ALGEBRAIC SURFACES)
Pfaffian
- Pfaffians(M, r) : Mtrx, RngIntElt -> SeqEnum
- Pfaffian(M) : Mtrx -> RngElt
- Pfaffian(B) : TenSpcElt -> RngMPolElt
Pfaffians
- Pfaffians(M, r) : Mtrx, RngIntElt -> SeqEnum
- Pfaffian(M) : Mtrx -> RngElt
- GrpPC_Pfaffians (Example H69E42)
pfgps
- Database of Perfect Groups (DATABASES OF GROUPS)
pFundamental
- pFundamentalUnits(O, p) : RngOrd, RngIntElt -> GrpAb, Map
pFundamentalUnits
- pFundamentalUnits(O, p) : RngOrd, RngIntElt -> GrpAb, Map
PGamma
- PGammaL(arguments)
- ProjectiveGammaLinearGroup(arguments)
- ProjectiveGammaUnitaryGroup(arguments)
PGammaL
- PGammaL(arguments)
- ProjectiveGammaLinearGroup(arguments)
PGammaU
- PGammaU(arguments)
- ProjectiveGammaUnitaryGroup(arguments)
PGL
- PGL(arguments)
- ProjectiveGeneralLinearGroup(arguments)
PGO
- ProjectiveGeneralOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, { at ModTupFldElt atbrace
- PGO(arguments)
PGOMinus
- ProjectiveGeneralOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpPerm, { at ModTupFldElt atbrace
- PGOMinus(arguments)
PGOPlus
- ProjectiveGeneralOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpPerm, { at ModTupFldElt atbrace
- PGOPlus(arguments)
PGroup
- CharacterDegreesPGroup(G) : GrpFin -> [ RngIntElt ]
- CharacterDegreesPGroup(G): GrpPC -> SeqEnum
- CompactProjectiveResolutionPGroup(M, n) : ModAlgBas, RngIntElt -> Rec
- InvariantsMetacyclicPGroup(P) : Grp -> Tup
- IsMetacyclicPGroup(P) : Grp -> BoolElt
- IsSolubleAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt
- NumberOfSubgroupsAbelianPGroup (A) : SeqEnum -> SeqEnum
- OrderAutomorphismGroupAbelianPGroup (A) : SeqEnum -> RngIntElt
- PCGroupAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt, Map, GrpPC
- PGroupToForms(G) : GrpMat -> SeqEnum
- PGroupToForms(G) : GrpPC -> SeqEnum
- ProjectiveResolutionPGroup(PR) : Rec -> ModCpx
- StandardMetacyclicPGroup(P): Grp -> GrpPC
PGroups
- CountPGroups(p, n: parameters) : RngIntElt, RngIntElt -> SeqEnum
- MetacyclicPGroups(p, n: parameters) : RngIntElt, RngIntElt -> SeqEnum
- NumberOfMetacyclicPGroups(p, n): RngIntElt, RngIntElt -> SeqEnum
- SearchPGroups(p, n: parameters) : RngIntElt, RngIntElt -> SeqEnum
pgroups
- Series for p-groups (FINITE SOLUBLE GROUPS)
PGroupsHalfFull
- Multilinear_PGroupsHalfFull (Example H62E46)
PGroupToForms
- PGroupToForms(G) : GrpMat -> SeqEnum
- PGroupToForms(G) : GrpPC -> SeqEnum
- AlgInv_PGroupToForms (Example H94E1)
PGU
- PGU(arguments)
- ProjectiveGeneralUnitaryGroup(arguments)
Phase
- PhaseFlip(e, B) : HilbSpcElt, RngIntElt -> HilbSpcElt
- PhaseFlip(e, k) : HilbSpcElt,RngIntElt -> HilbSpcElt
PhaseFlip
- PhaseFlip(e, B) : HilbSpcElt, RngIntElt -> HilbSpcElt
- PhaseFlip(e, k) : HilbSpcElt,RngIntElt -> HilbSpcElt
Phi
- ElementaryPhiModule(S,d,h) : RngSerLaur, RngIntElt, RngIntElt -> PhiMod
- EulerPhi(n) : RngIntElt -> RngIntElt
- EulerPhiInverse(m) : RngIntElt -> RngIntElt
- FactoredEulerPhi(n) : RngIntElt -> RngIntEltFact
- FactoredEulerPhiInverse(n) : RngIntElt -> RngIntEltFact
- IsogenyMapPhi(I) : Map -> RngUPolElt
- IsogenyMapPhiMulti(I) : Map -> RngUPolElt
- Phi(D, x) : PhiMod, PhiModElt -> PhiModElt
- PhiDual(f,phi) : RngUPolElt -> RngUPolElt
- PhiIrreduciblePolynomials(F,d) : FldFin, RngIntElt -> SeqEnum[Tup]
- PhiModule(M) : AlgMatElt -> PhiMod
- PhiModuleElement(x,D) : AlgMatElt, PhiMod -> PhiModElt
- PhiSelmerGroup(f,q) : RngUPolElt, RngIntElt -> GrpAb, Map
phi
- phi(A) : ModAbVar, MapModAbVar -> ModAbVar
- A @ phi : ModAbVar, MapModAbVar -> ModAbVar
- x @ phi : ModAbVarElt, MapModAbVar -> ModAbVarElt
- G @ phi : ModAbVarSubGrp, MapModAbVar -> ModAbVarSubGrp

V2.28, 13 July 2023

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