Documentation

power
- ALGEBRAIC POWER SERIES RINGS
- Operations on Power Associative Algebras (NON--ASSOCIATIVE ALGEBRAS)
- Parents of Sets and Sequences (INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS])
- Power Groups (POLYCYCLIC GROUPS)
- Power Relation (Algebraic Dependency) (p-ADIC RINGS AND THEIR EXTENSIONS)
- Power Sequences (SEQUENCES)
- Power Sets (SETS)
- POWER, LAURENT AND PUISEUX SERIES
- PowerGroup (FINITE SOLUBLE GROUPS)
- Symmetric Powers (DIFFERENTIAL RINGS)
- Transition Matrices from Power Sum Basis (SYMMETRIC FUNCTIONS)
power-group
- Power Groups (POLYCYCLIC GROUPS)
- PowerGroup (FINITE SOLUBLE GROUPS)
power-relation
- Power Relation (Algebraic Dependency) (p-ADIC RINGS AND THEIR EXTENSIONS)
power-sequence
- Power Sequences (SEQUENCES)
power-set
- Power Sets (SETS)
power-set-sequence
- Parents of Sets and Sequences (INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS])
PowerFormalSet
- PowerFormalSet(R) : Str -> PowSetIndx
PowerGroup
- PowerGroup(G) : GrpPC -> PowerGroup
PowerGroupTwo
- GrpPC_PowerGroupTwo (Example H69E37)
PowerIdeal
- PowerIdeal(R) : Rng -> PowIdl
PowerIndexedSet
- PowerIndexedSet(R) : Str -> PowSetIndx
powering
- AlgGrp_powering (Example H91E5)
PowerMap
- PowerMap(R) : AlgChtr -> Map
- PowerMap(G) : GrpFin -> Map
- PowerMap(G) : GrpMat -> Map
- PowerMap(G) : GrpPC -> Map
- PowerMap(G) : GrpPerm -> Map
PowerMultiset
- PowerMultiset(R) : Str -> PowSetMulti
PowerPolynomial
- PowerPolynomial(f,n) : RngUPolElt, RngIntElt -> RngUPolElt
PowerProduct
- PowerProduct(B, E) : [RngOrdFracIdl], [RngIntElt] -> RngOrdFracIdl
- ProductRepresentation(P, E) : [ FldAlgElt ], [ RngIntElt ] -> FldAlgElt
- ProductRepresentation(P, E) : [ FldNumElt ], [ RngIntElt ] -> FldNumElt
- ProductRepresentation(Q, S) : [FldFunGElt], [RngIntElt] -> FldFunGElt
PowerRelation
- PowerRelation(x,n) : FldPadElt, RngIntElt -> RngUPolElt
- PowerRelation(r, k: parameters) : FldReElt, RngIntElt -> RngUPolElt
PowerResidueCode
- PowerResidueCode(K, n, p) : FldFin, RngIntElt, RngIntElt -> Code
PowerSequence
- PowerSequence(R) : Str -> PowSeqEnum
- Seq_PowerSequence (Example H11E2)
PowerSeries
- qEigenform(M, prec) : ModSym, RngIntElt -> RngSerPowElt
- PowerSeries(M, prec) : ModSym, RngIntElt -> RngSerPowElt
- Eigenform(M, prec) : ModSym, RngIntElt -> RngSerPowElt
- qExpansion(f) : ModFrmElt -> RngSerPowElt
PowerSeriesRing
- PowerSeriesRing(R) : Rng -> RngSerPow
PowerSet
- PowerSet(R) : Str -> PowSetEnum
- Set_PowerSet (Example H10E6)
PowerSumToElementaryMatrix
- PowerSumToElementaryMatrix(n): RngIntElt -> AlgMatElt
PowerSumToElementarySymmetric
- PowerSumToElementarySymmetric(I) : [] -> []
PowerSumToHomogeneousMatrix
- PowerSumToHomogeneousMatrix(n): RngIntElt -> AlgMatElt
PowerSumToMonomialMatrix
- PowerSumToMonomialMatrix(n): RngIntElt -> AlgMatElt
PowerSumToSchurMatrix
- PowerSumToSchurMatrix(n): RngIntElt -> AlgMatElt
pPart
- pParts(H) : HypGeomMot -> List
- pPart(H, p) : HypGeomMot, RngIntElt -> Tup
pParts
- pParts(H) : HypGeomMot -> List
- pPart(H, p) : HypGeomMot, RngIntElt -> Tup
pPlus1
- pPlus1(n, B1) : RngIntElt, RngIntElt -> RngIntElt
pPower
- pPowerTorsion(E, p) : CrvEll, RngIntElt -> GrpAb, Map
pPowerTorsion
- pPowerTorsion(E, p) : CrvEll, RngIntElt -> GrpAb, Map
pPrimary
- pPrimaryComponent(A, p) : GrpAb, RngIntElt -> GrpAb
- pPrimaryInvariants(A, p) : GrpAb, RngIntElt -> [ RngIntElt ]
pPrimaryComponent
- pPrimaryComponent(A, p) : GrpAb, RngIntElt -> GrpAb
pPrimaryInvariants
- pPrimaryInvariants(A, p) : GrpAb, RngIntElt -> [ RngIntElt ]
pQuotient
- pQuotient(L, M) : AlgLie, AlgLie -> AlgLie
- pQuotient(G, p, c) : GrpMat, RngIntElt, RngIntElt -> GrpPC, Map, SeqEnum, BoolElt
- pQuotient(G, p, c) : GrpPerm, RngIntElt, RngIntElt -> GrpPC, Map, SeqEnum, BoolElt
- pQuotient(F, p, c : parameters ) : GrpFP, RngIntElt, RngIntElt -> GrpPC, Map
- pQuotient(G, p, c : parameters ) : GrpPC, RngIntElt, RngIntElt -> GrpPC, Map
- pQuotient(F, p, c: parameters) : GrpFP, RngIntElt, RngIntElt -> GrpPC, Map
- pQuotient(F, p, c: parameters) : GrpFP, RngIntElt, RngIntElt -> GrpPC, Map, SeqEnum , BoolElt
- pQuotientDefinitions(G) : GrpPC -> SeqEnum
- pQuotientProcess(F, p, c: parameters) : GrpFP, RngIntElt, RngIntElt -> Process
pQuotient1
- GrpFPInt_pQuotient1 (Example H77E30)
- GrpFP_pQuotient1 (Example H78E61)
pQuotient2
- GrpFPInt_pQuotient2 (Example H77E31)
- GrpFP_pQuotient2 (Example H78E62)
pQuotient3
- GrpFPInt_pQuotient3 (Example H77E32)
- GrpFP_pQuotient3 (Example H78E63)
pQuotient4
- GrpFP_pQuotient4 (Example H78E64)
pQuotient5
- GrpFP_pQuotient5 (Example H78E65)

V2.28, 13 July 2023

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