Documentation

Mac
- MacWilliamsTransform(n, k, K, W) : RngIntElt, RngIntElt, FldFin, RngMPol -> RngMPol
- MacWilliamsTransform(n, k, q, W) : RngIntElt, RngIntElt, RngIntElt, [ <RngIntElt, RngIntElt> ] -> [ <RngIntElt, RngIntElt> ]
- MacWilliamsTransform(n, k, q, W) : RngIntElt, RngIntElt, RngIntElt, [ <RngIntElt, RngIntElt> ] -> [ <RngIntElt, RngIntElt> ]
Macaulay
- IsArithmeticallyCohenMacaulay(S) : ShfCoh -> BoolElt
- IsCohenMacaulay(R) : RngInvar -> BoolElt
- IsCohenMacaulay(X) : Sch -> BoolElt
MacWilliams
- CodeFld_MacWilliams (Example H161E22)
macwilliams
- The MacWilliams Transform (ADDITIVE CODES)
- The MacWilliams Transform (LINEAR CODES OVER FINITE FIELDS)
MacWilliamsTransform
- MacWilliamsTransform(n, k, K, W) : RngIntElt, RngIntElt, FldFin, RngMPol -> RngMPol
- MacWilliamsTransform(n, k, q, W) : RngIntElt, RngIntElt, RngIntElt, [ <RngIntElt, RngIntElt> ] -> [ <RngIntElt, RngIntElt> ]
- MacWilliamsTransform(n, k, q, W) : RngIntElt, RngIntElt, RngIntElt, [ <RngIntElt, RngIntElt> ] -> [ <RngIntElt, RngIntElt> ]
Maeda
- MaedaInvariants(C) : CrvHyp -> SeqEnum
MaedaInvariants
- MaedaInvariants(C) : CrvHyp -> SeqEnum
Magic
- MagicNumber(C) : GRCrvS -> RngIntElt
MagicNumber
- MagicNumber(C) : GRCrvS -> RngIntElt
Magma
- MAGMA
- IsMagmaEuclideanRing(R) : Rng -> BoolElt
- PrintFileMagma(F, x) : MonStgElt, Any ->
magma
- Constructing a General Matrix Algebra (MATRIX ALGEBRAS)
- Construction of a Group Algebra (GROUP ALGEBRAS)
- Construction of a Vector Space (VECTOR SPACES)
- Construction of the Complete Matrix Algebra (MATRIX ALGEBRAS)
- Construction of the General Linear Group (MATRIX GROUPS OVER GENERAL RINGS)
- Construction of the Symmetric Group (PERMUTATION GROUPS)
- Creation of Algebraic Fields (NUMBER FIELDS AND ORDERS)
- Creation of Number Fields (NUMBER FIELDS)
- Creation of Structures (RATIONAL FIELD)
- Creation of Structures (REAL AND COMPLEX FIELDS)
- Creation of Structures (UNIVARIATE POLYNOMIAL RINGS)
- Defining Orderings (GROUPS DEFINED BY REWRITE SYSTEMS)
- Magma (CLASS FIELD THEORY)
- Magma Native NFS Data Files (RING OF INTEGERS)
- Planes in Magma (FINITE PLANES)
- Presentations (FINITELY PRESENTED SEMIGROUPS)
- Related Structures (RATIONAL FUNCTION FIELDS)
- Setting Limits (GROUPS DEFINED BY REWRITE SYSTEMS)
- Specification of a Polycyclic Presentation (POLYCYCLIC GROUPS)
- The General Group Constructors (GROUPS)
- The Knuth-Bendix Procedure (GROUPS DEFINED BY REWRITE SYSTEMS)
MAGMA_
- MAGMA_HELP_DIR
- MAGMA_LIBRARIES
- MAGMA_LIBRARY_ROOT
- MAGMA_MEMORY_LIMIT
- MAGMA_PATH
- MAGMA_STARTUP_FILE
- MAGMA_SYSTEM_SPEC
- MAGMA_TEMP_DIR
- MAGMA_USER_SPEC
MAGMA_HELP_DIR
- MAGMA_HELP_DIR
MAGMA_LIBRARIES
- MAGMA_LIBRARIES
MAGMA_LIBRARY_ROOT
- MAGMA_LIBRARY_ROOT
MAGMA_MEMORY_LIMIT
- MAGMA_MEMORY_LIMIT
MAGMA_PATH
- MAGMA_PATH
MAGMA_STARTUP_FILE
- MAGMA_STARTUP_FILE
MAGMA_SYSTEM_SPEC
- MAGMA_SYSTEM_SPEC
MAGMA_TEMP_DIR
- MAGMA_TEMP_DIR
MAGMA_USER_SPEC
- MAGMA_USER_SPEC
Main
- MainAntiautomorphism(C) : AlgClff -> Map
- MainInvolution(C) : AlgClff -> Map
main
- Introduction (ALGEBRAIC SURFACES)
MainAntiautomorphism
- MainAntiautomorphism(C) : AlgClff -> Map
MainInvolution
- MainInvolution(C) : AlgClff -> Map
Make
- MakeCoprime(I, J) : RngOrdIdl, RngOrdIdl -> FldOrdElt
- CoprimeRepresentative(I, J) : RngOrdIdl, RngOrdIdl -> FldOrdElt
- MakeAmbientInnerProduct(~L, IP) : LatNF ->
- MakeBasket(Q) : SeqEnum -> GRBskt
- MakeDirected(uwg) : GrphUnd -> GrphDir
- MakeProjectiveClosureMap(A, P, S) : Aff,Prj,SeqEnum ->
- MakeResolutionGraph(g,s,t) : GrphDir,SeqEnum,SeqEnum -> GrphRes
- MakeResolutionGraph(N) : NwtnPgon -> GrphRes
- MakeSpliceDiagram(g,e,a) : GrphDir,SeqEnum,SeqEnum -> GrphSpl
- MakeSpliceDiagram(e,l,a) : SeqEnum,SeqEnum,SeqEnum -> GrphSpl
- MakeType(S) : MonStgElt -> Cat
Make12-8-4Code
- CodeFld_Make12-8-4Code (Example H161E32)
MakeAmbientInnerProduct
- MakeAmbientInnerProduct(~L, IP) : LatNF ->

V2.28, 13 July 2023

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