Index D

D

D-key

d-key

Darstellungsgruppe

data

database

Libraries of Functions in the Magma Language (OVERVIEW)

databases

Libraries of Functions in the Magma Language (OVERVIEW)

DawsonIntegral

declaration

DecomposeVector

Decomposition

Decomposition(T, y) : TabChtr, AlgChtrElt -> [ FldCycElt ]

decomposition

Composition and Decomposition (CHARACTERS OF FINITE GROUPS)

Decomposition of Matrix Groups of Large Degree (MATRIX GROUPS)

Decompositions with Respect to a Normal Subgroup (MATRIX GROUPS)

Radical and Decomposition of Ideals (MULTIVARIATE POLYNOMIAL RINGS)

deconstruction

Deconstruction of a Vector (VECTOR SPACES)

DedekindEta

DedekindTest

default

DefiningPolynomial

DefiningPolynomial(K) : FldNum -> RngUPolElt

DefiningPolynomial(Q) : FldRat -> RngUPolElt

definition

Introduction (FINITE PLANES)

Introduction (GRAPHS)

Introduction (INCIDENCE STRUCTURES AND DESIGNS)

Power-conjugate Presentations (SOLUBLE GROUPS)

Specification of Elements (SOLUBLE GROUPS)

Terminology (MAGMA SEMANTICS)

Terminology (PERMUTATION GROUPS)

The Concept of a G-Set (PERMUTATION GROUPS)

Degree

Degree(R) : AlgMat -> RngIntElt

Degree(K) : FldCyc -> RngIntElt

Degree(F) : FldFin -> RngIntElt

Degree(K) : FldQuad -> RngIntElt

Degree(Q) : FldRat -> RngIntElt

Degree(G) : GrpMat -> RngIntElt

Degree(g) : GrpMatElt -> RngIntElt

Degree(G) : GrpPermElt -> RngIntElt

Degree(g) : GrpPermElt -> RngIntElt

Degree(g, Y) : GrpPermElt, GSet -> RngIntElt

Degree(V) : ModTupFld -> RngIntElt

Degree(f, i) : RngMPolElt, RngIntElt -> RngIntElt

Degree(f) : RngMSerElt -> RngIntElt

Degree(O) : RngOrd -> RngIntElt

Degree(I) : RngOrdIdl -> RngIntElt

Degree(p) : RngUPolElt -> RngIntElt

Degree(u) : Vert -> RngIntElt

Degree(u) : Vert -> RngIntElt

degree

Coefficients and Degree (POWER SERIES AND LAURENT SERIES)

Degree (UNIVARIATE POLYNOMIAL RINGS)

Degrees (MULTIVARIATE POLYNOMIAL RINGS)

DegreeOnePrimeIdeals

DegreeSequence

delete

