[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsLocalNorm .. IsNormal
IsLocalNorm(A, x) : FldAb, RngOrdElt -> BoolElt
IsLocalNorm(A, x, p) : FldAb, RngOrdElt, PlcNumElt -> BoolElt
IsLocalNorm(A, x, i) : FldAb, RngOrdElt, RngIntElt -> BoolElt
IsLocalNorm(A, x, p) : FldAb, RngOrdElt, RngOrdIdl -> BoolElt
IsLongRoot(G, r) : GrpLie, RngIntElt -> BoolElt
IsLongRoot(W, r) : GrpPermCox, RngIntElt -> BoolElt
IsLongRoot(R, r) : RootStr, RngIntElt -> BoolElt
IsLongRoot(R, r) : RootSys, RngIntElt -> BoolElt
IsLowerSymmetric(A) : Mtrx -> BoolElt
IsMagmaEuclideanRing(R) : Rng -> BoolElt
IsMatrixRing(A) : AlgQuat[FldAlg] -> BoolElt
IsMaximal(O) : AlgAssVOrd -> BoolElt
IsMaximal(G, H) : GrpAb, GrpAb -> BoolElt
IsMaximal(G, H) : GrpFin, GrpFin -> BoolElt
IsMaximal(G, H) : GrpFP, GrpFP -> BoolElt
IsMaximal(G, H) : GrpMat, GrpMat -> BoolElt
IsMaximal(G, H) : GrpPC, GrpPC -> BoolElt
IsMaximal(G, H) : GrpPerm, GrpPerm -> BoolElt
IsMaximal(O) : RngFunOrd -> BoolElt
IsMaximal(I) : RngMPol -> BoolElt
IsMaximal(O) : RngOrd -> BoolElt
IsMaximisingFunction(L) : LP -> BoolElt
IsMDS(C) : Code -> BoolElt
IsMaximumDistanceSeparable(C) : Code -> BoolElt
IsMDS(C) : Code -> BoolElt
IsMaximumDistanceSeparable(C) : Code -> BoolElt
IsMemberBasicOrbit(G, i, a) : GrpPerm, RngIntElt, Elt -> BoolElt
IsMetacyclicPGroup (P) : Grp -> BoolElt
IsMinimalModel(E) : CrvEll -> BoolElt
IsMinusOne(a) : AlgGenElt -> BoolElt
IsMinusOne(a) : AlgMatElt -> BoolElt
IsMinusOne(a) : FldACElt -> BoolElt
IsMinusOne(A) : Mtrx -> BoolElt
IsMinusOne(a) : RngElt -> BoolElt
IsMinusOne(a) : RngOrdResElt -> BoolElt
IsMinusOne(x) : RngPadElt -> BoolElt
IsMinusOne(s) : RngPowLazElt -> BoolElt
IsModuleHomomorphism(f) : ModMatFldElt -> BoolElt
IsModuleHomomorphism(X) : ModMatFldElt -> BoolElt
IsMonic(L) : RngDiffOpElt -> BoolElt
IsMorphism(f) : Map -> Bool
IsMorphism(phi) : MapModAbVar -> BoolElt
IsNearLinearSpace(D) : Inc -> BoolElt
IsNearlyPerfect(C) : Code -> BoolElt
IsNegative(W, r) : GrpPermCox, RngIntElt -> BoolElt
IsNegative(R, r) : RootStr, RngIntElt -> BoolElt
IsNegative(R, r) : RootSys, RngIntElt -> BoolElt
IsNegativeDefinite(F) : ModMatRngElt -> BoolElt
IsNegativeSemiDefinite(F) : ModMatRngElt -> BoolElt
IsNew(M) : ModFrm -> BoolElt
IsNew(M) : ModSym -> BoolElt
IsNewform(f) : ModFrmElt -> BoolElt
IsNilpotent(f) : AlgFPElt -> BoolElt, RngIntElt
IsNilpotent(a) : AlgGenElt -> BoolElt, RngIntElt
IsNilpotent(L) : AlgLie -> BoolElt
IsNilpotent(a) : AlgMatElt -> BoolElt, RngIntElt
IsNilpotent(G) : GrpAb -> BoolElt
IsNilpotent(G) : GrpFin -> BoolElt
IsNilpotent(G) : GrpGPC -> BoolElt
IsNilpotent(G) : GrpMat -> BoolElt
IsNilpotent(G) : GrpPC -> BoolElt
IsNilpotent(G) : GrpPerm -> BoolElt
IsNilpotent(x) : RngElt -> BoolElt
IsNilpotent(f) : RngMPolResElt -> BoolElt, RngIntElt
IsNodalCurve(C) : Crv-> BoolElt
IsNode(p) : CrvPln,Pt -> BoolElt
IsNonsingular(C) : Sch -> BoolElt
IsNonsingular(X) : Sch -> BoolElt
IsNonsingular(p) : Sch,Pt -> BoolElt
IsNonsingular(p) : Sch,Pt -> BoolElt
IsNorm(A, x) : FldAb, RngOrdElt -> BoolElt
IsNormal(A) : FldAb -> BoolElt
IsNormal(F) : FldAlg -> BoolElt
IsNormal(a) : FldFinElt -> BoolElt
IsNormal(a, E) : FldFinElt -> BoolElt
IsNormal(G, H) : GrpAb, GrpAb -> BoolElt
IsNormal(G, H) : GrpFin, GrpFin -> BoolElt
IsNormal(G, H) : GrpFP, GrpFP -> BoolElt
IsNormal(G, H) : GrpGPC, GrpGPC -> BoolElt
IsNormal(G, H) : GrpMat, GrpMat -> BoolElt
IsNormal(G, H) : GrpPC, GrpPC -> BoolElt
IsNormal(G, H) : GrpPerm, GrpPerm -> BoolElt
IsNormal(K) : RngPad -> BoolElt
IsNormal(K, k) : RngPad, RngPad -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]