Documentation

IsInKummerRepresentation
- IsInKummerRepresentation(K) : FldFun -> BoolElt, FldFunElt
IsInner
- IsInner(f) : GrpAutoElt -> BoolElt, GrpElt
- IsInner(R) : RootDtm -> BoolElt
IsInRadical
- IsInRadical(f, I) : RngMPolElt, RngMPol -> BoolElt
IsInRootSpace
- IsCorootSpace(v) : ModTupFldElt -> BoolElt
- IsInRootSpace(v) : ModTupFldElt -> BoolElt
- IsInRootSpace(R,v) : RootDtm, ModTupFldElt -> BoolElt
IsInSecantVariety
- IsInSecantVariety(X,P) : Sch,Pt -> BoolElt
IsInSmallGroupDatabase
- IsInSmallGroupDatabase(o) : RngIntElt -> BoolElt
IsInSmallModularCurveDatabase
- IsInSmallModularCurveDatabase(N) : RngIntElt -> Boolelt
IsInSupport
- IsInSupport(v,F) : TorLatElt,TorFan -> BoolElt,RngIntElt
IsInt
- IsInt(x, B, S) : RngElt, RngIntElt, GaloisData -> BoolElt, RngElt
IsInTangentVariety
- IsInTangentVariety(X,P) : Sch,Pt -> BoolElt
IsInteger
- IsInteger(phi) : MapModAbVar -> BoolElt, RngIntElt
IsIntegral
- IsIntegral(C) : CrvHyp -> BoolElt
- IsIntegral(D) : DivSchElt -> BoolElt
- IsIntegral(a) : FldAlgElt -> BoolElt
- IsIntegral(a) : FldNumElt -> BoolElt, RngIntElt
- IsIntegral(q) : FldRatElt -> BoolElt
- IsIntegral(c) : FldReElt -> BoolElt
- IsIntegral(L) : Lat -> BoolElt
- IsIntegral(I) : OMIdl -> BoolElt
- IsIntegral(I) : OMIdl -> BoolElt
- IsIntegral(P) : PtEll -> BoolElt
- IsIntegral(I) : RngFunOrdIdl -> BoolElt
- IsIntegral(n) : RngIntElt -> BoolElt
- IsIntegral(a) : RngLocAElt -> BoolElt, SeqEnum
- IsIntegral(I) : RngOrdFracIdl -> BoolElt
- IsIntegral(x) : RngPadElt -> BoolElt
- IsIntegral(x) : RngXPadElt -> BoolElt
- IsIntegral(v) : TorLatElt -> BoolElt
IsIntegralDomain
- IsIntegralDomain(R): Rng -> BoolElt
- IsDomain(R) : Rng -> BoolElt
IsIntegrallyClosed
- IsIntegrallyClosed(P) : TorPol -> BoolElt
IsIntegralModel
- IsIntegralModel(E) : CrvEll -> BoolElt
- IsIntegralModel(E, P) : CrvEll, RngOrdIdl -> BoolElt
IsInterior
- IsInterior(N,p) : NwtnPgon,Tup -> BoolElt
IsIntersection
- IsIntersection(C,D,p) : Sch,Sch,Pt -> BoolElt
IsIntrinsic
- IsIntrinsic(S) : MonStgElt -> Bool, Intrinsic
- State_IsIntrinsic (Example H1E23)
- State_IsIntrinsic (Example H1E24)
IsInTwistedForm
- IsInTwistedForm(x, c) : GrpLieElt, OneCoC -> BoolElt
IsInvariant
- IsInvariant(f, G) : RngMPolElt, Grp -> BoolElt
- IsInvariant(f, g) : RngMPolElt, GrpElt -> BoolElt
- IsInvariant(F, p) : RngSLPolElt, GrpPermElt -> BoolElt
IsInvertible
- IsInvertible(f) : MapSch -> Bool, MapSch
- IsInvertible(f) : MapSchGrph -> BoolElt, MapSchGrph
IsIrreducible
- IsIrreducible(x) : AlgChtrElt -> BoolElt
- IsIrreducible(A) : ArtRep -> BoolElt
- IsIrreducible(A) : GalRep -> BoolElt
- IsIrreducible(W) : GrpFPCox -> BoolElt
- IsIrreducible(G) : GrpMat -> BoolElt, ModGrp
- IsIrreducible(M) : ModRng -> BoolElt, ModRng, ModRng
- IsIrreducible(M) : ModRng -> BoolElt, ModRng, ModRng
- IsIrreducible(M) : ModSym -> BoolElt
- IsIrreducible(x) : RngElt -> BoolElt
- IsIrreducible(f) : RngMPolElt -> BoolElt
- IsIrreducible(f) : RngUPolElt -> BoolElt
- IsIrreducible(f) : RngUPolElt -> BoolElt
- IsIrreducible(f) : RngUPolXPadElt[RngXPad] -> BoolElt, Rec
- IsIrreducible(R) : RootStr -> BoolElt
- IsIrreducible(R) : RootSys -> BoolElt
- IsIrreducible(C) : Sch -> BoolElt
- IsIrreducible(X) : Sch -> BoolElt
IsIrreducibleFiniteNilpotent
- IsIrreducibleFiniteNilpotent(G : parameters): GrpMat -> BoolElt, Any
IsIrregularSingularPlace
- IsIrregularSingularPlace(L, p) : RngDiffOpElt, PlcFunElt -> BoolElt
isisocubic
- AlgSrf_isisocubic (Example H123E34)
IsIsogenous
- IsIsogenous(A1, A2) : AnHcJac, AnHcJac -> Bool, Mtrx, Mtrx
- IsIsogenous(E, F) : CrvEll[FldRat], CrvEll[FldRat] -> BoolElt, Map
- IsIsogenous(G, H) : GrpLie, GrpLie -> BoolElt
- IsIsogenous(A, B) : ModAbVar, ModAbVar -> BoolElt
- IsIsogenous(R1, R2) : RootDtm, RootDtm -> BoolElt, SeqEnum, RootDtm, Map, Map, RootDtm, Map, Map
IsIsogenousPeriodMatrices
- IsIsogenousPeriodMatrices(P1, P2) : Mtrx, Mtrx -> Bool, Mtrx
IsIsogeny
- IsIsogeny(phi) : MapModAbVar -> BoolElt
IsIsolated
- IsIsolated(B) : GRBskt -> BoolElt
- IsIsolated(p) : GRPtS -> BoolElt
- IsIsolated(C) : TorCon -> BoolElt
- IsIsolated(F) : TorFan -> BoolElt
- IsIsolated(X) : TorVar -> BoolElt

V2.28, 13 July 2023

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