Documentation

Preface
- PREFACE
- PREFACE
Prefix
- AssignNamePrefix(A, S) : FldAC, MonStgElt ->
Preimage
- HasPreimage(x, f) : Any, Map -> BoolElt, Any
- IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
- IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
- IsSUnitWithPreimage(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt, GrpAbElt
- IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt
- JellyfishPreimage(G, x: parameters) : GrpPerm, GrpPermElt -> GrpPermElt
- Preimage(f,C) : TorLatMap,TorCon -> TorCon
- PreimageIdeal(I) : AlgFP -> AlgFr
- PreimageIdeal(I) : RngMPolRes -> RngMPol
- PreimageRing(A) : AlgFP -> AlgFr
- PreimageRing(Q) : RngMPolRes -> RngMPol
- PreimageRing(Q) : RngUPolRes -> RngUPol
- SmallDegreePreimage(G, g) : GrpMat, GrpMatElt -> GrpMatElt
preimage
- Images and Preimages (MAPPINGS)
PreimageIdeal
- PreimageIdeal(I) : AlgFP -> AlgFr
- PreimageIdeal(I) : RngMPolRes -> RngMPol
PreimageRing
- PreimageRing(A) : AlgFP -> AlgFr
- PreimageRing(Q) : RngMPolRes -> RngMPol
- PreimageRing(Q) : RngUPolRes -> RngUPol
Preparata
- PreparataCode(m): RngIntElt -> Code
PreparataCode
- PreparataCode(m): RngIntElt -> Code
Preparation
- WeierstrassPreparation (f) : SnuElement -> SnuElement, SnuElement
Prepare
- TwistedPrepareRewrite(t,r,q,X,Y) : MonStgElt,RngIntElt,RngIntElt, SeqEnum,SeqEnum -> UserProgram, Map
- PrepareRewrite(t,r,q,X,Y) : MonStgElt,RngIntElt,RngIntElt,SeqEnum,SeqEnum -> UserProgram, Map
PrepareRewrite
- TwistedPrepareRewrite(t,r,q,X,Y) : MonStgElt,RngIntElt,RngIntElt, SeqEnum,SeqEnum -> UserProgram, Map
- PrepareRewrite(t,r,q,X,Y) : MonStgElt,RngIntElt,RngIntElt,SeqEnum,SeqEnum -> UserProgram, Map
Preprune
- Preprune(C) : ModCpx -> ModCpx
- Preprune(C,n) : ModCpx, RngIntElt -> ModCpx
pres
- Operations on Presentations (FINITELY PRESENTED GROUPS)
pres-ops
- Operations on Presentations (FINITELY PRESENTED GROUPS)
PrescribedBlocks
- GrpPC_PrescribedBlocks (Example H69E40)
Presentation
- ClassicalStandardPresentation (type, d, q : parameters) : MonStgElt, RngIntElt, RngIntElt -> SLPGroup, []
- CompactPresentation(G) : GrpPC -> [RngIntElt]
- CoxeterGroup(GrpFP, W) : Cat, GrpPermCox -> GrpFPCox
- ExceptionalStandardPresentation (type, rank, q) : MonStgElt, RngIntElt, RngIntElt -> SLPGroup, []
- GetPresentation(B) : GrpBrd -> MonStgElt
- IsIdenticalPresentation(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsIdenticalPresentation(G, H) : GrpPC, GrpPC -> BoolElt
- NilpotentPresentation(G) : GrpGPC -> GrpGPC, Map
- Presentation(A) : AlgMat -> AlgFr, AlgFr, Map
- Presentation(M) : ModMPol -> [ ModMPol ]
- PresentationIsSmall(G) : GrpGPC -> BoolElt
- PresentationLength(G) : GrpFP -> RngIntElt
- PresentationLength(P) : GrpFPTietzeProc -> RngIntElt
- PresentationMatrix(f) : ModMPolHom -> ModMatRngElt
- SatisfiesSzPresentation(G) : GrpMat -> BoolElt
- SetPresentation(~B, s) : GrpBrd, MonStgElt ->
- Simplify(~P : parameters) : GrpFPTietzeProc ->
- SpecialPresentation(G) : GrpPC -> GrpPC
- StandardPresentation(G): GrpPC -> GrpPC, Map
- StandardPresentation(G, str : parameters) : Grp, MonStgElt -> BoolElt, SeqEnum, SeqEnum
- SzPresentation(q) : RngIntElt -> GrpFP, HomGrp
- AlgMat_Presentation (Example H90E12)
presentation
- CompactPresentation (FINITE SOLUBLE GROUPS)
- Conditioned Presentations (FINITE SOLUBLE GROUPS)
- Constructing a Presentation for a Subgroup (FINITELY PRESENTED GROUPS)
- Isomorphism and Standard Presentations (FINITE SOLUBLE GROUPS)
- Presentation of Submodules (FREE MODULES)
- Presentation Operations (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Presentations (MATRIX GROUPS OVER GENERAL RINGS)
- Presentations for Subgroups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Properties of a Polycyclic Presentation (POLYCYCLIC GROUPS)
- Special Presentations (FINITE SOLUBLE GROUPS)
- Specification of a Presentation (ABELIAN GROUPS)
- Specification of a Presentation (FINITELY PRESENTED SEMIGROUPS)
- Structuring Presentations (FINITELY PRESENTED ALGEBRAS)
- The Presentation of Submodules (INTRODUCTION TO MODULES [MODULES])
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)

V2.28, 13 July 2023

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