Documentation

IsCoxeterHyperbolic
- IsCoxeterCompactHyperbolic(M) : AlgMatElt -> BoolElt
- IsCoxeterHyperbolic(M) : AlgMatElt -> BoolElt
- IsCoxeterHyperbolic(G) : GrphUnd -> BoolElt
IsCoxeterIrreducible
- IsCoxeterIrreducible(C) : AlgMatElt -> BoolElt
- IsCoxeterIrreducible(M) : AlgMatElt -> BoolElt
IsCoxeterIsomorphic
- IsCoxeterIsomorphic(M1, M2) : AlgMatElt, AlgMatElt -> BoolElt, SeqEnum
- IsCoxeterIsomorphic(C1, C2) : AlgMatElt, AlgMatElt -> RngIntElt
- IsCoxeterIsomorphic(W1, W2) : GrpFPCox, GrpFPCox -> BoolElt
- IsCoxeterIsomorphic(W1, W2) : GrpMat, GrpMat -> BoolElt
- IsCoxeterIsomorphic(N1, N2) : MonStgElt, MonStgElt -> BoolElt
IsCoxeterMatrix
- IsCoxeterMatrix(M) : AlgMatElt -> BoolElt
IsCPlusGroup
- IsCPlusGroup(G) : GrpPerm -> BooElt
- HasIntersectionPropertyPlus(G) : GrpPerm -> BoolElt
IsCrystallographic
- IsCrystallographic(C) : AlgMatElt -> BoolElt
- IsCrystallographic(W) : GrpMat -> BoolElt
- IsCrystallographic(W) : GrpPermCox -> BoolElt
- IsCrystallographic(R) : RootStr -> BoolElt
- IsCrystallographic(R) : RootSys -> BoolElt
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(f) : ModFrmAlgElt -> 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
- IsDefinite(V) : SpcPlr -> 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
IsDiagonalisable
- IsDiagonalizable(M) : AlgMatElt -> Boolelt, AlgMatElt, AlgMatElt
- IsDiagonalisable(M) : AlgMatElt -> Boolelt, AlgMatElt, AlgMatElt
IsDiagonalizable
- IsDiagonalizable(M) : AlgMatElt -> Boolelt, AlgMatElt, AlgMatElt
- IsDiagonalisable(M) : AlgMatElt -> Boolelt, AlgMatElt, AlgMatElt
IsDiagonalizablex
- AlgMat_IsDiagonalizablex (Example H92E10)
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

V2.29, 21 October 2025

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