Documentation

minusform
- FldForms_minusform (Example H30E9)
MinusInfinity
- MinusInfinity() : -> Infty
MinusTamagawaNumber
- MinusTamagawaNumber(M) : ModSym -> RngIntElt
MinusVolume
- MinusVolume(M, prec) : ModSym, RngIntElt -> FldPrElt
misc
- Automorphism Group (HADAMARD MATRICES)
- Decimation (PSEUDO-RANDOM BIT SEQUENCES)
- Miscellaneous (RING OF INTEGERS)
- Miscellaneous (STATEMENTS AND EXPRESSIONS)
- Miscellaneous Functions (LINEAR CODES OVER THE INTEGER RESIDUE RING Z₄)
- Miscellaneous Graph Constructions (GRAPHS)
- Miscellaneous Operations on Matrices (MATRICES)
- Other Elementary Constructions (p-ADIC RINGS AND THEIR EXTENSIONS)
Miscellaneous
- Set_Miscellaneous (Example H10E7)
miscellaneous
- Miscellaneous (FINITELY PRESENTED ALGEBRAS)
Mixed
- IsMixed(G) : GrpAb -> BoolElt
- LeftMixedCanonicalForm(u: parameters) : GrpBrdElt -> Tup, Tup
- RightMixedCanonicalForm(u: parameters) : GrpBrdElt -> Tup, Tup
mixed
- Mixed Canonical Form and Lattice Operations (BRAID GROUPS)
MixedCanonicalForm
- MixedCanonicalForm(u: parameters) : GrpBrdElt -> Tup, Tup
- LeftMixedCanonicalForm(u: parameters) : GrpBrdElt -> Tup, Tup
MixedHomotopisms
- Multilinear_MixedHomotopisms (Example H62E71)
MMap
- MultiplicationByMMap(E, m) : CrvEll, RngIntElt -> Map
MMP
- MMP(X) : TorVar -> SeqEnum,SeqEnum
Mobile
- IsBasePointFree(D) : DivSchElt -> BoolElt
- IsMobile(D) : DivSchElt -> BoolElt
- BaseLocus(D) : DivSchElt -> Sch
Mod
- EulerFactorModChar(J) : JacHyp -> RngUPolElt
- FixDualMod(M,H): ModGrp, Grp -> Mod
- FixMod(M, H): ModGrp, Grp -> Mod
- HomMod(M, N) : ModGrp, ModGrp -> ModGrp
- InverseMod(E, M) : RngOrdElt, RngIntElt -> RngOrdElt
- LocalMultiplicativeGroupModSquares(p) : RngOrdIdl -> ModFld, Map
- ModByPowerOf2(n, b) : RngIntElt, RngIntElt -> RngIntElt
- Modinv(n, m) : RngIntElt, RngIntElt -> RngIntElt
mod
- Modular Curves and Quotients (Canonical Embeddings) (MODULAR CURVES)
- Reduction Mod p (SCHEMES)
- The Module Structure of a Structure Constant Algebra (STRUCTURE CONSTANT ALGEBRAS)
- a mod P : FldArithElt, OMIdl -> FldArithElt
- a mod P : FldArithElt, OMIdl -> FldArithElt
- a mod I : RngFunOrdElt, RngFunOrdIdl -> RngFunOrdElt
- a mod I : RngFunOrdElt, RngFunOrdIdl -> RngFunOrdElt
- n mod m : RngIntElt, RngIntElt -> RngIntElt
- n mod m : RngIntElt, RngIntElt -> RngIntElt
- a mod I : RngOrdElt, RngOrdIdl -> RngOrdElt
- a mod I : RngOrdElt, RngOrdIdl -> RngOrdElt
- a mod b : RngQuadElt, RngQuadElt -> RngQuadElt
- f mod g : RngUPolElt, RngUPolElt -> RngUPolElt
mod-crv-quotient
- Modular Curves and Quotients (Canonical Embeddings) (MODULAR CURVES)
mod-deg
- CrvEllQNF_mod-deg (Example H130E17)
modabvar
- Creation and Basic Functions (MODULAR ABELIAN VARIETIES)
Modabvar-Abelian_Varieties_Attached_to_Modular_Forms
- ModAbVar_Modabvar-Abelian_Varieties_Attached_to_Modular_Forms (Example H145E5)
Modabvar-Abelian_Varieties_Attached_to_Modular_Forms3
- ModAbVar_Modabvar-Abelian_Varieties_Attached_to_Modular_Forms3 (Example H145E6)
Modabvar-Abelian_Varieties_Attached_to_Modular_Forms5
- ModAbVar_Modabvar-Abelian_Varieties_Attached_to_Modular_Forms5 (Example H145E7)
Modabvar-Abelian_Varieties_Attached_to_Modular_Symbols
- ModAbVar_Modabvar-Abelian_Varieties_Attached_to_Modular_Symbols (Example H145E8)
Modabvar-Base_Change
- ModAbVar_Modabvar-Base_Change (Example H145E37)
Modabvar-Coercion
- ModAbVar_Modabvar-Coercion (Example H145E32)
Modabvar-Coercion2
- ModAbVar_Modabvar-Coercion2 (Example H145E33)
Modabvar-Conductor
- ModAbVar_Modabvar-Conductor (Example H145E16)
Modabvar-Creating_the_Modular_Jacobian_$J_0(N)$
- ModAbVar_Modabvar-Creating_the_Modular_Jacobian_$J_0(N)$ (Example H145E3)
Modabvar-Creating_the_Modular_Jacobians_$J_1(N)$_and_$J_H(N)$
- ModAbVar_Modabvar-Creating_the_Modular_Jacobians_$J_1(N)$_and_$J_H(N)$ (Example H145E4)
Modabvar-Creation_of_Abelian_Subvarieties
- ModAbVar_Modabvar-Creation_of_Abelian_Subvarieties (Example H145E9)
Modabvar-Creation_Using_a_Label
- ModAbVar_Modabvar-Creation_Using_a_Label (Example H145E10)
Modabvar-Embeddings
- ModAbVar_Modabvar-Embeddings (Example H145E36)
Modabvar-Equality_and_Inclusion_Testing
- ModAbVar_Modabvar-Equality_and_Inclusion_Testing (Example H145E28)
Modabvar-Equality_and_Inclusion_Testing2
- ModAbVar_Modabvar-Equality_and_Inclusion_Testing2 (Example H145E29)
Modabvar-Inner_Twists_and_Complex_Multiplication
- ModAbVar_Modabvar-Inner_Twists_and_Complex_Multiplication (Example H145E18)
Modabvar-Inner_Twists_and_Complex_Multiplication2
- ModAbVar_Modabvar-Inner_Twists_and_Complex_Multiplication2 (Example H145E19)
Modabvar-Invariants
- ModAbVar_Modabvar-Invariants (Example H145E11)
Modabvar-Invariants2
- ModAbVar_Modabvar-Invariants2 (Example H145E12)
Modabvar-Invariants3
- ModAbVar_Modabvar-Invariants3 (Example H145E13)
- ModAbVar_Modabvar-Invariants3 (Example H145E14)
Modabvar-Invariants4
- ModAbVar_Modabvar-Invariants4 (Example H145E15)
Modabvar-Modular_Embedding_and_Parameterization
- ModAbVar_Modabvar-Modular_Embedding_and_Parameterization (Example H145E30)
Modabvar-Modular_Embedding_and_Parameterization2
- ModAbVar_Modabvar-Modular_Embedding_and_Parameterization2 (Example H145E31)
Modabvar-Modular_Symbols_to_Homology
- ModAbVar_Modabvar-Modular_Symbols_to_Homology (Example H145E34)
Modabvar-Modular_Symbols_to_Homology2
- ModAbVar_Modabvar-Modular_Symbols_to_Homology2 (Example H145E35)
Modabvar-Number_of_Points
- ModAbVar_Modabvar-Number_of_Points (Example H145E17)
Modabvar-Predicates
- ModAbVar_Modabvar-Predicates (Example H145E20)

V2.28, 13 July 2023

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