Documentation

over
- Complex Multiplication (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Factorisation of Operators over Differential Laurent Series Rings (DIFFERENTIAL RINGS)
- Overview of the Chapter (HILBERT SERIES OF POLARISED VARIETIES)
over_anf
- Auxiliary Functions for Etale Algebras (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Curves over Number Fields (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Heights (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Local Invariants (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
over_anf-heights
- Heights (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
over_anf-invar
- Local Invariants (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
over_anf-selmer-etale
- Auxiliary Functions for Etale Algebras (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
over_pad
- Curves over p-adic Fields (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Local Invariants (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
over_pad-invar
- Local Invariants (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
Overconvergent
- OverconvergentHeckeSeries(p, N, k, m) : RngIntElt, RngIntElt, RngIntElt, RngIntElt -> RngUPolElt
- OverconvergentHeckeSeriesDegreeBound(p, N, k, m) : RngIntElt, RngIntElt, RngIntElt, RngIntElt -> RngIntElt
overconvergent
- Overconvergent Modular Forms (MODULAR FORMS)
- ModFrm_overconvergent (Example H141E19)
OverconvergentHeckeSeries
- OverconvergentHeckeSeries(p, N, k, m) : RngIntElt, RngIntElt, RngIntElt, RngIntElt -> RngUPolElt
OverconvergentHeckeSeriesDegreeBound
- OverconvergentHeckeSeriesDegreeBound(p, N, k, m) : RngIntElt, RngIntElt, RngIntElt, RngIntElt -> RngIntElt
Overdatum
- Overdatum(H) : GrpMat -> RootDtm
- Overdatum(H) : GrpPermCox -> RootDtm
OverDimension
- OverDimension(V) : ModTupFld -> RngIntElt
- OverDimension(u) : ModTupFldElt -> RngIntElt
- OverDimension(M) : ModTupRng -> RngIntElt
- OverDimension(u) : ModTupRngElt -> RngIntElt
Overfield
- CommonOverfield(K, L) : FldFin, FldFin -> FldFin
Overfields
- MinimalOverfields(e) : SubFldLatElt -> [ SubFldLatElt ]
Overgroup
- MaximalOvergroup(G, H) : GrpFP, GrpFP -> GrpFP
- MinimalOvergroup(G, H) : GrpFP, GrpFP -> GrpFP
- Overgroup(H) : GrpMat -> GrpMat
- Overgroup(H) : GrpPermCox -> GrpPermCox
- UntwistedOvergroup(G) : GrpLie -> GrpLie
Overgroups
- MinimalOvergroups(G,H) : GrpFin, GrpFin -> [ SeqEnum ]
- MinimalOvergroups(e) : SubGrpLatElt -> { SubGrpLatElt }
Overview
- Overview (MATRIX GROUPS OVER INFINITE FIELDS)
- Overview (MATRIX GROUPS OVER Q AND Z)
- Overview (MULTILINEAR ALGEBRA)
- ModFrm_Overview (Example H141E2)
overview
- DATABASES OF GROUPS
- GROUPS
- Overview (ALMOST SIMPLE GROUPS)
- Overview (ARTIN REPRESENTATIONS)
- Overview (CLASS FIELD THEORY)
- Overview (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Overview (INTRODUCTION TO MODULES [MODULES])
- Overview (INTRODUCTION TO RINGS [BASIC RINGS])
- Overview (L-FUNCTIONS)
- Overview (LOCAL GALOIS REPRESENTATIONS)
- Overview of the p-adics in Magma (p-ADIC RINGS AND THEIR EXTENSIONS)
- Real Numbers in Magma (REAL AND COMPLEX FIELDS)
overview-reals
- Real Numbers in Magma (REAL AND COMPLEX FIELDS)

V2.28, 13 July 2023

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