Documentation

descent
- Descent (HYPERELLIPTIC CURVES)
- Descent on the Jacobian (HYPERELLIPTIC CURVES)
- Eight-Descent (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Invariants (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Partial Descent (HYPERELLIPTIC CURVES)
- Six and Twelve Descent (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Three-Descent and Five-Descent (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
- Two Descent (ELLIPTIC CURVES OVER FUNCTION FIELDS)
- Two Descent Using Isogenies (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
DescentInformation
- DescentInformation(E: parameters) : CrvEll -> [RngIntElt], [PtEll], [Tup]
- MordellWeilShaInformation(E: parameters) : CrvEll -> [RngIntElt], [PtEll], [Tup]
DescentMaps
- CasselsMap(phi) : Map -> Map, Map
- DescentMaps(phi) : Map -> Map, Map
DescentSets
- GrpCox_DescentSets (Example H105E15)
- GrpRfl_DescentSets (Example H106E20)
Description
- PrimitiveGroupDescription(d, n) : RngIntElt, RngIntElt -> MonStgElt
- TransitiveGroupDescription(G) : GrpPerm -> MonStgElt
- TransitiveGroupDescription(d, n) : RngIntElt, RngIntElt -> MonStgElt
description
- COXETER SYSTEMS
descriptions
- Descriptions of Coxeter Groups (INTRODUCTION TO LIE THEORY [LIE THEORY])
- Highest Weight Representations (INTRODUCTION TO LIE THEORY [LIE THEORY])
- Lie Algebras and Groups of Lie Type (INTRODUCTION TO LIE THEORY [LIE THEORY])
- Root Systems and Root Data (INTRODUCTION TO LIE THEORY [LIE THEORY])
- Universal Enveloping Algebras and Quantum Groups (INTRODUCTION TO LIE THEORY [LIE THEORY])
Design
- Design(I, t) : Inc, RngIntElt -> Dsgn
- Design< t, v | X : parameters > : RngIntElt, RngIntElt, List -> Dsgn
- Design(P) : Plane -> Dsgn, SetIncPt, SetIncBlk
- HadamardColumnDesign(H, i) : AlgMatElt, RngIntElt -> Dsgn
- HadamardRowDesign(H, i) : AlgMatElt, RngIntElt -> Dsgn
- IsDesign(D, t: parameters) : Inc, RngIntElt -> BoolElt, RngIntElt
- WittDesign(n) : RngIntElt -> Dsgn
design
- Construction from Groups, Codes and Designs (GRAPHS)
- Elementary Invariants of a Design (INCIDENCE STRUCTURES AND DESIGNS)
- Graphs Constructed from Designs (GRAPHS)
- INCIDENCE STRUCTURES AND DESIGNS
design-invar
- Design_design-invar (Example H156E6)
design-invariant
- Elementary Invariants of a Design (INCIDENCE STRUCTURES AND DESIGNS)
Designed
- GoppaDesignedDistance(C) : Code -> RngIntElt
designs
- Associated 3-Designs (HADAMARD MATRICES)
- Planes and Designs (FINITE PLANES)
- Plane_designs (Example H150E17)
desing
- Accessor Functions (ALGEBRAIC SURFACES)
- Canonical Divisor Functionality (ALGEBRAIC SURFACES)
- Desingularisation by Blow Up (ALGEBRAIC SURFACES)
- Dual Resolution Graphs (ALGEBRAIC SURFACES)
- Multiplicities, Intersections and Restricted Linear Systems (ALGEBRAIC SURFACES)
desing-by-blow-up
- Desingularisation by Blow Up (ALGEBRAIC SURFACES)
Desingularise
- DesingulariseSurfaceByBlowUp(S) : Srfc -> List
DesingulariseSurfaceByBlowUp
- DesingulariseSurfaceByBlowUp(S) : Srfc -> List
Desingularization
- ArithmeticGenusOfDesingularization(S) : Srfc -> RngIntElt
- FirstChernClassOfDesingularization(S) : Srfc -> RngIntElt[RngMPolElt]
- GeometricGenusOfDesingularization(S) : Srfc -> RngIntElt
- PlurigenusOfDesingularization(S,m) : Srfc, RngIntElt -> RngIntElt
Detach
- Detach(F) : MonStgElt ->
- DetachSpec(S) : MonStgElt ->
detach
- Attaching and Detaching Package Files (FUNCTIONS, PROCEDURES AND PACKAGES)
DetachSpec
- DetachSpec(S) : MonStgElt ->
detail
- INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS]
- INTRODUCTION TO MODULES [MODULES]
- INTRODUCTION TO RINGS [BASIC RINGS]
- MAPPINGS
- SEQUENCES
- SETS
Determinant
- Determinant(A) : AlgMatElt -> RngElt
- Determinant(A) : ArtRep -> ArtRep
- Determinant(A) : GalRep -> GalRep
- Determinant(g) : GrphRes -> RngElt
- Determinant(g) : GrpMatElt -> RngElt
- Determinant(HS) : HodgeStruc, -> HodgeStruc
- Determinant(L) : Lat -> RngElt
- Determinant(L) : LatNF -> FldNumElt
- Determinant(L) : LSer -> LSer
- Determinant(M) : ModDed -> RngOrdIdl
- Determinant(A: parameters) : Mtrx -> RngElt
- Determinant(A: parameters) : MtrxSprs -> RngElt
- Determinant(G) : SymGen -> Lat
- Determinant(G) : SymGenLoc -> RngIntElt
- Determinant(g) : TransG1 -> RngElt
- EdgeDeterminant(u,v) : GrphSplVert,GrphSplVert -> RngIntElt
- MooreDeterminant(M) : Mtrx -> Mtrx
- WronskianDeterminant(L) : [RngDiffElt] -> RngDiffElt, AlgMatElt

V2.28, 13 July 2023

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