Documentation

DefiningPolynomials
- DefiningPolynomials(F) : FldFun -> [RngUPolElt]
- DefiningPolynomials(H) : HypGeomData -> RngUPolElt, RngUPolElt
- DefiningPolynomials(f) : MapSch -> SeqEnum
- DefiningPolynomials(X) : Sch -> SeqEnum
DefiningSubschemePolynomial
- DefiningSubschemePolynomial(G) : SchGrpEll -> RngUPolElt
Definite
- DefiniteGramMatrix(B) : SeqEnum[AlgQuatElt] -> FldReElt
- DefiniteNorm(gamma) : AlgQuatElt -> FldReElt
- IsDefinite(A) : AlgQuat -> BoolElt
- IsDefinite(L) : LatNF -> BoolElt, RngOrdElt
- IsDefinite(M) : ModFrmHil -> BoolElt
- IsNegativeDefinite(F) : Mtrx -> BoolElt
- IsNegativeSemiDefinite(F) : Mtrx -> BoolElt
- IsPositiveDefinite(F) : Mtrx -> BoolElt
- IsPositiveSemiDefinite(F) : Mtrx -> BoolElt
- IsTotallyPositiveDefinite(L) : LatNF -> BoolElt
- PositiveDefiniteForm(G) : GrpMat -> Mtrx
- PositiveDefiniteForm(L) : Lat -> AlgMatElt
definite
- Algorithm I (Using Definite Quaternion Orders) (HILBERT MODULAR FORMS)
- Testing Matrices for Definiteness (LATTICES)
DefiniteGramMatrix
- DefiniteGramMatrix(B) : SeqEnum[AlgQuatElt] -> FldReElt
Definitely
- IsDefinitelyEqual(f, g) : StrAnyXPadElt, StrAnyXPadElt -> BoolElt
- IsDefinitelyZero(f) : StrAnyXPadElt -> BoolElt
- IsDefinitelyZero(x) : StrAnyXPadElt -> BoolElt
DefiniteNorm
- DefiniteNorm(gamma) : AlgQuatElt -> FldReElt
Definition
- FieldOfDefinition(H) : HomModAbVar -> ModAbVar
- FieldOfDefinition(phi) : MapModAbVar -> ModAbVar
- FieldOfDefinition(A) : ModAbVar -> Fld
- FieldOfDefinition(x) : ModAbVarElt -> ModTupFldElt
- FieldOfDefinition(G) : ModAbVarSubGrp -> Fld
definition
- Creation of a Group (FINITE SOLUBLE GROUPS)
- Definition of Elements (FINITE SOLUBLE GROUPS)
- General Modules (INTRODUCTION TO MODULES [MODULES])
- Introduction (FINITE PLANES)
- Introduction (GRAPHS)
- Introduction (INCIDENCE STRUCTURES AND DESIGNS)
- Specification of Elements (POLYCYCLIC GROUPS)
- Terminology (MAGMA SEMANTICS)
- Terminology (PERMUTATION GROUPS)
Definitions
- HaspQuotientDefinitions(G) : GrpPC -> BoolElt
- pQuotientDefinitions(G) : GrpPC -> SeqEnum
definitions
- Definitions (ADMISSIBLE REPRESENTATIONS OF GL₂(Q_p))
- Definitions (MOD P GALOIS REPRESENTATIONS)
defns
- Definitions and Notation (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
defns-notations
- Definitions and Notation (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
Deformation
- EulerFactorsByDeformation(Q, Y) : RngMPolElt, SeqEnum -> SeqEnum
- ZetaFunctionsByDeformation(Q, Y) : RngMPolElt, SeqEnum -> SeqEnum
- JacobianOrdersByDeformation(Q, Y) : RngMPolElt, SeqEnum -> SeqEnum
DefRing
- DefRing(G) : GrpLie -> Rng
defs
- Definition of the Class Invariants (BRAID GROUPS)
Deg
- NumberOfPlacesDegECF(C, m) : Crv[FldFin], RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(C, m) : Crv[FldFin], RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(F, m) : FldFun, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(F, m) : FldFunG, RngIntElt -> RngIntElt
deg
- Adjacency and Degree (MULTIGRAPHS)
- Adjacency and Degree Functions for Mul-tigraphs (MULTIGRAPHS)
- Adjacency and Degree Functions for Multidigraphs (MULTIGRAPHS)
- Degree 2 K3 Surfaces (ALGEBRAIC SURFACES)
- Introduction (ALGEBRAIC SURFACES)
deg-2-K3-srfcs
- Degree 2 K3 Surfaces (ALGEBRAIC SURFACES)
Deg2
- EllipticFibrationRRSpaceDeg2K3(S,divlst,exdivlst) : Srfc, SeqEnum, SeqEnum -> SeqEnum[RngMPolElt],RngMPolElt
- EllipticGeneralFibreDeg2K3(S,B,secs) : Srfc, SeqEnum[RngMPolElt], SeqEnum[Sch] -> Crv,SeqEnum,SeqEnum
deg2K3
- Creation Functions (ALGEBRAIC SURFACES)
- Elliptic Fibrations (ALGEBRAIC SURFACES)
- Split Divisors and Intersection Matrices (ALGEBRAIC SURFACES)
deg2K3-ell-fib-ex
- AlgSrf_deg2K3-ell-fib-ex (Example H123E43)
deg2K3-ell-fibs
- Elliptic Fibrations (ALGEBRAIC SURFACES)
deg2K3-split-divs-n-ints
- Split Divisors and Intersection Matrices (ALGEBRAIC SURFACES)
deg2K3_int_pairings
- AlgSrf_deg2K3_int_pairings (Example H123E41)
- AlgSrf_deg2K3_int_pairings (Example H123E42)
Deg4del
- MinimizeDeg4delPezzo(f, p) : SeqEnum, RngIntElt -> SeqEnum, Mtrx
- MinimizeReduceDeg4delPezzo(f) : SeqEnum -> SeqEnum, Mtrx
Deg6
- ParametrizeDelPezzoDeg6(X) : Sch -> BoolElt, MapIsoSch
deg_2_K3_surf
- Point Counting on Degree Two K3 Surfaces (HILBERT SERIES OF POLARISED VARIETIES)
DEGaussian
- CodeLDPC_DEGaussian (Example H163E7)
Degeneracy
- DegeneracyMap(M1, M2, d) : ModSym, ModSym, RngIntElt -> Map
- DegeneracyMatrix(M1, M2, d) : ModSym, ModSym, RngIntElt -> AlgMatElt
- DegeneracyOperator(M, P, Q) : ModFrmHil, RngOrdIdl, RngOrdIdl -> Mtrx
DegeneracyMap
- DegeneracyMap(M1, M2, d) : ModSym, ModSym, RngIntElt -> Map
DegeneracyMatrix
- DegeneracyMatrix(M1, M2, d) : ModSym, ModSym, RngIntElt -> AlgMatElt

V2.28, 13 July 2023

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