delete r`fieldname : Rec, Fieldname -> Nil

delete x : Var -> Nil

delete-clear

delete-key

DeleteGenerator

DeleteGenerator(S, y) : SgpFP, SgpFPElt -> SgpFP

DeleteRelation

DeleteRelation(S, r) : SgpFP, Rel -> SgpFP

deletion

Deleting an identifier (OVERVIEW)

Denominator

Denominator(q) : FldRatElt -> RngIntElt

Denominator(I) : RngOrdIdl -> RngIntElt

denominator

Numerator and Denominator (RATIONAL FUNCTION FIELDS)

dependency

Depth

Depth(u) : ModTupRngElt -> RngIntElt

Depth(v) : ModTupRngElt -> RngIntElt

DepthFirstSearchTree

Derivative

Derivative(f) : RngSerElt -> RngSerElt

Derivative(p) : RngUPolElt -> RngUPolElt

derivative

Derivative, Integral (UNIVARIATE POLYNOMIAL RINGS)

Evaluation and Derivative (POWER SERIES AND LAURENT SERIES)

derivative-integral

Derivative, Integral (UNIVARIATE POLYNOMIAL RINGS)

DerivedGroup

DerivedSubgroup(G) : GrpFin -> GrpFin

DerivedSubgroup(G) : GrpMat -> GrpMat

DerivedSubgroup(G) : GrpPC -> GrpPC

DerivedSubgroup(G) : GrpPerm -> GrpPerm

DerivedLength

DerivedLength(G) : GrpFin -> RngIntElt

DerivedLength(G) : GrpMat -> RngIntElt

DerivedLength(G) : GrpPC -> RngIntElt

DerivedLength(G) : GrpPerm -> RngIntElt

DerivedSeries

DerivedSeries(G) : GrpFin -> [ GrpFin ]

DerivedSeries(G) : GrpMat -> [ GrpMat ]

DerivedSeries(G) : GrpPC -> [GrpPC]

DerivedSeries(G) : GrpPerm -> [ GrpPerm ]

DerivedSubgroup

DerivedSubgroup(G) : GrpFin -> GrpFin

DerivedSubgroup(G) : GrpMat -> GrpMat

DerivedSubgroup(G) : GrpPC -> GrpPC

DerivedSubgroup(G) : GrpPerm -> GrpPerm

DerSub

Design

Design< t, v | X : parameters > : RngIntElt, RngIntElt, List -> Dsgn

Design(P) : Plane -> Dsgn, SetIncPt, SetIncBlk

design

Combinatorial and Geometrical Structures (OVERVIEW)

Construction of Graphs from Groups, Codes and Designs (GRAPHS)

Construction of Incidence Structures and Designs (INCIDENCE STRUCTURES AND DESIGNS)

Elementary Invariants of a Design (INCIDENCE STRUCTURES AND DESIGNS)

Graphs Constructed from Codes and Designs (GRAPHS)

INCIDENCE STRUCTURES AND DESIGNS

The Automorphism Group of an Incidence Structure (INCIDENCE STRUCTURES AND DESIGNS)

The Collineation Group of a Plane (FINITE PLANES)

design-invar

design-invariant

Detach

detach

DetachSpec

detail

INTRODUCTION [RINGS AND FIELDS]

INTRODUCTION [SETS, SEQUENCES, AND MAPPINGS]

MAGMA LANGUAGE

MAPPINGS

SEQUENCES

SETS

SYSTEM FEATURES

Determinant

Determinant(g) : GrpMatElt -> RngElt

determinant

determinant-trace-transpose-order

DevelopDifferenceSet

Development

development

DFSTree

DiagonalMatrix

diagram

Diameter

Diameter(G) : Grph -> RngIntElt

DiameterPath

diff

DifferenceSet

Digraph

digraph

Combinatorial and Geometrical Structures (OVERVIEW)

Connectedness, Paths and Circuits in a Digraph (GRAPHS)

Construction of a General Digraph (GRAPHS)

Construction of a Standard Digraph (GRAPHS)

Construction of Graphs and Digraphs (GRAPHS)

Converting between Graphs and Digraphs (GRAPHS)

DihedralGroup

DihedralGroup(GrpFP, n) : Cat, RngIntElt -> GrpFP

DihedralGroup(GrpPC, n) : Cat, RngIntElt -> GrpPC

DihedralGroup(GrpPerm, n) : Cat, RngIntElt -> GrpPerm

Dilog

dim

dim-hilbert

Dimension

Dimension(C) : Code -> RngIntElt

Dimension(e) : ModLatElt -> RngIntElt

Dimension(V) : ModTupFld -> RngIntElt

Dimension(V) : ModTupFld -> RngIntElt

Dimension(I) : RngMPol -> RngIntElt, [ RngIntElt ]

Dimension(Q) : RngQPol -> RngIntElt

dimension

DimensionOfCentralizingAlgebra

DimTup

directed

DirectProduct

DirectProduct(G, H) : GrpFP, GrpFP -> GrpFP

DirectProduct(G, H) : GrpMat, GrpMat -> GrpMat

DirectProduct(G, H) : GrpPC, GrpPC -> GrpPC, [Map], [Map]

DirectProduct(G, H) : GrpPerm, GrpPerm -> GrpPerm

DirectProduct(R, S) : SgpFP, SgpFP -> SgpFP

GrpFP_DirectProduct (Example H14E12)

DirectSum

DirectSum(a, b) : AlgMatElt, AlgMatElt -> AlgMatElt

DirectSum(C, D) : Code, Code -> Code

DirectSum(A, B) : GrpAb, GrpAb -> GrpAb

DirectSum(M, N) : ModRng, ModRng -> ModRng, Map, Map, Map, Map

Discriminant

Discriminant(K) : FldCyc -> RngIntElt

Discriminant(K) : FldQuad -> RngIntElt

Discriminant(Q) : FldRat -> RngIntElt

Discriminant(E) : GeomEC -> RngElt

Discriminant(f) : MagFormElt -> RngIntElt

Discriminant(p, i) : RngMPolElt, RngIntElt -> RngMPolElt

Discriminant(O) : RngOrd -> RngIntElt

Discriminant(p) : RngUPolElt -> RngIntElt

FldNum_Discriminant (Example H30E12)

discriminant

Resultant and Discriminant (UNIVARIATE POLYNOMIAL RINGS)

Display

Distance

Distance(u, v) : Vert, Vert -> RngIntElt

Distance(u, v) : Vert, Vert -> RngIntElt

Code_Distance (Example H44E12)

distance

DistanceMatrix

DistancePartition

DistancePartition(u) : Vert -> [ { Vert } ]

DistinctDegreeFactorization

distribution

distributive

distributive-multivariate-polynomial

div

n div m : RngIntElt, RngIntElt -> RngIntElt

f div g : RngMPolElt, RngMPolElt -> RngMPolElt

f div g : RngUPolElt, RngUPolElt -> RngUPolElt

v div w : RngValElt, RngValElt -> RngValElt

division

Quotient and Reductum (MULTIVARIATE POLYNOMIAL RINGS)

Quotient and Remainder (UNIVARIATE POLYNOMIAL RINGS)

Rings, Fields, and Algebras (OVERVIEW)

divisor

Divisors

DivisorSigma

do

The while statement (OVERVIEW)

documentation

Domain

Domain(a) : ModMatElt -> ModTupFld

Domain(S) : ModMatRng -> ModTupRng

domain

Canonical Forms for Matrices over Euclidean Domains (MATRIX ALGEBRAS)

domain-kernel

DoubleCoset

DoubleCoset(G, H, g, K ) : GrpFP, GrpFP, GrpFPElt, GrpFP -> GrpFPDcosElt

DoubleCoset(G, H, g, K ) : GrpPerm, GrpPerm, GrpPermElt, GrpPerm -> GrpPermDcosElt

DoubleCosets

DoubleCosets(G, H, K) : GrpFP, GrpFP, GrpFP -> { GrpFPDcosElt }

[Future release] DoubleCosets(G, H, K) : GrpPerm, GrpPerm, GrpPerm -> { GrpPermDcosElt }

Dsgn

Dual

Dual(D) : Inc -> Inc

Dual(M) : ModGrp -> ModGrp

Dual(P) : Plane -> Plane, PlanePtSet, PlaneLnSet

RMod_Dual (Example H36E10)

dual

The Construction of Related Structures (INCIDENCE STRUCTURES AND DESIGNS)

The Dual Plane (FINITE PLANES)

DualWeightDistribution

dynamic

dynamic-typing