- dixmierohno-ex
- DixmierOhnoAlgebraicRelations
- DixmierOhnoInvariants
- DixmierOhnoInvariantsEqual
- Dodecacode
- DodecacodeQuant
- Dold
- Domain
- domain
- domain-kernel
- domains
- Dominant
- AlternatingDominant(D) : LieRepDec -> LieRepDec
- AlternatingDominant(D, w) : LieRepDec, GrpPermElt -> LieRepDec
- DominantCharacter(D) : LieRepDec -> LieRepDec
- DominantDiagonalForm(X) : Mtrx[RngUPol] -> Mtrx, Mtrx, GrpMat, FldFin
- DominantLSPath(R, hw) : RootDtm, SeqEnum -> PathLS
- DominantWeight(G, v) : GrpLie, . -> ModTupFldElt, GrpFPCoxElt
- DominantWeight(W, v) : GrpMat, . -> ModTupFldElt, GrpFPCoxElt
- DominantWeight(W, v) : GrpPermCox, . -> ModTupFldElt, GrpFPCoxElt
- DominantWeight(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
- DominantWeights(R, w) : RootDtm, [ ] -> [ ModTupRngElt ], [ RngIntElt ]
- IsDominant(f) : MapSch -> BoolElt
- IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
- IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
- IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
- DominantCharacter
- DominantDiagonalForm
- DominantLSPath
- DominantWeight
- DominantWeight(G, v) : GrpLie, . -> ModTupFldElt, GrpFPCoxElt
- DominantWeight(W, v) : GrpMat, . -> ModTupFldElt, GrpFPCoxElt
- DominantWeight(W, v) : GrpPermCox, . -> ModTupFldElt, GrpFPCoxElt
- DominantWeight(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
- DominantWeights
V2.28, 13 July 2023