[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: isomorphism .. IsPerfect
Arithmetic with Isomorphisms (HYPERELLIPTIC CURVES)
Creation of Isomorphisms (HYPERELLIPTIC CURVES)
Equivalence and Isomorphism of Codes (LINEAR CODES OVER FINITE FIELDS)
The Isomorphism (FINITELY PRESENTED ALGEBRAS)
Arithmetic with Isomorphisms (HYPERELLIPTIC CURVES)
Creation of Isomorphisms (HYPERELLIPTIC CURVES)
IsEquivalent(C, D: parameters) : Code, Code -> BoolElt, Map
Equivalence and Isomorphism of Codes (LINEAR CODES OVER FINITE FIELDS)
Searching for Isomorphisms (FINITELY PRESENTED GROUPS)
Cartan_IsomorphismAndEquivalence (Example H83E14)
IsomorphismData(I) : Map -> [ RngElt ]
RootDtm_IsomorphismIsogeny (Example H85E6)
Isomorphisms(C, D) : Crv, Crv -> SeqEnum
Isomorphisms(K, E) : FldFunG, FldFunG -> [Map]
Isomorphisms(K,E,p1,p2) : FldFunG, FldFunG, PlcFunElt, PlcFunElt -> [Map]
CrvEll_Isomorphisms (Example H102E54)
FldFunG_Isomorphisms (Example H55E18)
Invariants of Isomorphisms (HYPERELLIPTIC CURVES)
Isomorphisms (QUATERNION ALGEBRAS)
Isomorphisms (QUATERNION ALGEBRAS)
IsomorphismToIsogeny(I) : Map -> Map
IsOne(a) : AlgGenElt -> BoolElt
IsOne(a) : AlgMatElt -> BoolElt
IsOne(a) : FldACElt -> BoolElt
IsOne(u) : MonFPElt -> BoolElt
IsOne(A) : Mtrx -> BoolElt
IsOne(s) : RngDiffElt -> BoolElt
IsOne(L) : RngDiffOpElt -> BoolElt
IsOne(a) : RngElt -> BoolElt
IsOne(I) : RngFunOrdIdl -> BoolElt
IsOne(a) : RngOrdResElt -> BoolElt
IsOne(x) : RngPadElt -> BoolElt
IsOne(s) : RngPowLazElt -> BoolElt
IsOneCocycle(A, imgs) : GGrp, SeqEnum[GrpElt] -> BoolElt, OneCoC
IsOnlyMotivic(A) : ModAbVar -> BoolElt
IsOptimal(phi) : MapModAbVar -> BoolElt
IsOrbit(G, S) : GrpPerm, { Elt } -> BoolElt
IsOrder(P, m) : PtEll, RngIntElt -> BoolElt
IsOrdered(R) : Rng -> BoolElt
IsOrderTerm(s) : RngDiffElt -> BoolElt
IsOrdinary(E) : CrvEll -> BoolElt
IsOrdinaryProjective(X) : Sch -> BoolElt
IsOrdinaryProjectiveSpace(X) : Sch -> BoolElt
IsOrdinarySingularity(p) : Sch,Pt -> BoolElt
IsOrdinarySingularity(p) : Sch,Pt -> BoolElt
IsOrthogonalGroup(G) : GrpMat ->BoolElt
Isomorphisms, Isogenies and Endomorphism Rings of Analytic Jacobians (HYPERELLIPTIC CURVES)
IsotropicLLLGram(F) : ModMatRngElt -> ModMatRngElt, AlgMatElt
IsotropicLLLGram(F) : ModMatRngElt -> ModMatRngElt, AlgMatElt
IsOuter(R) : RootDtm -> BoolElt
IsInner(R) : RootDtm -> BoolElt
IsOverQ(H) : HomModAbVar -> HomModAbVar
IsOverSmallerField (G, k: parameters) : GrpMat -> BoolElt, GrpMat
IsOverSmallerField (G: parameters) : GrpMat -> BoolElt, GrpMat
GrpMatFF_IsOverSmallerField (Example H21E8)
IsRestricted(L) : AlgLie -> BoolElt, Map
IspLieAlgebra(L) : AlgLie -> BoolElt, Map
IsRestrictable(L) : AlgLie -> BoolElt, Map
IspIntegral(C, p) : CrvHyp, RngIntElt -> BoolElt
IspMaximal(O, p) : AlgAssVOrd, RngOrdIdl -> BoolElt
IspMinimal(C, p) : CrvHyp, RngIntElt -> BoolElt, BoolElt
IspNormal(C, p) : CrvHyp, RngIntElt -> BoolElt
IsParallel(P, l, m) : Plane, PlaneLn, PlaneLn -> BoolElt
IsParallelClass(D, B, C) : Inc, IncBlk, IncBlk -> BoolElt, { IncBlk }
IsParallelism(D, P) : Inc, SetEnum[SetEnum] -> BoolElt, RngIntElt
IsPartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt
IsPartition(S) : SeqEnum -> BoolElt
IsPartitionRefined(G: parameters) : Grph -> BoolElt
IsPath(G) : Grph -> BoolElt
IsPerfect(G) : GrpFP -> BoolElt
HasInfiniteComputableAbelianQuotient(G) : GrpFP -> BoolElt, GrpAb, Map
IsPerfect(C) : Code -> BoolElt
IsPerfect(C) : Code -> BoolElt
IsPerfect(F) : Fld -> BoolElt
IsPerfect(G) : GrpAb -> BoolElt
IsPerfect(G) : GrpFin -> BoolElt
IsPerfect(G) : GrpGPC -> BoolElt
IsPerfect(G) : GrpMat -> BoolElt
IsPerfect(G) : GrpPC -> BoolElt
IsPerfect(G) : GrpPerm -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]