Documentation

properties-lie-groups
- Properties of Finite Groups Of Lie Type (ALMOST SIMPLE GROUPS)
Properties-of-tensor-spaces
- Properties of Tensor Spaces (MULTILINEAR ALGEBRA)
properties-root-datum
- Properties of Root Data (ROOT DATA)
properties-root-system
- Properties of Root Systems (ROOT SYSTEMS)
properties-subgroup
- Elementary Properties of a Subgroup (PERMUTATION GROUPS)
Property
- HasIntersectionProperty(C) : CosetGeom -> BoolElt
- HasIntersectionProperty(G) : GrpPerm -> BoolElt
- HasIntersectionPropertyN(C,n) : CosetGeom, RngIntElt -> BoolElt, BoolElt
- HasIntersectionPropertyPlus(G) : GrpPerm -> BoolElt
- HasStringProperty(G) : GrpPerm -> BoolElt
- HasWeakIntersectionProperty(C) : CosetGeom -> BoolElt
- UniversalPropertyOfCokernel(pi, f) : MapModAbVar, MapModAbVar -> MapModAbVar
property
- Properties (ALGEBRAICALLY CLOSED FIELDS)
- Properties of Lie Algebras and Ideals (LIE ALGEBRAS)
Proportional
- AreProportional(P,Q) : TorLatElt,TorLatElt -> BoolElt, FldRatElt
- IsProportional(X, k) : Mtrx, RngIntElt -> BoolElt, Tup
props
- Further Divisor Properties (SCHEMES)
- Properties of a Module (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Properties of Elements of Affine Kac-Moody Lie Algebras (KAC-MOODY LIE ALGEBRAS)
- Properties of Subgroups (FINITELY PRESENTED GROUPS)
- Properties of Subgroups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
Prospector
- InitialiseProspector(G:parameters): GrpMat ->
- Prospector(G, f:parameters): Grp, UserProgram -> BoolElt, GrpElt, GrpSLPElt
ProveInf1
- GrpFP_ProveInf1 (Example H78E20)
Pruefer
- PrueferRankBound (G) : GrpMat -> BoolElt
PrueferRankBound
- PrueferRankBound (G) : GrpMat -> BoolElt
Prune
- Prune(A) : FldAC ->
- Prune(~S) : List ->
- Prune(S) : List -> List
- Prune(phi) : MapSch -> MapSch
- Prune(C) : ModCpx -> ModCpx
- Prune(C,n) : ModCpx, RngIntElt -> ModCpx
- Prune(~S) : SeqEnum ->
- Prune(X, f) : SmpCpx, SetEnum -> SmpCpx
- Prune(~T) : Tup ->
- Prune(T) : Tup -> Tup
prune-glue
- SmpCpx_prune-glue (Example H149E11)
pSelmer
- pSelmerGroup(p,F) : RngIntElt, FldPad -> GrpAb, Map
- pSelmerGroup(p, S) : RngIntElt, { RngOrdIdl } -> GrpAb, Map
- pSelmerGroup(A, p, S) : RngUPolRes, RngIntElt, SetEnum[RngOrdIdl] -> GrpAb, Map
pSelmerGroup
- pSelmerGroup(p,F) : RngIntElt, FldPad -> GrpAb, Map
- pSelmerGroup(p, S) : RngIntElt, { RngOrdIdl } -> GrpAb, Map
- pSelmerGroup(A, p, S) : RngUPolRes, RngIntElt, SetEnum[RngOrdIdl] -> GrpAb, Map
PSeminvariant
- QuarticG4Covariant(q) : RngUPolElt -> RngUPolElt
- QuarticHSeminvariant(q) : RngUPolElt -> RngIntElt
- QuarticPSeminvariant(q) : RngUPolElt -> RngIntElt
- QuarticQSeminvariant(q) : RngUPolElt -> RngIntElt
- QuarticRSeminvariant(q) : RngUPolElt -> RngIntElt

V2.28, 13 July 2023

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