Documentation

presentation-operations
- Presentation Operations (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
presentation-properties
- Properties of a Polycyclic Presentation (POLYCYCLIC GROUPS)
PresentationIsSmall
- PresentationIsSmall(G) : GrpGPC -> BoolElt
PresentationLength
- PresentationLength(G) : GrpFP -> RngIntElt
- PresentationLength(P) : GrpFPTietzeProc -> RngIntElt
PresentationMatrix
- Matrix(f) : ModMPolHom -> ModMatRngElt
- PresentationMatrix(f) : ModMPolHom -> ModMatRngElt
presentations
- TwistedRowReductionMap(ρ) : Map[GrpLie,GrpMat] -> UserProgram
- Curtis--Steinberg--Tits Presentations (GROUPS OF LIE TYPE)
- Generators and Presentations (MATRIX ALGEBRAS)
- More About Presentations (FINITE SOLUBLE GROUPS)
- Power-Conjugate Presentations (FINITE SOLUBLE GROUPS)
- Presentations (PERMUTATION GROUPS)
- Presentations for Matrix Algebras (MATRIX ALGEBRAS)
presented
- FINITELY PRESENTED ALGEBRAS
- Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
- FINITELY PRESENTED GROUPS
- Finitely Presented Modules (FINITELY PRESENTED ALGEBRAS)
- FINITELY PRESENTED SEMIGROUPS
- FREE GROUPS
- INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS]
Preserving
- GonalityPreservingLift(C) : Crv[FldFun] -> RngUPolElt, AlgMatElt, AlgMatElt
Pretty
- PrettyPrintInvariant(I) : RngSLPolElt -> MonStgElt
PrettyPrintInvariant
- PrettyPrintInvariant(I) : RngSLPolElt -> MonStgElt
Previous
- ClearPrevious() : ->
- GetPreviousSize() : -> RngIntElt
- PreviousPrime(n) : RngIntElt -> RngIntElt
- SetPreviousSize(n) : RngIntElt ->
- ShowPrevious() : ->
- ShowPrevious(i) : RngIntElt ->
previous
- PrimeDivisors(n) : RngIntElt -> [RngIntElt]
- Other Functions Relating to Primes (RING OF INTEGERS)
PreviousPrime
- PreviousPrime(n) : RngIntElt -> RngIntElt
PRI
- IsPRI(C) : CosetGeom -> BoolElt
- IsPrimitive(C) : CosetGeom -> BoolElt
Primality
- CheckCertificate(cert) : SeqEnum -> BoolElt
- PrimalityCertificate(n) : RngIntElt -> SeqEnum
primality
- Primality (RING OF INTEGERS)
PrimalityCertificate
- CheckCertificate(cert) : SeqEnum -> BoolElt
- PrimalityCertificate(n) : RngIntElt -> SeqEnum
Primary
- IsPrimary(I) : RngMPol -> BoolElt
- IsPrimary(I) : RngMPolRes -> BoolElt
- Primary(a) : RngQuadElt -> RngQuadElt
- PrimaryAbelianBasis(A) : GrpAb -> [ GrpAbElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpFin -> [ GrpFinElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpMat -> [ GrpMatElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpPC -> [ GrpPCElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpPerm -> [ GrpPermElt ], [ RngIntElt ]
- PrimaryAbelianInvariants(A) : GrpAb -> [ RngIntElt ]
- PrimaryAbelianInvariants(G) : GrpFin -> [ RngIntElt ]
- PrimaryAbelianInvariants(G) : GrpMat -> [ RngIntElt ]
- PrimaryAbelianInvariants(G) : GrpPC -> [RngIntElt]
- PrimaryAbelianInvariants(G) : GrpPerm -> [ RngIntElt ]
- PrimaryAlgebra(R) : RngInvar -> RngMPol
- PrimaryComponents(X) : Sch -> SeqEnum
- PrimaryDecomposition(I) : RngMPol -> [ RngMPol ], [ RngMPol ]
- PrimaryDecomposition(I) : RngMPolRes -> [ RngMPolRes ], [ RngMPolRes ]
- PrimaryIdeal(R) : RngInvar -> RngMPol
- PrimaryInvariantFactors(a) : AlgMatElt -> [ <RngUPolElt, RngIntElt ]
- PrimaryInvariantFactors(A) : Mtrx -> [ <RngUPolElt, RngIntElt> ]
- R`PrimaryInvariants
- PrimaryInvariants(R) : RngInvar -> [ RngMPolElt ]
- PrimaryRationalForm(a) : AlgMatElt -> AlgMatElt, AlgMatElt, [ <RngUPolElt, RngIntElt ]
- PrimaryRationalForm(A) : Mtrx -> AlgMatElt, AlgMatElt, [ <RngUPolElt, RngIntElt ]
primary
- Primary Decomposition (POLYNOMIAL RING IDEAL OPERATIONS)
- Primary Invariants (INVARIANT THEORY)
primary-decomposition
- Primary Decomposition (POLYNOMIAL RING IDEAL OPERATIONS)
PrimaryAbelianBasis
- AbelianBasis(A) : GrpAb -> [ GrpAbElt ], [ RngIntElt ]
- PrimaryAbelianBasis(A) : GrpAb -> [ GrpAbElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpFin -> [ GrpFinElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpMat -> [ GrpMatElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpPC -> [ GrpPCElt ], [ RngIntElt ]
- PrimaryAbelianBasis(G) : GrpPerm -> [ GrpPermElt ], [ RngIntElt ]
PrimaryAbelianInvariants
- AbelianInvariants(A) : GrpAb -> [ RngIntElt ]
- PrimaryAbelianInvariants(A) : GrpAb -> [ RngIntElt ]
- PrimaryAbelianInvariants(G) : GrpFin -> [ RngIntElt ]
- PrimaryAbelianInvariants(G) : GrpMat -> [ RngIntElt ]
- PrimaryAbelianInvariants(G) : GrpPC -> [RngIntElt]
- PrimaryAbelianInvariants(G) : GrpPerm -> [ RngIntElt ]
PrimaryAlgebra
- PrimaryAlgebra(R) : RngInvar -> RngMPol
PrimaryComponents
- PrimaryComponents(X) : Sch -> SeqEnum
PrimaryDecomposition
- PrimaryDecomposition(I) : RngMPol -> [ RngMPol ], [ RngMPol ]
- PrimaryDecomposition(I) : RngMPolRes -> [ RngMPolRes ], [ RngMPolRes ]
- Ideal_PrimaryDecomposition (Example H116E10)

V2.29, 21 October 2025

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