- DirectSumDual
- DirectSumDualRadical
- dirich-chars-over-nf-and-q
- Dirichlet
- DirichletCharacter(A) : ArtRep -> GrpDrchElt
- DirichletCharacter(A) : ModAbVar -> GrpDrchElt
- DirichletCharacter(f) : ModFrmElt -> GrpDrchElt
- DirichletCharacter(M) : ModFrmHil -> GrpDrchNFElt
- DirichletCharacter(I, B) : RngOrdIdl, Tup -> GrpDrchNFElt, GrpDrchNF
- DirichletCharacterOverNF(chi) : GrpDrchElt -> GrpDrchNFElt
- DirichletCharacters(A) : ModAbVar -> List
- DirichletCharacters(M) : ModFrm -> [GrpDrchElt]
- DirichletGroup(N) : RngIntElt -> GrpDrch
- DirichletGroup(N,R) : RngIntElt, Rng -> GrpDrch
- DirichletGroup(N,R,z,r) : RngIntElt, Rng, RngElt, RngIntElt -> GrpDrch
- DirichletGroup(I) : RngOrdIdl -> GrpDrchNF
- DirichletRestriction(psi) : GrpHeckeElt -> GrpDrchNFElt
- FullDirichletGroup(N) : RngIntElt -> GrpDrch
- RngIntRes_Dirichlet (Example H20E7)
- dirichlet
- dirichlet-characters
- dirichlet-hecke
- DirichletCharacter
- DirichletCharacterOverNF
- DirichletCharacterOverQ
- DirichletCharacters
- DirichletGroup
- dirichletQ
- DirichletRestriction
- dis
- Disc
- DiscToPlane(H,z) : SpcHyp, SpcHydElt -> SpcHypElt
- PlaneToDisc(D,z) : SpcHyd, SpcHypElt -> SpcHydElt
- RayClassGroupDiscLog(y, D) : DivFunElt, DivFunElt -> GrpAbElt
- SUnitDiscLog(SU, x, S) : Map, FldAlgElt, SeqEnum[RngOrdIdl] -> GrpAbElt
- UnitDisc() : -> SpcHyd
- disc
- Disconnect
- Discrete
- discrete
- discrete-fourier
- discrete_logs
- DiscreteFourierTransform
- DiscreteLog
- Discriminant
- AbsoluteDiscriminant(A) : FldAb -> RngIntElt
- AbsoluteDiscriminant(K) : FldAlg -> FldRatElt
- AbsoluteDiscriminant(K) : FldNum -> FldRatElt
- AbsoluteDiscriminant(O) : RngFunOrd -> .
- AbsoluteDiscriminant(O) : RngOrd -> RngIntElt
- Discriminant(O) : AlgAssVOrd[RngOrd] -> RngOrdIdl
- Discriminant(S) : AlgQuatOrd -> RngElt
- Discriminant(A) : AlgQuat[FldRat] -> RngIntElt
- Discriminant(C) : CrvCon -> FldElt
- Discriminant(E) : CrvEll -> RngElt
- Discriminant(C) : CrvHyp -> RngElt
- Discriminant(A) : FldAb -> RngOrdIdl, [RngIntElt]
- Discriminant(F) : FldNum -> RngIntElt
- Discriminant(K) : FldQuad -> RngIntElt
- Discriminant(Q) : FldRat -> RngIntElt
- Discriminant(H) : HomModAbVar -> FldRatElt, AlgMatElt
- Discriminant(L) : LatNF -> RngOrdFracIdl
- Discriminant(M) : ModBrdt -> RngIntElt
- Discriminant(model) : ModelG1 -> RngElt
- Discriminant(V) : ModTupFld -> RngIntElt
- Discriminant(Q) : QuadBin -> RngIntElt
- Discriminant(f) : QuadBinElt -> RngIntElt
- Discriminant(O) : RngFunOrd -> .
- Discriminant(L) : RngLocA -> RngElt
- Discriminant(f, i) : RngMPolElt, RngIntElt -> RngMPolElt
- Discriminant(O) : RngOrd -> RngIntElt
- Discriminant(R) : RngPad -> RngPadElt
- Discriminant(K, k) : RngPad, RngPad -> RngPadElt
- Discriminant(I) : RngQuadFracIdl -> RngIntElt
- Discriminant(f) : RngUPolElt -> RngIntElt
- Discriminant(f) : RngUPolXPadElt -> RngAnyXPadElt
- Discriminant(B) : TenSpcElt -> RngMPolElt
- DiscriminantDivisor(m, U) : DivFunElt, GrpAb -> DivFunElt
- DiscriminantDivisor(A) : FldFunAb -> DivFunElt
- DiscriminantFromDixmierOhnoInvariants(DO) : SeqEnum -> Any
- DiscriminantFromIgusaInvariants(JI) : SeqEnum -> Any
- DiscriminantFromShiodaInvariants(JI) : SeqEnum -> RngElt
- DiscriminantOfHeckeAlgebra(M : Bound) : ModSym -> RngIntElt
- DiscriminantOfTernaryQuartic(f) : RngMPolElt -> Any
- DiscriminantPoints(f) : RngMPolElt -> SeqEnum[FldComElt]
- DiscriminantRange(D) : DB -> RngIntElt, RngIntElt
- DiscriminantValuation(L) : FldXPad -> RngIntElt
- FactoredDiscriminant(O) : AlgAssVOrd[RngOrd] -> [Tup]
- FactoredDiscriminant(S) : AlgQuatOrd -> SeqEnum
- FundamentalDiscriminant(D) : RngIntElt -> RngIntElt
- IsDiscriminant(D) : RngIntElt -> BoolElt
- IsFundamental(D) : RngIntElt -> BoolElt
- NormGroupDiscriminant(m, G) : Map, GrpAb -> RngIntElt
- PointsOverDiscriminantPoint(X, k) : RieSrf, RngIntElt -> SeqEnum[RieSrfPt]
- RamifiedPlaces(A) : AlgQuat -> SeqEnum, SeqEnum
- ReducedDiscriminant(O) : RngOrd -> RngIntElt
- RngOrd_Discriminant (Example H39E16)
V2.28, 13 July 2023