Documentation

discriminant
- Elementary Invariants (RATIONAL CURVES AND CONICS)
- Resultant and Discriminant (UNIVARIATE POLYNOMIAL RINGS)
- Resultants and Discriminants (MULTIVARIATE POLYNOMIAL RINGS)
discriminant-ex
- CrvG3_discriminant-ex (Example H133E2)
DiscriminantDivisor
- DiscriminantDivisor(m, U) : DivFunElt, GrpAb -> DivFunElt
- DiscriminantDivisor(A) : FldFunAb -> DivFunElt
DiscriminantFromDixmierOhnoInvariants
- DiscriminantFromDixmierOhnoInvariants(DO) : SeqEnum -> Any
DiscriminantFromIgusaInvariants
- DiscriminantFromIgusaInvariants(JI) : SeqEnum -> Any
DiscriminantFromShiodaInvariants
- DiscriminantFromShiodaInvariants(JI) : SeqEnum -> RngElt
DiscriminantOfHeckeAlgebra
- DiscriminantOfHeckeAlgebra(M : Bound) : ModSym -> RngIntElt
DiscriminantOfTernaryQuartic
- DiscriminantOfTernaryQuartic(f) : RngMPolElt -> Any
DiscriminantPoints
- DiscriminantPoints(f) : RngMPolElt -> SeqEnum[FldComElt]
DiscriminantRange
- DiscriminantRange(D) : DB -> RngIntElt, RngIntElt
Discriminants
- HeegnerDiscriminants(E,lo,hi) : CrvEll[FldRat], RngIntElt, RngIntElt -> SeqEnum
DiscriminantValuation
- DiscriminantValuation(L) : FldXPad -> RngIntElt
DiscriminatingOctonions
- Multilinear_DiscriminatingOctonions (Example H62E41)
DiscToPlane
- DiscToPlane(H,z) : SpcHyp, SpcHydElt -> SpcHypElt
Disjoint
- IsDisjoint(R, S) : SetEnum, SetEnum -> BoolElt
Display
- Display(P) : GrpPCpQuotientProc ->
- DisplayBurnsideMatrix(G) : GrpPC ->
- DisplayBurnsideMatrix(G) : GrpPerm ->
- DisplayCompTreeNodes(G : parameters) : Grp ->
- DisplayFareySymbolDomain(FS,file) : SymFry, MonStgElt -> SeqEnum
- DisplayPolygons(P,file) : SeqEnum, MonStgElt ->
- DisplaySocleStructure(SL) : SeqEnum ->
- SetDisplayLevel(~P, Level) : GrpPCpQuotientProc, RngIntElt ->
DisplayBurnsideMatrix
- DisplayBurnsideMatrix(G) : GrpPC ->
- DisplayBurnsideMatrix(G) : GrpPerm ->
DisplayCompTreeNodes
- DisplayCompTreeNodes(G : parameters) : Grp ->
DisplayFareySymbolDomain
- DisplayFareySymbolDomain(FS,file) : SymFry, MonStgElt -> SeqEnum
DisplayPolygons
- DisplayPolygons(P,file) : SeqEnum, MonStgElt ->
DisplaySocleStructure
- DisplaySocleStructure(SL) : SeqEnum ->
DisregardTheWarning
- CrvHyp_DisregardTheWarning (Example H134E31)
dissid
- Curves and Dissident Points (HILBERT SERIES OF POLARISED VARIETIES)
Dissident
- CanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
- PossibleCanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
- PossibleSimpleCanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
- SimpleCanonicalDissidentPoints(C) : GRCrvS -> SeqEnum
Distance
- CosetDistanceDistribution(C) : Code -> [ <RngIntElt, RngIntElt> ]
- Distance(x, L) : FldReElt, [FldReElt] -> FldReElt, RngIntElt
- Distance(u, v) : GrphVert, GrphVert -> RngIntElt
- Distance(u, v) : ModTupRngElt, ModTupRngElt -> RngIntElt
- Distance(u, v) : ModTupRngElt, ModTupRngElt -> RngIntElt
- Distance(u, v) : ModTupRngElt, ModTupRngElt -> RngIntElt
- Distance(u, v : parameters) : GrphVert, GrphVert -> RngElt
- Distance(f, g) : RngUPolElt, RngUPolElt -> RngIntElt
- Distance(z,w) : SpcHydElt, SpcHydElt -> FldReElt
- Distance(z,w) : SpcHypElt, SpcHypElt -> FldReElt
- DistanceMatrix(G) : Grph -> AlgMatElt
- DistancePartition(u) : GrphVert -> [ { GrphVert } ]
- EuclideanDistance(u, v) : ModTupRngElt, ModTupRngElt -> RngIntElt
- GoppaDesignedDistance(C) : Code -> RngIntElt
- IsDistanceRegular(G) : GrphUnd -> BoolElt
- IsDistanceTransitive(G) : GrphUnd -> BoolElt
- IsMaximumDistanceSeparable(C) : Code -> BoolElt
- LeeDistance(u, v) : ModTupRngElt, ModTupRngElt -> RngIntElt
- MinimumEuclideanWeight(C) : Code -> RngIntElt
- MinimumLeeWeight(C) : Code -> RngIntElt
- MinimumWeight(C) : Code -> RngIntElt
- MinimumWeight(C) : Code -> RngIntElt
- MinimumWeight(C: parameters) : Code -> RngIntElt
- MinimumWeight(C: parameters) : CodeAdd -> RngIntElt
- VerifyMinimumDistanceLowerBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
- VerifyMinimumDistanceUpperBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
- CodeFld_Distance (Example H161E11)
distance
- Bounds on the Minimum Distance (LINEAR CODES OVER FINITE FIELDS)
- Distance and Weight (ADDITIVE CODES)
- Distance and Weight (LINEAR CODES OVER FINITE FIELDS)
- Vector Space and Related Operations (ADDITIVE CODES)
- Vector Space and Related Operations (LINEAR CODES OVER FINITE FIELDS)
DistanceAngle
- Distance and Angles (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Distances, Angles and Geodesics (CONGRUENCE SUBGROUPS OF PSL₂(R))
DistanceMatrix
- DistanceMatrix(G) : Grph -> AlgMatElt
DistancePartition
- DistancePartition(u) : GrphVert -> [ { GrphVert } ]
Distances
- Distances(u : parameters) : GrphVert -> Eseq

V2.28, 13 July 2023

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