[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsAdjoint .. IsCollinear
IsAdjoint(G) : GrpLie-> BoolElt
IsAdjoint(R) : RootDtm -> BoolElt
IsAffine(W) : GrpFPCox -> BoolElt
IsAffine(G) : GrpPerm -> BoolElt, GrpPerm
IsAffine(X) : Sch -> BoolElt
IsAffine(X) : Sch -> BoolElt
IsAffineLinear(f) : MapSch -> BoolElt
IsAlgebraic(h) : GrpLieAutoElt -> BoolElt
IsAlgebraicallyDependent(S) : RngMPolElt -> BoolElt
IsAlgebraicallyIsomorphic(G, H) : GrpLie, GrpLie -> BoolElt, Map
IsAlgebraicDifferentialField(R) : Rng -> BoolElt
IsAlgebraicGeometric(C) : Code -> BoolElt
IsAlternating(G) : GrpPerm -> BoolElt
IsAltsym(G) : GrpPerm -> BoolElt
IsAmbient(M) : ModBrdt -> BoolElt
IsAmbient(X) : Sch -> BoolElt
IsAmbientSpace(M) : ModFrm -> BoolElt
IsAmbientSpace(M) : ModSS -> BoolElt
IsAnalyticallyIrreducible(p) : CrvPln,Pt -> BoolElt
IsAnisotropic(R) : RootDtm -> BoolElt
IsArc(P, A) : Plane, { PlanePt } -> BoolElt
IsAssociative(A) : AlgGen -> BoolElt
IsAttachedToModularSymbols(A) : ModAbVar -> BoolElt
IsAttachedToModularSymbols(H) : ModAbVarHomol -> BoolElt
IsAttachedToNewform(A) : ModAbVar -> BoolElt, ModAbVar, MapModAbVar
IsAutomaticGroup(F: parameters) : GrpFP -> BoolElt, GrpAtc
AutomaticGroup(F: parameters) : GrpFP -> GrpAtc
AutomaticGroup(F: parameters) : GrpFP -> GrpAtc
IsAutomorphism(f) : MapSch -> BoolElt,AutSch
IsBalanced(D, t: parameters) : Inc, RngIntElt -> BoolElt, RngIntElt
IsFree(L) : LinearSys -> BoolElt
IsBasePointFree(L) : LinearSys -> BoolElt
IsBiconnected(G) : GrphMultUnd -> BoolElt
IsBiconnected(G) : GrphUnd -> BoolElt
IsBijective(a) : ModMatRngElt -> BoolElt
IsBipartite(G) : GrphMultUnd -> BoolElt
IsBipartite(G) : GrphUnd -> BoolElt
IsBlock(G, S) : GrpPerm, { Elt } -> BoolElt
IsBlock(D, S) : Inc, IncBlk -> BoolElt, IncBlk
IsBlockTransitive(D) : Inc -> BoolElt
IsBogomolovUnstable(X) : GRFano -> BoolElt
IsBoundary(N, p) : NwtnPgon,Tup -> BoolElt
IsCanonical(D) : DivCrvElt -> BoolElt, DiffCrvElt
IsCanonical(D) : DivFunElt -> BoolElt, DiffFunElt
IsCanonical(D) : DivFunElt -> BoolElt, DiffFunElt
IsCanonical(B) : GRBskt -> BoolElt
IsCanonical(C) : GRCrvS -> BoolElt
IsCanonical(p) : GRPtS -> BoolElt
IsCapacitated(E) : GrphEdgeSet -> BoolElt
IsCartanEquivalent(C1, C2) : AlgMatElt, AlgMatElt -> BoolElt
IsCartanEquivalent(G, H) : GrpLie, GrpLie -> BoolElt
IsCartanEquivalent(W1, W2) : GrpMat, GrpMat -> BoolElt
IsCartanEquivalent(W1, W2) : GrpPermCox, GrpPermCox -> BoolElt
IsCartanEquivalent(N1, N2) : MonStgElt, MonStgElt -> BoolElt
IsCartanEquivalent(R1, R2) : RootDtm, RootDtm -> BoolElt
IsCartanEquivalent(R1, R2) : RootSys, RootSys -> BoolElt
IsCartanMatrix(C) : AlgMatElt -> BoolElt
IsCentral(A) : FldAb -> BoolElt
IsCentral(G, H) : GrpAb, GrpAb -> BoolElt
IsCentral(G, H) : GrpFin -> BoolElt
IsCentral(G, H) : GrpGPC, GrpGPC -> BoolElt
IsCentral(x) : GrpLieElt -> BoolElt
IsCentral(G, H) : GrpMat -> BoolElt
IsCentral(G, H) : GrpPC, GrpPC -> BoolElt
IsCentral(G, H) : GrpPerm -> BoolElt
IsCentralCollineation(P, g) : Plane, GrpPermElt -> BoolElt, PlanePt, PlaneLn
IsChainMap(L, C, D, n) : List, ModCpx, ModCpx, RngIntElt -> BoolElt
IsChainMap(f) : MapChn -> BoolElt
IsCharacter(x) : AlgChtrElt -> BoolElt
IsClassicalType(L) : AlgLie -> BoolElt
IsCluster(X) : Sch -> BoolElt,Clstr
IsCM(M : parameters) : ModSym -> BoolElt, RngIntElt
HasCM(M : parameters) : ModSym -> BoolElt, RngIntElt
A ! f : AlgSym, RngMPolElt -> AlgSymElt
IsCoercible(A, f) : AlgSym, RngMPolElt -> BoolElt, AlgSymElt
IsCoercible(X,Q) : Sch,SeqEnum -> BoolElt,Pt
IsCoercible(S, x) : Str, Elt -> Bool, Elt
IsCohenMacaulay(R) : RngInvar -> BoolElt
IsCollinear(P, S) : Plane, { PlanePt } -> BoolElt, PlaneLn
[____] [____] [_____] [____] [__] [Index] [Root]