Documentation

dual
- Dual iterators in constructors (INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS])
- Sum, Intersection and Dual (ADDITIVE CODES)
- Sum, Intersection and Dual (LINEAR CODES OVER FINITE RINGS)
- Sum, Intersection, Duals and Hulls (LINEAR CODES OVER FINITE FIELDS)
- The Dual Space (ADDITIVE CODES)
- The Dual Space (LINEAR CODES OVER FINITE FIELDS)
- Lat_dual (Example H31E6)
dual-iterators
- Dual iterators in constructors (INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS])
dual-space
- The Dual Space (ADDITIVE CODES)
- The Dual Space (LINEAR CODES OVER FINITE FIELDS)
dual-toric-lattice
- Polyhedra_dual-toric-lattice (Example H152E17)
dual_grph
- Dual Resolution Graphs (ALGEBRAIC SURFACES)
dual_res
- Point counting on resolution fibres (ALGEBRAIC SURFACES)
dual_res-grph_zet_fn
- Point counting on resolution fibres (ALGEBRAIC SURFACES)
DualAtkinLehner
- DualAtkinLehner(M, q) : ModSym, RngIntElt -> AlgMatElt
DualBasisLattice
- DualBasisLattice(L) : Lat -> Lat
DualCoxeterForm
- DualCoxeterForm(W) : GrpPermCox -> AlgMatElt
- CoxeterForm(W) : GrpPermCox -> AlgMatElt
- CoxeterForm(R) : RootDtm -> AlgMatElt
- CoxeterForm(R) : RootSys -> AlgMatElt
DualEuclideanWeightDistribution
- DualEuclideanWeightDistribution(C) : Code -> SeqEnum
DualFaceInDualFan
- DualFaceInDualFan(P,Q) : TorPol,[RngIntElt] -> TorFan
DualFan
- DualFan(P) : TorPol -> TorFan
- NormalFan(P) : TorPol -> TorFan
DualHeckeOperator
- DualHeckeOperator(M, n) : ModSym, RngIntElt -> AlgMatElt
DualIsogeny
- DualIsogeny(phi) : Map -> Map
- CrvEll_DualIsogeny (Example H128E20)
DualIteration
- Seq_DualIteration (Example H11E7)
Duality
- DualityAutomorphism(G) : GrpLie -> GrpLieAutoElt
DualityAutomorphism
- DualityAutomorphism(G) : GrpLie -> GrpLieAutoElt
DualKroneckerZ4
- DualKroneckerZ4(C) : CodeLinRng -> CodeLinRng
DualLeeWeightDistribution
- DualLeeWeightDistribution(C) : Code -> SeqEnum
DualMorphism
- DualMorphism(R, S, phiX, phiY) : RootDtm, RootDtm, Map, Map -> Map
- DualMorphism(R, S, Q) : RootDtm, RootDtm, [RngIntElt] -> Map
DualPolynomial
- DualPolynomial(f) : RngUPolElt -> RngUPolElt
DualQuotient
- DualQuotient(L) : Lat -> GrpAb, Lat, Map
DualResolutionGraph
- DualResolutionGraph(dsd) : DesingData -> GrphMultUnd, SeqEnum, SeqEnum
DualRS
- CodeFld_DualRS (Example H161E16)
duals
- Duals and Injectives (BASIC ALGEBRAS)
duals-injectives
- Duals and Injectives (BASIC ALGEBRAS)
DualStarInvolution
- DualStarInvolution(M) : ModSym -> AlgMatElt
DualVectorSpace
- DualVectorSpace(M) : ModSym -> ModTupFld
DualWeightDistribution
- DualWeightDistribution(C) : Code -> [ <RngIntElt, RngIntElt> ]
- DualWeightDistribution(C) : Code -> [ <RngIntElt, RngIntElt> ]
- DualWeightDistribution(C) : Code -> [ <RngIntElt, RngIntElt> ]
- DualWeightDistribution(C) : CodeAdd -> [ <RngIntElt, RngIntElt> ]
DualZ4
- DualZ4(C) : CodeLinRng -> CodeLinRng
DUpper
- To2DUpperHalfSpaceFundamentalDomain(z) : Mtrx -> Mtrx, Mtrx
Duval
- DuvalPuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum
duval
- Operations associated with Duval's algorithm (NEWTON POLYGONS)
- Operations not associated with Duval's Algorithm (NEWTON POLYGONS)
duval-ex
- Newton_duval-ex (Example H55E9)
DuvalPuiseuxExpansion
- DuvalPuiseuxExpansion(f, n) : RngUPolElt, RngIntElt -> SeqEnum
Dyer
- SwinnertonDyerPolynomial(n) : RngIntElt -> RngUPolElt
dyer
- Swinnerton-Dyer Polynomials (UNIVARIATE POLYNOMIAL RINGS)
dynamic
- Dynamic Typing (MAGMA SEMANTICS)
dynamic-typing
- Dynamic Typing (MAGMA SEMANTICS)
Dynkin
- DynkinDiagram(M) : AlgMatElt ->
- DynkinDiagram(G) : GrpLie ->
- DynkinDiagram(W) : GrpMat ->
- DynkinDiagram(W) : GrpPermCox ->
- DynkinDiagram(R) : RootStr ->
- DynkinDiagram(R) : RootSys ->
- DynkinDigraph(C) : AlgMatElt -> GrphDir
- DynkinDigraph(G) : GrpLie -> GrphUnd
- DynkinDigraph(W) : GrpMat -> GrphDir
- DynkinDigraph(W) : GrpPermCox -> GrphDir
- DynkinDigraph(N) : MonStgElt -> GrphDir
- DynkinDigraph(R) : RootStr -> GrphDir
- DynkinDigraph(R) : RootSys -> GrphDir
- IrreducibleDynkinDigraph(X, n) : MonStgElt, RngIntElt -> GrphDir
- IsDynkinDigraph(D) : GrphDir -> BoolElt
- IsGenuineWeightedDynkinDiagram( L, wd ) : AlgLie, SeqEnum -> BoolElt, SeqEnum
- WeightedDynkinDiagram( o ) : NilpOrbAlgLie -> SeqEnum
DynkinDiagram
- DynkinDiagram(M) : AlgMatElt ->
- DynkinDiagram(G) : GrpLie ->
- DynkinDiagram(W) : GrpMat ->
- DynkinDiagram(W) : GrpPermCox ->
- DynkinDiagram(R) : RootStr ->
- DynkinDiagram(R) : RootSys ->
- Cartan_DynkinDiagram (Example H102E17)

V2.28, 13 July 2023

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