Documentation

IsDiscriminant
- IsDiscriminant(D) : RngIntElt -> BoolElt
IsDisjoint
- IsDisjoint(R, S) : SetEnum, SetEnum -> BoolElt
IsDistanceRegular
- IsDistanceRegular(G) : GrphUnd -> BoolElt
IsDistanceTransitive
- IsDistanceTransitive(G) : GrphUnd -> BoolElt
IsDistinguished
- IsDistinguished (f) : SnuElement -> BoolElt
IsDivisible
- IsDivisible(D) : DivSchElt -> BoolElt, RngIntElt
IsDivisibleBy
- IsDivisibleBy(a, b) : FldFunElt, FldFunElt -> BoolElt, FldFunElt
- IsDivisibleBy(P, n) : JacHypPt, RngIntElt -> BoolElt, JacHypPt
- IsDivisibleBy(P, n) : PtEll, RngIntElt -> BoolElt, PtEll
- IsDivisibleBy(n, d) : RngIntElt, RngIntElt -> BoolElt, RngIntElt
- IsDivisibleBy(a, b) : RngMPolElt, RngMPolElt -> BoolElt, RngMPolElt
- IsDivisibleBy(f, g) : RngUPolElt, RngUPolElt -> BoolElt, RngUPolElt
IsDivisionRing
- IsDivisionRing(R) : Rng -> BoolElt
IsDivisorialContraction
- IsDivisorialContraction(X,i) : TorVar,RngIntElt -> BoolElt
IsDomain
- IsIntegralDomain(R): Rng -> BoolElt
- IsDomain(R) : Rng -> BoolElt
- IsDomain(R) : RngDiff -> BoolElt
IsDominant
- IsDominant(f) : MapSch -> BoolElt
- IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
- IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
- IsDominant(R, v) : RootDtm, . -> ModTupFldElt, GrpFPCoxElt
IsDoublePoint
- IsDoublePoint(p) : Pt -> BoolElt
IsDoublyEven
- IsDoublyEven(C) : Code -> BoolElt
IsDualComputable
- IsDualComputable(A) : ModAbVar -> BoolElt, ModAbVar
IsDynkinDigraph
- IsDynkinDigraph(D) : GrphDir -> BoolElt
IsEasySnAn
- IsEasySnAn(f) : RngUPolElt -> RngIntElt
IsEdgeCapacitated
- IsEdgeCapacitated(G) : GrphMult -> BoolElt
IsEdgeLabelled
- IsEdgeLabelled(G) : GrphMult -> BoolElt
IsEdgeTransitive
- IsEdgeTransitive(G) : GrphUnd -> BoolElt
IsEdgeWeighted
- IsEdgeWeighted(G) : GrphMult -> BoolElt
IsEffective
- IsPositive(D) : DivCrvElt -> BoolElt
- IsEffective(D) : DivCrvElt -> BoolElt
- IsEffective(D) : DivSchElt -> BoolElt
- IsEffective(D) : DivTorElt -> BoolElt
- IsEffective(C) : GRCrvK -> BoolElt
- IsEffective(D) : OMDiv -> BoolElt
IsEichler
- IsEichler(O, p) : AlgAssVOrd , RngOrdIdl -> BoolElt, AlgAssVOrd, AlgAssVOrd
- IsEichler(O) : AlgAssVOrd -> BoolElt, AlgAssVOrd, AlgAssVOrd
IsEisenstein
- IsEisenstein(M) : ModBrdt -> BoolElt
- IsEisenstein(M) : ModFrm -> BoolElt
- IsEisenstein(f) : ModFrmAlgElt -> BoolElt
- IsEisenstein(M) : ModSym -> BoolElt
- IsEisenstein(f) : RngUPolElt -> BoolElt
- IsInertial(f) : RngUPolXPadElt -> BoolElt
IsEisensteinSeries
- IsEisensteinSeries(f) : ModFrmElt -> BoolElt
- IsEisensteinSeries(f) : ModFrmElt -> BoolElt
IsElementaryAbelian
- IsElementaryAbelian(G) : GrpAb -> BoolElt
- IsElementaryAbelian(G) : GrpFin -> BoolElt
- IsElementaryAbelian(G) : GrpGPC -> BoolElt
- IsElementaryAbelian(G) : GrpMat -> BoolElt
- IsElementaryAbelian(G) : GrpPC -> BoolElt
- IsElementaryAbelian(G) : GrpPerm -> BoolElt
IsEllipticCurve
- IsEllipticCurve(C) : CrvHyp -> BoolElt, CrvEll, MapIsoSch, MapIsoSch
- IsEllipticCurve(C) : CrvHyp -> BoolElt, CrvEll, MapIsoSch, MapIsoSch
- IsEllipticCurve([a, b]) : [ RngElt ] -> BoolElt, CrvEll
IsEllipticWeierstrass
- IsEllipticWeierstrass(C) : Crv -> BoolElt
IsEmbedded
- IsEmbedded(M) : ModMPol -> BoolElt
IsEmpty
- IsEmpty(P) : GrpBrdClassProc -> BoolElt
- IsEmpty(P) : GrpFPHomsProc -> BoolElt
- IsEmpty(P) : GrpFPLixProc -> BoolElt
- IsEmpty(G) : Grph -> BoolElt
- IsEmpty(G) : GrphMult -> BoolElt
- IsEmpty(P) : LatEnumProc -> BoolElt
- IsEmpty(S) : List -> BoolElt
- IsEmpty(p) : Process -> BoolElt
- IsEmpty(p) : Process -> BoolElt
- IsEmpty(p) : Process -> BoolElt
- IsEmpty(p) : Process -> BoolElt
- IsEmpty(P) : Rec -> BoolElt
- IsEmpty(X) : Sch -> BoolElt
- IsEmpty(S) : SeqEnum -> BoolElt
- IsEmpty(R) : SetEnum -> BoolElt
- IsEmpty(Xm) : SetPt -> BoolElt, Pt
- IsEmpty(P) : TorPol -> BoolElt
- IsEmpty(T) : Tup -> BoolElt
IsEmptySimpleQuotientProcess
- IsEmptySimpleQuotientProcess(P) : Rec -> BoolElt
IsEmptyWord
- IsEmptyWord(u: parameters) : GrpBrdElt -> BoolElt

V2.29, 21 October 2025

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