[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: IsInRadical  ..  IsIsomorphic


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(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(v) : TorLatElt -> BoolElt

IsIntegralDomain

   IsIntegralDomain(R): Rng -> BoolElt
   IsDomain(R) : Rng -> 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 H1E22)
   State_IsIntrinsic (Example H1E23)

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(W) : GrpFPCox -> BoolElt
   IsIrreducible(G) : GrpMat -> BoolElt, ModGrp
   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

IsIrreducibleFiniteNilpotent

   IsIrreducibleFiniteNilpotent(G : parameters): GrpMat -> BoolElt, Any

IsIrregularSingularPlace

   IsIrregularSingularPlace(L, p) : RngDiffOpElt, PlcFunElt -> BoolElt

isisocubic

   AlgSrf_isisocubic (Example H116E24)

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

IsIsogenousPeriodMatrices

   IsIsogenousPeriodMatrices(P1, P2) : Mtrx, Mtrx -> Bool, Mtrx

IsIsogeny

   IsIsogeny(phi) : Map -> BoolElt
   IsIsogeny(phi) : MapModAbVar -> BoolElt

IsIsolated

   IsIsolated(B) : GRBskt -> BoolElt
   IsIsolated(p) : GRPtS -> BoolElt

IsIsometric

   IsIsomorphic(L, M) : Lat, Lat -> BoolElt, AlgMatElt
   IsIsometric(L, M) : Lat, Lat -> BoolElt, AlgMatElt
   IsIsometric(L, F1, M, F()2) : Lat, [ AlgMatElt ], Lat, [ AlgMatElt ] -> BoolElt, AlgMatElt
   IsIsometric(V, W) : ModTupFld, ModTupFld -> BoolElt, Map
   IsIsometric(G1, G2) : Mtrx[RngUPol], Mtrx[RngUPol] -> BoolElt, Mtrx, FldFin
   IsIsometric(F1, F()2) : [ AlgMatElt ], [ AlgMatElt ] -> BoolElt, AlgMatElt

IsIsometry

   IsIsometry(f) : Map -> BoolElt
   IsIsometry(U, V, f) : ModTupFld, ModTupFld, Map -> BoolElt
   IsIsometry(V, g) : ModTupFld, Mtrx -> BoolElt

IsIsomorphic

   IsIsomorphic(L, M) : Lat, Lat -> BoolElt, AlgMatElt
   IsIsometric(L, M) : Lat, Lat -> BoolElt, AlgMatElt
   IsIsometric(L, F1, M, F()2) : Lat, [ AlgMatElt ], Lat, [ AlgMatElt ] -> BoolElt, AlgMatElt
   IsIsometric(F1, F()2) : [ AlgMatElt ], [ AlgMatElt ] -> BoolElt, AlgMatElt
   IsIsomorphic(I, J) : AlgAssVOrdIdl, AlgAssVOrdIdl -> BoolElt, AlgAssVElt
   IsIsomorphic(A, B) : AlgBas, AlgBas -> Bool, Map
   IsIsomorphic(L, M) : AlgLie, AlgLie -> BoolElt, .
   IsIsomorphic(A, B) : AlgQuat, AlgQuat -> BoolElt, Map
   IsIsomorphic(S, T) : AlgQuatOrd, AlgQuatOrd -> BoolElt, Map, AlgQuatElt
   IsIsomorphic(A1, A2) : AnHcJac, AnHcJac -> Bool, Mtrx, Mtrx
   IsIsomorphic(C, D) : Crv, Crv -> BoolElt,MapSch
   IsIsomorphic(E, F) : CrvEll, CrvEll -> BoolElt, Map
   IsIsomorphic(C1, C2) : CrvHyp, CrvHyp -> BoolElt, MapIsoSch
   IsIsomorphic(F, L) : FldAlg, FldAlg -> BoolElt, Map
   IsIsomorphic(K, E) : FldFunG, FldFunG -> BoolElt, Map
   IsIsomorphic(F, L) : FldNum, FldNum -> BoolElt, Map
   IsIsomorphic(G, H) : GrpPC, GrpPC -> BoolElt, Map
   IsIsomorphic(W1, W2) : GrpPermCox, GrpPermCox -> BoolElt
   IsIsomorphic(A, B) : ModAbVar, ModAbVar -> BoolElt, MapModAbVar
   IsIsomorphic(M, N) : ModRng, ModRng -> BoolElt, AlgMatElt
   IsIsomorphic(M, N) : Mtrx, Mtrx -> BoolElt, GrpPermElt
   IsIsomorphic(N1, N2) : NfdDck, NfdDck -> BoolElt, Map
   IsIsomorphic(G, H : parameters ) : GrphDir, GrphDir -> BoolElt, Map
   IsIsomorphic(C, D: parameters) : Code, Code -> BoolElt, Map
   IsIsomorphic(G, H: parameters) : GrpMat, GrpMat -> BoolElt, Hom(Grp)
   IsIsomorphic(G, H: parameters) : GrpPerm, GrpPerm -> BoolElt, Hom(Grp)
   IsIsomorphic(D, E: parameters) : Inc, Inc -> BoolElt, Map
   IsIsomorphic(P, Q: parameters) : Plane, Plane -> BoolElt, Map
   IsIsomorphic(E, K) : RngPad, RngPad -> BooElt
   IsIsomorphic(f, g) : RngUPolElt, RngUPolElt -> BoolElt
   IsIsomorphic(R1, R2) : RootDtm, RootDtm -> BoolElt, [RngIntElt], Map
   IsIsomorphic(R1, R2) : RootSys, RootSys -> BoolElt
   IsIsomorphic(S, T) : ShfCoh, ShfCoh -> BoolElt, ShfHom

[____] [____] [_____] [____] [__] [Index] [Root]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012