Documentation

product
- KSpace(K, n, F) : Fld, RngIntElt, Mtrx -> ModTupFld
- Construction of a Vector Space with Inner Product Matrix (VECTOR SPACES)
- Inner Products (FREE MODULES)
- Tensor Products (MATRIX GROUPS OVER FINITE FIELDS)
- The Cartesian Product Constructors (SETS)
- TUPLES AND CARTESIAN PRODUCTS
- Unions and Products of Graphs (GRAPHS)
- SmpCpx_product (Example H153E9)
ProductCode
- ProductCode(C, D) : Code, Code -> Code
- DirectProduct(C, D) : Code, Code -> Code
ProductFPs
- GrpFPInt_ProductFPs (Example H79E9)
ProductOfEquationOrders
- ProductOfEquationOrders(A) : AlgEtQ -> AlgEtQOrd
ProductProjectiveSpace
- ProductProjectiveSpace(k,N) : Rng,SeqEnum -> PrjScrl
ProductRepresentation
- ProductRepresentation(D, E) : LieRepDec, LieRepDec -> LieRepDec
- D * E : LieRepDec, LieRepDec -> LieRepDec
- ProductRepresentation(a) : FldFunGElt -> [FldFunGElt], [RngIntElt]
- ProductRepresentation(a) : FldNumElt -> [ FldNumElt ], [ RngIntElt ]
- ProductRepresentation(D, E, R) : LieRepDec, LieRepDec, RootDtm -> LieRepDec
- ProductRepresentation(a) : RngOrdElt -> [ RngOrdElt ], [ RngIntElt ]
- ProductRepresentation(P, E) : [ FldAlgElt ], [ RngIntElt ] -> FldAlgElt
- ProductRepresentation(P, E) : [ FldNumElt ], [ RngIntElt ] -> FldNumElt
- ProductRepresentation(Q, S) : [FldFunGElt], [RngIntElt] -> FldFunGElt
Products
- BasisProducts(A) : AlgGen -> SeqEnum
- BasisProducts(L) : AlgLie -> SeqEnum
- SumOfProducts(as, bs) : SeqEnum[AlgEtQElt], SeqEnum[AlgEtQElt] -> AlgEtQElt
- AlgMat_Products (Example H92E5)
- GrpPerm_Products (Example H65E8)
products
- Direct Products and Wreath Products (PERMUTATION GROUPS)
- Direct Sums and Tensor Products (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Inner Products and Duals (QUANTUM CODES)
Profile
- GetProfile() : -> BoolElt
- ProfileGraph(): -> GrphDir
- ProfileHTMLOutput(G, prefix): GrphDir, MonStgElt ->
- ProfilePrintByTotalCount(G): GrphDir ->
- ProfilePrintByTotalTime(G): GrphDir ->
- ProfilePrintChildrenByCount(G, n): GrphDir, GrphVert ->
- ProfilePrintChildrenByTime(G, n): GrphDir, GrphVert ->
- ProfileReset(): ->
- SetProfile(b): BoolElt ->
profile-reports
- Prof_profile-reports (Example H7E2)
ProfileGraph
- ProfileGraph(): -> GrphDir
ProfileHTMLOutput
- ProfileHTMLOutput(G, prefix): GrphDir, MonStgElt ->
ProfilePrintByTotalCount
- ProfilePrintByTotalCount(G): GrphDir ->
ProfilePrintByTotalTime
- ProfilePrintByTotalTime(G): GrphDir ->
ProfilePrintChildrenByCount
- ProfilePrintChildrenByCount(G, n): GrphDir, GrphVert ->
ProfilePrintChildrenByTime
- ProfilePrintChildrenByTime(G, n): GrphDir, GrphVert ->
Profiler
- THE MAGMA PROFILER
profiler
- Profiler Basics (THE MAGMA PROFILER)
- Recursion and the Profiler (THE MAGMA PROFILER)
profiler-basics
- Profiler Basics (THE MAGMA PROFILER)
profiler-recursion
- Prof_profiler-recursion (Example H7E3)
ProfileReset
- ProfileReset(): ->
Progression
- Seq_Progression (Example H11E1)
- Set_Progression (Example H10E5)
progression
- The Arithmetic Progression Constructors (SEQUENCES)
- The Arithmetic Progression Constructors (SETS)
Proj
- Proj(D) : DivTorElt -> TorVar, PlcEnum
- Proj(R) : RngMPolRes -> Sch,Prj
- ProjectiveSpace(R) : RngMPol -> Prj
- RelativeProj(D) : DivTorElt -> TorVar
proj
- Tangent and Secant Varieties and Isomorphic Projections (SCHEMES)
proj-cl-commutes
- Crv_proj-cl-commutes (Example H124E13)
project
- Isomorphic Projection to Subspaces (SCHEMES)
project-embed
- Isomorphic Projection to Subspaces (SCHEMES)
Projection
- CuspidalProjection(f) : ModFrmElt -> ModFrmElt
- EisensteinProjection(f) : ModFrmElt -> ModFrmElt
- IsomorphicProjectionToSubspace(X) : Sch -> Sch, MapSch
- Projection(X,Y) : Prj,Prj -> MapSch
- Projection(X, Q) : Sch, Prj -> Sch, MapSch
- ProjectionFromNonsingularPoint(X,p) : Sch,Pt -> Sch,MapSch,Sch
- ProjectionLocalization(g, pi) : GrpMatElt, Map -> GrpMatElt
- ProjectionMap(CN,N,CM,M) : Crv, RngIntElt, Crv, RngIntElt -> MapSch
- ProjectionMap(CN,N,CM,M,r) : Crv, RngIntElt, Crv, RngIntElt, RngIntElt -> MapSch
- ProjectionOnto(A : parameters) : ModAbVar -> MapModAbVar
ProjectionFromNonsingularPoint
- ProjectionFromNonsingularPoint(X,p) : Sch,Pt -> Sch,MapSch,Sch
ProjectionLocalization
- ProjectionLocalization(g, pi) : GrpMatElt, Map -> GrpMatElt
ProjectionMap
- ProjectionMap(CN,N,CM,M) : Crv, RngIntElt, Crv, RngIntElt -> MapSch
- ProjectionMap(CN,N,CM,M,r) : Crv, RngIntElt, Crv, RngIntElt, RngIntElt -> MapSch
ProjectionOnto
- ProjectionOntoImage(phi : parameters) : MapModAbVar -> MapModAbVar
- ProjectionOnto(A : parameters) : ModAbVar -> MapModAbVar

V2.29, 21 October 2025

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