[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsIsogeny .. IsLocallySolvable
IsIsogeny(phi) : Map -> BoolElt
IsIsogeny(phi) : MapModAbVar -> BoolElt
IsIsolated(B) : GRBskt -> BoolElt
IsIsolated(p) : GRPtS -> 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) : AlgAssVOrdIdl[RngOrd], AlgAssVOrdIdl[RngOrd] -> BoolElt, AlgQuatElt
IsIsomorphic(A, B) : AlgQuat[FldRat], AlgQuat[FldRat] -> BoolElt
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(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(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
IsIsomorphicBigPeriodMatrices(P1, P2) : Mtrx, Mtrx -> Bool, Mtrx, Mtrx
IsIsomorphicOverQt(K, L) : FldFun, FldFun -> BoolElt, Map
IsIsomorphicSmallPeriodMatrices(t1,t2) : Mtrx, Mtrx -> Bool, Mtrx
IsIsomorphism(I) : Map -> BoolElt, Map
IsIsomorphism(phi) : MapModAbVar -> BoolElt
IsIsomorphism(f) : MapSch -> BoolElt, IsoSch
IsIsomorphism(f) : MotMatCpxElt -> BoolElt
IsKEdgeConnected(G, k) : Grph, RngIntElt -> BoolElt
IsKEdgeConnected(G, k : parameters) : GrphMult, RngIntElt -> BoolElt
IsKnuthEquivalent(w1, w2) : MonOrdElt, MonOrdElt -> BoolElt
IsKVertexConnected(G, k) : Grph, RngIntElt -> BoolElt
IsKVertexConnected(G, k : parameters) : GrphMult, RngIntElt -> BoolElt
IsLabelled(e) : GrphEdge -> BoolElt
IsLabelled(E) : GrphEdgeSet -> BoolElt
IsLabelled(u) : GrphVert -> BoolElt
IsLabelled(V) : GrphVertSet -> BoolElt
IsLDPC(C) : Code -> BoolElt
CodeLDPC_IsLDPC (Example H126E1)
CodeLDPC_IsLDPC (Example H126E2)
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
IsLeaf(m) : AlgFPLieElt -> BoolElt, AlgFPLieElt, AlgFPLieElt
AlgFPL_IsLeaf (Example H91E3)
IsRightIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsTwoSidedIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsLeftIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsLeftIdeal(S) : AlgGrpSub -> BoolElt
IsRightIsomorphic(I, J) : AlgAssVOrdIdl[RngOrd], AlgAssVOrdIdl[RngOrd] -> BoolElt, AlgQuatElt
IsLeftIsomorphic(I, J) : AlgAssVOrdIdl[RngOrd], AlgAssVOrdIdl[RngOrd] -> BoolElt, AlgQuatElt
IsLeftIsomorphic(I, J) : AlgQuatOrdIdl, AlgQuatOrdIdl -> BoolElt, Map, AlgQuatElt
IsLeftModule(M): ModAlg -> BoolElt
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
IsLittlewoodRichardson(t) : Tbl -> BoolElt
IsLocallySolvable(X, p) : Sch, RngOrdIdl -> BoolElt, Pt
[____] [____] [_____] [____] [__] [Index] [Root]