Documentation

IsCurve
- IsCurve(X) : Sch -> BoolElt,Crv
- IsCurve(X) : Sch -> BoolElt,Crv
IsCusp
- IsCusp(p) : Pt -> BoolElt
- IsCusp(z) : SpcHypElt -> BoolElt
IsCuspidal
- IsCuspidal(M) : ModBrdt -> BoolElt
- IsCuspidal(M) : ModFrm -> BoolElt
- IsCuspidal(M) : ModFrmHil -> BoolElt
- IsCuspidal(M) : ModSym -> BoolElt
IsCyclic
- IsCyclic(R) : AlgAss -> BoolElt, AlgAssElt
- IsCyclic(C) : Code -> BoolElt
- IsCyclic(C) : Code -> BoolElt
- IsCyclic(F) : FldAlg -> BoolElt
- IsCyclic(F) : FldNum -> BoolElt
- IsCyclic(G) : GrpAb -> BoolElt
- IsCyclic(G) : GrpFin -> BoolElt
- IsCyclic(G) : GrpGPC -> BoolElt
- IsCyclic(G) : GrpMat -> BoolElt
- IsCyclic(G) : GrpPC -> BoolElt
- IsCyclic(G) : GrpPerm -> BoolElt
IsDecomposable
- IsDecomposable(M) : ModRng -> BoolElt, ModRng, ModRng
- IsDecomposable(M) : ModRng -> BoolElt, ModRng, ModRng
IsDefault
- IsDefault(F) : FldFin -> BoolElt
IsDeficient
- IsDeficient(C, p) : CrvHyp, RngIntElt -> BoolElt
IsDefined
- IsDefined(A, x) : Assoc, Elt -> Bool, Elt
- IsDefined(L, i) : List, RngIntElt -> Elt
- IsDefined(S, i) : SeqEnum, RngIntElt -> BoolElt
IsDefinite
- IsIndefinite(A) : AlgQuat -> BoolElt
- IsDefinite(A) : AlgQuat -> BoolElt
- IsDefinite(L) : LatNF -> BoolElt, RngOrdElt
- IsDefinite(M) : ModFrmHil -> BoolElt
IsDefinitelyEqual
- IsDefinitelyEqual(f, g) : StrAnyXPadElt, StrAnyXPadElt -> BoolElt
- IsDefinitelyZero(f) : StrAnyXPadElt -> BoolElt
- IsDefinitelyZero(x) : StrAnyXPadElt -> BoolElt
IsDefinitelyZero
- IsDefinitelyEqual(f, g) : StrAnyXPadElt, StrAnyXPadElt -> BoolElt
- IsDefinitelyZero(f) : StrAnyXPadElt -> BoolElt
- IsDefinitelyZero(x) : StrAnyXPadElt -> BoolElt
IsDegenerate
- IsDegenerate(V) : ModTupFld -> BoolElt
- IsDegenerate(N) : NwtnPgon -> BoolElt
- IsDegenerate(F) : NwtnPgonFace -> BoolElt
- IsNondegenerate(T) : TenSpcElt -> BoolElt
IsDelPezzo
- IsDelPezzo(Y) : Sch -> BoolElt, SrfDelPezzo, MapSch
IsDenselyRepresented
- IsDenselyRepresented(H) : HilbSpc -> RngIntElt
IsDesarguesian
- IsDesarguesian(P) : Plane -> BoolElt
IsDesign
- IsDesign(D, t: parameters) : Inc, RngIntElt -> BoolElt, RngIntElt
IsDiagonal
- IsDiagonal(a) : AlgMatElt -> BoolElt
- IsDiagonal(A) : Mtrx -> BoolElt
- IsDiagonal(A) : MtrxSprs -> BoolElt
IsDifferenceSet
- IsDifferenceSet(B) : SetEnum -> BoolElt, RngIntElt
IsDifferentialField
- IsDifferentialField(R) : Rng -> BoolElt
IsDifferentialIdeal
- IsDifferentialIdeal(R, I) : RngDiff, RngMPol -> BoolElt
IsDifferentialLaurentSeriesRing
- IsDifferentialLaurentSeriesRing(R) : Rng -> BoolElt
IsDifferentialOperatorRing
- IsDifferentialOperatorRing(R) : . -> BoolElt
IsDifferentialSeriesRing
- IsDifferentialSeriesRing(R) : Rng -> BoolElt
IsDimensionCompatible
- IsDimensionCompatible(B) : AlgBas -> Bool
IsDirected
- IsDirected(G) : GrphMult -> BoolElt
IsDirectSum
- IsDirectSum(L) : TorLat -> BoolElt
IsDirectSummand
- IsDirectSummand(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp
- HasComplement(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp
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

V2.28, 13 July 2023

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