Documentation

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(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
IsEndomorphism
- IsEndomorphism(phi) : MapModAbVar -> BoolElt
- IsEndomorphism(f) : MapSch -> BoolElt
IsEof
- IsEof(S) : MonStgElt -> BoolElt
IsEquationOrder
- IsEquationOrder(O) : RngFunOrd -> BoolElt
- IsEquationOrder(O) : RngOrd -> BoolElt
IsEquidistant
- IsEquidistant(C) : Code -> BoolElt
IsEquitable
- IsEquitable(G, P) : GrphUnd, { { GrphVert } } -> BoolElt
IsEquivalent
- IsEquivalent(G,a,b) : GrpPSL2, SpcHypElt, SpcHypElt -> BoolElt, GrpPSL2Elt
- IsEquivalent(g,h,G) : GrpPSL2Elt, GrpPSL2Elt, GrpPSL2 -> BoolElt
- IsEquivalent(model1, model2) : ModelG1, ModelG1 -> BoolElt, TransG1
- IsEquivalent(f, g) : QuadBinElt, QuadBinElt -> BoolElt, AlgMatElt
- IsEquivalent(f,g) : RngUPolElt, RngUPolElt -> BoolElt
- IsEquivalent(P,Q) : TorPol,TorPol -> BoolElt, Map, TorLatElt
- IsIsomorphic(C, D: parameters) : Code, Code -> BoolElt, Map
IsEtale
- IsEtale(D) : PhiMod -> BoolElt
Isetseq
- Isetseq(S) : SetIndx -> SeqEnum
- IndexedSetToSequence(S) : SetIndx -> SeqEnum
Isetset
- Isetset(S) : SetIndx -> SetEnum
- IndexedSetToSet(S) : SetIndx -> SetEnum
IsEuclideanDomain
- IsEuclideanDomain(F) : FldAlg -> BoolElt
- IsEuclideanDomain(F) : FldNum -> BoolElt
- IsEuclideanDomain(R) : Rng -> BoolElt
IsEuclideanRing
- IsEuclideanRing(R) : Rng -> BoolElt
IsEulerian
- IsEulerian(G) : Grph -> BoolElt

V2.28, 13 July 2023

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