[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsIntegralDomain .. IsLineTransitive
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 H1E19)
State_IsIntrinsic (Example H1E20)
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) : 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 ) : RootDtm -> BoolElt
IsIrreducible(R) : RootSys -> BoolElt
IsIrreducible(C) : Sch -> BoolElt
IsIrreducible(X) : Sch -> BoolElt
IsIsogenous(E, F) : CrvEll, CrvEll -> BoolElt
IsIsogenous( G, H ) : GrpLie, GrpLie -> BoolElt
IsIsogenous( R1, R2 ) : RootDtm, RootDtm -> BoolElt
IsIsomorphic(L, M) : Lat, Lat -> BoolElt, AlgMatElt
IsIsometric(L, M) : Lat, Lat -> BoolElt, AlgMatElt
IsIsometric(L, F_1, M, F()_2) : Lat, [ AlgMatElt ], Lat, [ AlgMatElt ] -> BoolElt, AlgMatElt
IsIsometric(F_1, F()_2) : [ AlgMatElt ], [ AlgMatElt ] -> BoolElt, AlgMatElt
IsIsomorphic(L, M) : Lat, Lat -> BoolElt, AlgMatElt
IsIsometric(L, M) : Lat, Lat -> BoolElt, AlgMatElt
IsIsometric(L, F_1, M, F()_2) : Lat, [ AlgMatElt ], Lat, [ AlgMatElt ] -> BoolElt, AlgMatElt
IsIsometric(F_1, F()_2) : [ AlgMatElt ], [ AlgMatElt ] -> BoolElt, AlgMatElt
IsIsomorphic(I,J) : AlgQuatOrd, AlgQuatOrd -> BoolElt
IsIsomorphic(C,D) : CrvCon, CrvCon -> BoolElt, MapIsoSch
IsIsomorphic(E, F) : CrvEll, CrvEll -> BoolElt, Map
IsIsomorphic(C1, C2) : CrvHyp, CrvHyp -> BoolElt, MapIsoSch
IsIsomorphic(F, L) : FldAlg, FldAlg -> BoolElt, Map
IsIsomorphic(K, L) : FldFun, FldFun -> BoolElt, Map
IsIsomorphic( W1, W2 ) : GrpFPCox, GrpFPCox -> BoolElt
IsIsomorphic(G, H) : GrphDir, GrphDir -> BoolElt, Map
IsIsomorphic(G, H) : GrpPC, GrpPC -> BoolElt, Map
IsIsomorphic(M, N) : ModRng, ModRng -> BoolElt, AlgMatElt
IsIsomorphic(C, D: parameters) : Code, Code -> BoolElt, Map
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( R1, R2 ) : RootDtm, RootDtm -> BoolElt
IsIsomorphic(R1, R2) : RootSys, RootSys -> BoolElt
IsIsomorphism(I) : Map -> BoolElt, Map
IsIsomorphism(f) : MapSch -> BoolElt, IsoSch
IsIsomorphism(f) : MotMatCpxElt -> BoolElt
IsKEdgeConnected(G, k) : Grph, RngIntElt -> BoolElt
IsKnuthEquivalent(w1, w2) : MonOrdElt, MonOrdElt -> BoolElt
IsKVertexConnected(G, k) : Grph, RngIntElt -> BoolElt
IsLabelled(t) : GrphVert -> BoolElt
IsLabelled(T) : GrphVertSet -> BoolElt
IsLE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
IsLe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
u <= v : GrpBrdElt, GrpBrdElt -> BoolElt
IsLE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
IsLe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
u <= v : GrpBrdElt, GrpBrdElt -> BoolElt
IsLeftIdeal(S) : AlgGrpSub -> BoolElt
IsLeftIsomorphic(I,J) : AlgQuatOrd, AlgQuatOrd -> BoolElt, Map, AlgQuatElt
IsLexicographicallyOrdered(w1, w2) : MonOrdElt, MonOrdElt -> boolean
IsLie(A) : AlgGen -> BoolElt
IsLinear(x) : AlgChtrElt -> BoolElt
IsLinear(f) : MapSch -> BoolElt
IsLinearGroup(G) : GrpMat -> BoolElt
IsLinearlyEquivalent(D1,D2) : DivCrvElt,DivCrvElt -> BoolElt
IsLinearlyIndependent(P, Q) : PtEll, PtEll -> BoolElt, ModTupElt
IsLinearlyIndependent(P, Q, n) : PtEll, PtEll, RngIntElt -> BoolElt
IsLinearlyIndependent(S) : [ PtEll ] -> BoolElt, ModTupElt
IsLinearlyIndependent(S, n) : [ PtEll ], RngIntElt -> BoolElt
IsLinearSpace(D) : Inc -> BoolElt
IsLineRegular(D) : IncNsp -> BoolElt, RngIntElt
IsLineTransitive(P) : Plane -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]