Documentation

ProjectiveSpecialOrthogonalGroup
- ProjectiveSpecialOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
- PSO(arguments)
ProjectiveSpecialOrthogonalGroupMinus
- ProjectiveSpecialOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
- PSOMinus(arguments)
ProjectiveSpecialOrthogonalGroupPlus
- ProjectiveSpecialOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpPerm, {@ ModTupFldElt @}
- PSOPlus(arguments)
ProjectiveSpecialUnitaryGroup
- PSU(arguments)
- ProjectiveSpecialUnitaryGroup(arguments)
ProjectiveSuzukiGroup
- PSz(arguments)
- ProjectiveSuzukiGroup(arguments)
ProjectiveSymplecticGroup
- PSp(arguments)
- ProjectiveSymplecticGroup(arguments)
Projectivity
- Projectivity(A,M) : Aff,Mtrx -> MapAutSch
projectivity
- Scheme_projectivity (Example H122E50)
projplane
- FldNear_projplane (Example H23E8)
ProjWithMatrices
- GrpMatGen_ProjWithMatrices (Example H66E19)
Prompt
- GetIgnorePrompt() : -> BoolElt
- SetIgnorePrompt(b) : BoolElt ->
- SetPrompt(s) : MonStgElt ->
Proof
- GaloisProof(f, S) : RngUPolElt, GaloisData -> BoolElt
- fValueProof(L, x, b) : AlgLieExtr, RngIntElt, RngIntElt ->
PRoot
- HasPRoot(R) : RngPad -> BoolElt
prop
- Properties (p-ADIC RINGS AND THEIR EXTENSIONS)
- Properties of Coxeter Groups (COXETER GROUPS)
prop-generic
- Properties (p-ADIC RINGS AND THEIR EXTENSIONS)
Proper
- ProperAutomorphismGroup(L) : Lat -> GrpMat
- AutomorphismGroup(L) : Lat -> GrpMat
- AutomorphismGroup(L) : LatNF -> GrpMat
- IsProper(I) : AlgFP -> BoolElt
- IsProper(I) : RngMPol -> BoolElt
- IsProper(I) : RngMPolLoc -> BoolElt
- IsProper(I) : RngMPolRes -> BoolElt
- IsProperChainMap(f) : MapChn -> BoolElt
ProperAutomorphismGroup
- ProperAutomorphismGroup(L) : Lat -> GrpMat
- AutomorphismGroup(L) : Lat -> GrpMat
- AutomorphismGroup(L) : LatNF -> GrpMat
Properly
- IsIsomorphic(L, M) : Lat, Lat -> BoolElt, AlgMatElt
- IsProperlyIsometric(L, M) : Lat, Lat -> BoolElt, AlgMatElt
- IsIsometric(L, M) : Lat, Lat -> BoolElt, AlgMatElt
- IsIsometric(A, B) : LatNF, LatNF -> BoolElt, Mtrx
Properties
- Basic Properties of Homotopisms (MULTILINEAR ALGEBRA)
- Properties of an FP-group (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Properties of Tensor Spaces (MULTILINEAR ALGEBRA)
- GrpCox_Properties (Example H108E12)
- GrpRfl_Properties (Example H109E22)
- ModFrm_Properties (Example H144E11)
- ModSS_Properties (Example H147E4)
- RootDtm_Properties (Example H107E13)
- RootSys_Properties (Example H106E8)
properties
- Abstract Properties of a Group (PERMUTATION GROUPS)
- Accessing Combinatorial Free Module Information (GROUP REPRESENTATIONS)
- Accessing Representation Information (GROUP REPRESENTATIONS)
- Attributes (MODULAR FORMS OVER IMAGINARY QUADRATIC FIELDS)
- Attributes of Dirichlet Groups (INTEGER RESIDUE CLASS RINGS)
- Attributes of Elements (INTEGER RESIDUE CLASS RINGS)
- Basic Attributes of *-Algebras (ALGEBRAS WITH INVOLUTION)
- Basic Group Properties (FINITE SOLUBLE GROUPS)
- Basic Properties (ALGEBRAIC MODULAR FORMS)
- Basic Properties (GROUP REPRESENTATIONS)
- Basic Properties (GROUP REPRESENTATIONS)
- Basic Properties (HILBERT MODULAR FORMS)
- Determinant and Other Properties (MATRICES)
- Elementary Properties of a Subgroup (PERMUTATION GROUPS)
- Elementary Properties of Subgroups (MATRIX GROUPS OVER GENERAL RINGS)
- General Properties (MULTILINEAR ALGEBRA)
- Geometrical Properties (SCHEMES)
- Global Properties (MATRIX GROUPS OVER GENERAL RINGS)
- Minimal and Characteristic Polynomials and Eigenvalues (MATRICES)
- Nearfield Properties (NEARFIELDS)
- Operations on Weight Multisets (REPRESENTATIONS OF LIE GROUPS AND ALGEBRAS)
- Other Properties of Linear Groups (MATRIX GROUPS OVER INFINITE FIELDS)
- Properties (MODULAR FORMS)
- Properties (PARTITIONS, WORDS AND YOUNG TABLEAUX)
- Properties (SUPERSINGULAR DIVISORS ON MODULAR CURVES)
- Properties of a Polycyclic Presentation (POLYCYCLIC GROUPS)
- Properties of a Rewrite Group (GROUPS DEFINED BY REWRITE SYSTEMS)
- Properties of Affine Kac--Moody Lie Algebras (KAC-MOODY LIE ALGEBRAS)
- Properties of AG--Codes (ALGEBRAIC-GEOMETRIC CODES)
- Properties of an Algebra Module (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Properties of an Automatic Group (AUTOMATIC AND HYPERBOLIC GROUPS)
- Properties of an FP-Group (FINITELY PRESENTED GROUPS)
- Properties of Class Fields (CLASS FIELD THEORY FOR GLOBAL FUNCTION FIELDS)
- Properties of Elements (FINITE SOLUBLE GROUPS)
- Properties of Fans (TORIC VARIETIES)
- Properties of Finite Groups Of Lie Type (ALMOST SIMPLE GROUPS)
- Properties of Groups of Lie Type (GROUPS OF LIE TYPE)
- Properties of Homomorphisms of Group Representations (GROUP REPRESENTATIONS)
- Properties of Incidence Geometries and Coset Geometries (INCIDENCE GEOMETRY)
- Properties of Invariant Rings (INVARIANT THEORY)
- Properties of Lattices (LATTICES)
- Properties of Lie Algebras Generated by Extremal Elements (LIE ALGEBRAS)
- Properties of Module Elements (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Properties of Polar Spaces (POLAR SPACES)
- Properties of Polyhedra (CONVEX POLYTOPES AND POLYHEDRA)
- Properties of Reductive Groups (REDUCTIVE GROUPS)
- Properties of Reflection Groups (REFLECTION GROUPS)
- Properties of Root Data (ROOT DATA)
- Properties of Root Systems (ROOT SYSTEMS)
- Properties of Subgroups (FINITE SOLUBLE GROUPS)
- Properties of the Free Lie Algebra (LIE ALGEBRAS)
- Properties of Toric Varieties (TORIC VARIETIES)
- Properties of Vectors (FREE MODULES)

V2.29, 21 October 2025

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