[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsInCorootSpace .. IsIsogenousPeriodMatrices
IsInCorootSpace(R,v) : RootDtm, ModTupFldElt -> BoolElt
IsInRootSpace(R,v) : RootDtm, ModTupFldElt -> BoolElt
IsIndecomposable(M,B) : ModBrdt, RngIntElt -> BoolElt
IsIndefinite(A) : AlgQuat[FldAlg] -> BoolElt
IsDefinite(A) : AlgQuat[FldAlg] -> BoolElt
IsIndependent(Q) : [ AlgGen ] -> BoolElt
IsIndependent(Q) : [ AlgGenElt ] -> BoolElt
IsIndependent(Q) : [ ModTupFldElt ] -> BoolElt
IsIndependent(S) : { ModTupFldElt } -> BoolElt
IsIndivisibleRoot(R, r) : RootStr, RngIntElt -> BoolElt
IsIndivisibleRoot(R, r) : RootSys, RngIntElt -> BoolElt
IsInduced(AmodB) : GGrp -> BoolElt, GGrp, GGrp, Map, Map
IsInert(P) : RngFunOrdIdl -> BoolElt
IsInert(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsInert(P) : RngOrdIdl -> BoolElt
IsInert(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsInertial(f) : RngUPolElt -> BoolElt
IsInfinite(p) : PlcNumElt -> BoolElt, RngIntElt
IsFlex(C,p) : Sch,Pt -> BoolElt,RngIntElt
IsInflectionPoint(p) : Sch,Pt -> BoolElt,RngIntElt
IsInImage(f, p) : Map, RngMPolElt -> [ BoolElt ]
IsInjective(f) : MapChn -> BoolElt
IsInjective(phi) : MapModAbVar -> BoolElt
IsInjective(M) : ModAlg -> BoolElt, SeqEnum
IsInjective(a) : ModMatRngElt -> BoolElt
IsInner(f) : GrpAutoElt -> BoolElt, GrpElt
IsInner(R) : RootDtm -> BoolElt
IsInRadical(f, I) : RngMPolElt, RngMPol -> BoolElt
IsInCorootSpace(R,v) : RootDtm, ModTupFldElt -> BoolElt
IsInRootSpace(R,v) : RootDtm, ModTupFldElt -> BoolElt
IsInSecantVariety(X,P) : Sch,Pt -> BoolElt
IsInSmallGroupDatabase(o) : RngIntElt -> BoolElt
IsInt(x, B, S) : RngElt, RngIntElt, GaloisData -> BoolElt, RngElt
IsInTangentVariety(X,P) : Sch,Pt -> BoolElt
IsInteger(phi) : MapModAbVar -> BoolElt, RngIntElt
IsIntegral(C) : CrvHyp -> BoolElt
IsIntegral(a) : FldAlgElt -> BoolElt
IsIntegral(q) : FldRatElt -> BoolElt
IsIntegral(c) : FldReElt -> BoolElt
IsIntegral(L) : Lat -> BoolElt
IsIntegral(P) : PtEll -> BoolElt
IsIntegral(I) : RngFunOrdIdl -> BoolElt
IsIntegral(n) : RngIntElt -> BoolElt
IsIntegral(I) : RngOrdFracIdl -> BoolElt
IsIntegral(x) : RngPadElt -> BoolElt
IsIntegralDomain(R): Rng -> BoolElt
IsDomain(R) : Rng -> BoolElt
IsIntegralModel(E) : CrvEll -> BoolElt
IsIntegralModel(E, P) : CrvEll, RngOrdIdl -> BoolElt
IsInterior(N,p) : NwtnPgon,Tup -> BoolElt
IsIntersection(C,D,p) : Sch,Sch,Pt -> BoolElt
IsIntrinsic(S) : MonStgElt -> Bool, Intrinsic
State_IsIntrinsic (Example H1E22)
State_IsIntrinsic (Example H1E23)
IsInTwistedForm(x, c) : GrpLieElt, OneCoC -> BoolElt
IsInvariant(f, G) : RngMPolElt, Grp -> BoolElt
IsInvariant(f, g) : RngMPolElt, GrpElt -> BoolElt
IsInvertible(f) : MapSch -> Bool, MapSch
IsIrreducible(x) : AlgChtrElt -> BoolElt
IsIrreducible(W) : GrpFPCox -> BoolElt
IsIrreducible(G) : GrpLie -> BoolElt
IsIrreducible(G) : GrpMat -> BoolElt, ModGrp
IsIrreducible(W) : GrpPermCox -> BoolElt
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(R) : RootStr -> BoolElt
IsIrreducible(R) : RootSys -> BoolElt
IsIrreducible(C) : Sch -> BoolElt
IsIrreducible(X) : Sch -> BoolElt
IsIrregularSingularPlace(L, p) : RngDiffOpElt, PlcFunElt -> BoolElt
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
IsIsogenousPeriodMatrices(P1, P2) : Mtrx, Mtrx -> Bool, Mtrx
[____] [____] [_____] [____] [__] [Index] [Root]