Documentation

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(A) : AlgMat -> BoolElt, AlgMatElt
- 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
IsEven
- IsEven(J) : JacHyp -> BoolElt
- HasSquareSha(J) : JacHyp -> BoolElt
- IsEven(C) : Code -> BoolElt
- IsEven(chi) : GrpDrchElt -> BoolElt
- IsEven(chi) : GrpDrchNFElt -> BoolElt
- IsEven(G): GrpPerm -> BoolElt
- IsEven(g) : GrpPermElt -> BoolElt
- IsEven(L) : Lat -> BoolElt
- IsEven(L) : LatNF -> BoolElt
- IsEven(n) : RngIntElt -> BoolElt
- IsEven(G) : SymGen -> BoolElt
- IsEven(G) : SymGenLoc -> BoolElt
IsExact
- IsExact(a) : DiffCrvElt -> BoolElt
- IsExact(d) : DiffFunElt -> BoolElt, FldFunGElt
- IsExact(L) : Lat -> BoolElt
- IsExact(x) : ModAbVarElt -> BoolElt
- IsExact(C) : ModComplex -> BoolElt
- IsExact(C, n) : ModCpx, RngIntElt -> BoolElt
- IsExact(z) : SpcHydElt -> BoolElt, .
- IsExact(z) : SpcHypElt -> BoolElt
IsExactlyDivisible
- IsExactlyDivisible(x, y) : RngPadElt, RngPadElt -> BoolElt, RngPadElt
IsExactpAdic
- IsExactpAdic(x) : Any -> BoolElt
IsExceptionalUnit
- IsExceptionalUnit(u) : RngOrdElt -> BoolElt
IsExtension
- IsExtension(G, H, f) : GrpPC, GrpPC, [Map] -> BoolElt, GrpPC
IsExtensionOf
- IsExtensionOf(G) : GrpPerm -> [],
- IsExtensionOf(L) : [GrpPerm] -> [], []
IsExtraSpecial
- IsExtraSpecial(G) : GrpFin -> BoolElt
- IsExtraSpecial(G) : GrpMat -> BoolElt
- IsExtraSpecial(G) : GrpPC -> BoolElt
- IsExtraSpecial(G) : GrpPerm -> BoolElt
IsExtraSpecialNormaliser
- IsExtraSpecialNormaliser(G) : GrpMat -> BoolElt
IsFace
- IsFace(N, F) : NwtnPgon,Tup -> BoolElt
- IsFace(C,F) : TorCon,TorCon -> BoolElt
IsFactorial
- IsFactorial(n) : RngIntElt -> BoolElt, RngIntElt
IsFactorisationPrime
- IsFactorisationPrime(D) : DivSchElt -> BoolElt
IsFaithful
- IsFaithful(x) : AlgChtrElt -> BoolElt
- IsFaithful(G, Y) : GrpPerm, GSet -> BoolElt
IsFakeWeightedProjectiveSpace
- IsFakeWeightedProjectiveSpace(X) : TorVar -> BoolElt
IsFanMap
- IsFanMap(F1,F2) : TorFan,TorFan -> BoolElt
- IsFanMap(F1,F2,f) : TorFan,TorFan,Map -> BoolElt
IsFano
- IsFano(P) : TorPol -> BoolElt
- IsFano(X) : TorVar -> BoolElt
IsField
- IsField(H) : HomModAbVar -> BoolElt, Fld, Map, Map
- IsField(R) : Rng -> BoolElt
- IsField(R) : RngDiff -> BoolElt
IsFinite
- IsFinite(G) : GrpAb -> BoolElt
- IsFinite(W) : GrpFPCox -> BoolElt
- IsFinite(G) : GrpGPC -> BoolElt
- IsFinite(x) : GrpGPCElt -> BoolElt
- IsFinite(G) : GrpLie -> BoolElt
- IsFinite(G) : GrpMat -> Bool, RngIntElt
- IsFinite(G) : GrpRWS -> BoolElt, RngIntElt
- IsFinite(G) : GrpRWS -> BoolElt, RngIntElt
- IsFinite(x) : Infty -> BoolElt
- IsFinite(G) : ModAbVarSubGrp -> RngIntElt
- IsFinite(M) : MonRWS -> BoolElt, RngIntElt
- IsFinite(G : parameters) : GrpMat -> BoolElt, RngIntElt
- IsFinite(P) : PlcFunElt -> BoolElt
- IsFinite(p) : PlcNumElt -> BoolElt
- IsFinite(p) : PlcNumElt -> BoolElt
- IsFinite(R) : Rng -> BoolElt
- IsFinite(R) : RootStr -> BoolElt

V2.29, 21 October 2025

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