- IsInvariant
- IsInvertible
- IsIrreducible
- IsIrreducibleFiniteNilpotent
- IsIrregularSingularPlace
- isisocubic
- 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
- IsIsogeny
- IsIsolated
- IsIsometric
- IsIsomorphic(L, M) : Lat, Lat -> BoolElt, AlgMatElt
- IsProperlyIsometric(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(A, B) : LatNF, LatNF -> BoolElt, Mtrx
- IsIsometric(L, v, w) : LatNF, LatNFElt, LatNFElt -> BoolElt, Mtrx
- 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
- IsIsomorphic
- IsIsomorphic(L, M) : Lat, Lat -> BoolElt, AlgMatElt
- IsProperlyIsometric(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(I, J) : AlgEtQIdl, AlgEtQIdl -> BoolElt, AlgAssElt
- 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(E, F) : FldFin, FldFin -> BoolElt, Map[FldFin, FldFin]
- IsIsomorphic(K, E) : FldFunG, FldFunG -> BoolElt, Map
- IsIsomorphic(F, L) : FldNum, FldNum -> BoolElt, Map
- IsIsomorphic(G, H) : GrpAb, GrpAb -> BoolElt, Hom(Grp)
- IsIsomorphic(G, H) : GrpPC, GrpPC -> BoolElt, Map, GrpPC
- IsIsomorphic(W1, W2) : GrpPermCox, GrpPermCox -> BoolElt
- IsIsomorphic(A, B) : ModAbVar, ModAbVar -> BoolElt, MapModAbVar
- IsIsomorphic(M, N) : ModRng, ModRng -> ModRng, ModRng, BoolElt, AlgMatElt
- 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(M, N: parameters) : Mtrx, Mtrx -> BoolElt, GrpPermElt
- 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
- IsIsomorphic(P,Q) : TorPol,TorPol -> BoolElt, Map
V2.29, 21 October 2025