Documentation

IsHadamardEquivalent
- IsHadamardEquivalent(H, J : parameters) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt, AlgMatElt
IsHeckeAlgebra
- IsHeckeAlgebra(H) : HomModAbVar -> BoolElt
IsHeckeOperator
- IsHeckeOperator(phi) : MapModAbVar -> BoolElt, RngIntElt
IsHenselLiftable
- IsHenselLiftable(f, x) : RngUPolElt, FldXPadElt -> BoolElt, FldXPadElt
IsHereditary
- IsHereditary(O, p) : AlgAssVOrd , RngOrdIdl -> BoolElt
- IsHereditary(O) : AlgAssVOrd -> BoolElt
IsHermitian
- IsHermitian(L) : Lat -> BoolElt
- IsHermitian(L) : LatNF -> BoolElt
IsHermitianSelfDual
- IsHermitianSelfDual(C) : CodeLinFld -> BoolElt
IsHermitianSelfOrthogonal
- IsHermitianSelfOrthogonal(C) : CodeLinFld -> BoolElt
IsHomeomorphic
- IsHomeomorphic(G: parameters) : GrphMultUnd -> BoolElt
- IsHomeomorphic(G : parameters) : GrphUnd -> BoolElt
IsHomogeneous
- IsHomogeneous(M) : ModMPol -> BoolElt
- IsGraded(M) : ModMPol -> BoolElt
- IsGraded(f) : ModMPolHom -> BoolElt
- IsHomogeneous(s): AlgSymElt -> BoolElt
- IsHomogeneous(f) : ModMPolElt -> BoolElt
- IsHomogeneous(I) : RngMPol -> BoolElt
- IsHomogeneous(f) : RngMPolElt -> BoolElt
- IsHomogeneous(X,f) : Sch,RngMPolElt -> BoolElt
IsHomomorphism
- IsHomomorphism(G, H, Q) : GrpMat, GrpMat, SeqEnum[GrpMatElt] -> Bool, Map
- IsHomomorphism(G, H, L) : GrpPC, GrpPC, SeqEnum -> BoolElt, Map
- IsHomomorphism(G, H, Q) : GrpPerm, GrpPerm, SeqEnum[GrpPermElt] -> Bool, Map
IsHomotopism
- IsHomotopism(T, s, H) : TenSpcElt, TenSpcElt, Hmtp -> BoolElt
IsHyperbolic
- IsHyperbolic(G) : GrpAtc -> BoolElt, Rec
- IsHyperbolic(F, red, green) : GrpFP, SeqEnum, SeqEnum -> BoolElt, BoolElt, SeqEnum, SeqEnum
- IsHyperbolic(W) : GrpFPCox -> BoolElt
IsHyperelementary
- IsHyperelementary(G) : Grp -> BoolElt,Grp,Grp
IsHyperelliptic
- IsGeometricallyHyperelliptic(C) : Crv -> BoolElt, Crv, MapSch
- IsHyperelliptic(C) : Crv -> BoolElt, CrvHyp, MapSch
IsHyperellipticCurve
- IsHyperellipticCurve(X) : Sch -> BoolElt,CrvHyp
- IsHyperellipticCurve([f, h]) : [ RngUPolElt ] -> BoolElt, CrvHyp
IsHyperellipticCurveOfGenus
- IsHyperellipticCurveOfGenus(g, [f, h]) : RngIntElt, [RngUPolElt] -> BoolElt, CrvHyp
IsHyperellipticWeierstrass
- IsHyperellipticWeierstrass(C) : Crv -> BoolElt
IsHypersurface
- IsHypersurface(X) : Sch -> BoolElt, RngMPolElt
IsHypersurfaceDivisor
- IsHypersurfaceDivisor(D) : DivCrvElt -> BoolElt, RngElt, RngIntElt
IsHypersurfaceSingularity
- IsHypersurfaceSingularity(p,prec) : Pt, RngIntElt -> BoolElt, RngMPolElt, SeqEnum, Rec
IsId
- IsIdentity(g) : GrpElt -> BoolElt
- IsId(g) : GrpElt -> BoolElt
- IsId(g) : GrpPermElt -> BoolElt
- IsId(w) : GrpRWSElt -> BoolElt
- IsId(w) : GrpRWSElt -> BoolElt
- IsId(w) : MonRWSElt -> BoolElt
- IsId(P) : PtEll -> BoolElt
- IsIdentity(u) : GrpAbElt -> BoolElt
- IsIdentity(g) : GrpGPCElt -> BoolElt
- IsIdentity(g) : GrpMatElt -> BoolElt
- IsIdentity(g) : GrpPCElt -> BoolElt
- IsIdentity(u: parameters) : GrpBrdElt -> BoolElt
IsIdeal
- IsIdeal(A, S) : AlgBas, ModTupFld -> Bool
- IsIdeal(S) : AlgGrpSub -> BoolElt
- IsIdeal(T, S) : TenSpcElt, TenSpcElt -> BoolElt
IsIdempotent
- IsIdempotent(a) : AlgGenElt -> BoolElt
- IsIdempotent(x) : RngElt -> BoolElt
IsIdentical
- IsIdentical(A, B) : LatNF, LatNF -> BoolElt
- IsIdentical(R, F) : RngDiff, RngDiff -> BoolElt
- IsIdentical(R, F) : RngDiffOp, RngDiffOp -> BoolElt
- IsIdentical(f, g) : RngSerElt, RngSerElt -> BoolElt
IsIdenticalPresentation
- IsIdenticalPresentation(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsIdenticalPresentation(G, H) : GrpPC, GrpPC -> BoolElt
IsIdentity
- IsIdentity(g) : GrpElt -> BoolElt
- IsId(g) : GrpElt -> BoolElt
- IsId(g) : GrpPermElt -> BoolElt
- IsId(w) : GrpRWSElt -> BoolElt
- IsId(w) : GrpRWSElt -> BoolElt
- IsId(w) : MonRWSElt -> BoolElt
- IsId(P) : PtEll -> BoolElt
- IsIdentity(a) : FldAut -> BoolElt
- IsIdentity(u) : GrpAbElt -> BoolElt
- IsIdentity(w, D1) : GrpFPElt, Rec -> BoolElt, GrpFPElt, SeqEnum, SeqEnum
- IsIdentity(g) : GrpGPCElt -> BoolElt
- IsIdentity(g) : GrpMatElt -> BoolElt
- IsIdentity(g) : GrpPCElt -> BoolElt
- IsIdentity(f) : Map -> BoolElt
- IsIdentity(u: parameters) : GrpBrdElt -> BoolElt
- IsIdentity(f) : QuadBinElt -> BoolElt
- IsZero(P) : JacHypPt -> BoolElt
IsInArtinSchreierRepresentation
- IsInArtinSchreierRepresentation(K) : FldFun -> BoolElt, FldFunElt
IsInCorootSpace
- IsInCorootSpace(R,v) : RootDtm, ModTupFldElt -> BoolElt
- IsInRootSpace(R,v) : RootDtm, ModTupFldElt -> BoolElt

V2.29, 21 October 2025

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