Documentation

PseudoBasisMatrix
- PseudoBasisMatrix(L) : LatNF -> Mtrx
- PseudoBasis(L) : LatNF -> [ModTupFldElt]
PseudoDimension
- NumberOfGenerators(C) : Code -> RngIntElt
- Ngens(C) : Code -> RngIntElt
- PseudoDimension(C) : Code -> RngIntElt
PseudoGenerators
- PseudoGenerators(M): ModDed -> SeqEnum
PseudoGramMatrix
- PseudoGramMatrix(L) : LatNF -> Mtrx
Pseudoinverse
- NumericalPseudoinverse(M) : Mtrx[RngReCom] -> Mtrx
PseudoIsometries
- GrpPC_PseudoIsometries (Example H69E49)
PseudoMatrix
- PseudoMatrix(I, R) : AlgAssVOrdIdl[RngOrd], Str -> PMat
- Basis(I, R) : AlgAssVOrdIdl, Str -> SeqEnum
- BasisMatrix(I, R) : AlgAssVOrdIdl, Str -> AlgMatElt
- PseudoBasis(I, R) : AlgAssVOrdIdl[RngOrd], Str -> SeqEnum
- PseudoMatrix(I) : AlgAssVOrdIdl[RngOrd] -> PMat
- PseudoMatrix(O) : AlgAssVOrd[RngOrd]> -> PMat
- PseudoMatrix(L) : LatNF -> PMat
- PseudoMatrix(M) : ModDed -> PMat
- PseudoMatrix(m) : Mtrx[FldOrd] -> PMat
- PseudoMatrix(I, m) : [RngOrdFracIdl], MtrxSpcElt -> PMat
PseudoRandom
- PseudoRandom(G) : GrpBB -> GrpBBElt
PseudoReflection
- PseudoReflection(a, b) : ModTupRngElt, ModTupRngElt -> AlgMatElt
pseudoreflection
- GrpRfl_pseudoreflection (Example H106E1)
PseudoReflectionGroup
- PseudoReflectionGroup(A, B) : Mtrx, Mtrx -> GrpMat, Map
PseudoRemainder
- PseudoRemainder(f, g) : RngUPolElt, RngUPolElt -> RngUPolElt
Psi
- ContravariantSigmaAndPsi(Phi) : RngMPolElt -> RngMPolElt, RngMPolElt
- IsogenyMapPsi(I) : Map -> RngUPolElt
- IsogenyMapPsiMulti(I) : Map -> RngUPolElt
- IsogenyMapPsiSquared(I) : Map -> RngUPolElt
- LogDerivative(s) : FldReElt -> FldReElt
PSigma
- PSigmaL(arguments)
- ProjectiveSigmaLinearGroup(arguments)
- ProjectiveSigmaSymplecticGroup(arguments)
- ProjectiveSigmaUnitaryGroup(arguments)
PSigmaL
- PSigmaL(arguments)
- ProjectiveSigmaLinearGroup(arguments)
PSigmaSp
- PSigmaSp(arguments)
- ProjectiveSigmaSymplecticGroup(arguments)
PSigmaU
- PSigmaU(arguments)
- ProjectiveSigmaUnitaryGroup(arguments)
pSignature
- pSignature(f,p) : RngMPolElt, RngIntElt -> RngIntElt
PSL
- PSL(arguments)
- ProjectiveSpecialLinearGroup(arguments)
PSL2
- HasInfinitePSL2Quotient(G) :: GrpFP -> BoolElt, SeqEnum
- PSL2(R) : Rng -> GrpPSL2
PSO
- ProjectiveSpecialOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, { at ModTupFldElt atbrace
- PSO(arguments)
PSOMinus
- ProjectiveSpecialOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpPerm, { at ModTupFldElt atbrace
- PSOMinus(arguments)
PSOPlus
- ProjectiveSpecialOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpPerm, { at ModTupFldElt atbrace
- PSOPlus(arguments)
PSp
- PSp(arguments)
- ProjectiveSymplecticGroup(arguments)
PSU
- PSU(arguments)
- ProjectiveSpecialUnitaryGroup(arguments)
pSubalgebra
- pSubalgebra(Q) : SetEnum[AlgLieElt] -> AlgLie
- RestrictedSubalgebra(Q) : SetEnum[AlgLieElt] -> AlgLie
pSylowComputation
- GrpAb_pSylowComputation (Example H75E12)
PSz
- PSz(arguments)
- ProjectiveSuzukiGroup(arguments)
ptbools
- Tests for Points and Faces (NEWTON POLYGONS)
pts-blks-ops
- Design_pts-blks-ops (Example H156E7)
Puiseux
- DuvalPuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum
- ParametrizationToPuiseux(T) : Tup -> SeqEnum
- PuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum[RngSerPuisElt]
- PuiseuxExponents(p) : RngSerElt -> SeqEnum
- PuiseuxExponentsCommon(p, q) : RngSerElt, RngSerElt -> SeqEnum
- PuiseuxSeriesRing(R) : Rng -> RngSerPuis
- PuiseuxToParametrization(S) : RngSerElt -> Tup
- RationalPuiseux(p) : RngUPolElt -> Tup, SeqEnum, RngIntElt
- FldAC_Puiseux (Example H43E3)
puiseux
- Puiseux Series (POWER, LAURENT AND PUISEUX SERIES)
- Rational Puiseux Expansions (ALGEBRAIC POWER SERIES RINGS)
PuiseuxExpansion
- PuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum[RngSerPuisElt]
PuiseuxExponents
- PuiseuxExponents(p) : RngSerElt -> SeqEnum
PuiseuxExponentsCommon
- PuiseuxExponentsCommon(p, q) : RngSerElt, RngSerElt -> SeqEnum
PuiseuxSeriesRing
- PuiseuxSeriesRing(R) : Rng -> RngSerPuis
PuiseuxToParametrization
- PuiseuxToParametrization(S) : RngSerElt -> Tup
pull
- Maps Induced by Morphisms (ALGEBRAIC CURVES)
Pullback
- FourCoverPullback(C, pt) : Crv[FldRat], PtEll[FldRat] -> [Pt]
- Pullback(H, phi) : HomModAbVar, MapModAbVar -> HomModAbVar
- Pullback(f, N) : Map, ModGrp -> GrpFP
- Pullback(phi, H) : MapModAbVar, HomModAbVar -> HomModAbVar
- Pullback(phi, H, psi) : MapModAbVar, HomModAbVar, MapModAbVar -> HomModAbVar
- Pullback(phi, X) : MapSch, FldFunFracSchElt -> FldFunFracSchElt
- Pullback(f, p) : MapSch, Pt -> Any
- Pullback(f, X) : MapSch, Sch -> Sch
- Pullback(f,L) : MapSch,LinearSys -> LinearSys
- Pullback(f1, M1, f2, M2, N) : ModAlg, ModMatFldElt, ModAlg, ModMatFldElt, ModAlg -> ModAlg, ModMatFldElt, ModMatFldElt
- Pullback(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- QuotientWithPullback(L, I) : AlgLie, AlgLie -> AlgLie, Map, UserProgram, UserProgram
- TwoCoverPullback(H, pt) : CrvHyp[FldRat], PtEll[FldRat] -> [PtHyp]
punct-z4
- CodeRng_punct-z4 (Example H164E11)
Puncture
- PunctureCode(C, i) : Code, RngIntElt -> Code
- PunctureCode(C, i) : Code, RngIntElt -> Code
- PunctureCode(C, S) : Code, { RngIntElt } -> Code
- PunctureCode(C, S) : Code, { RngIntElt } -> Code
- PunctureCode(C, i) : CodeAdd, RngIntElt -> Code
- PunctureCode(C, S) : CodeAdd, { RngIntElt } -> Code
- PunctureCode(Q, i) : CodeQuantum, RngIntElt -> CodeQuantum
- PunctureCode(Q, I) : CodeQuantum, SetEnum -> CodeQuantum

V2.28, 13 July 2023

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