[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsCanonicalWithTwist .. IsConjugate
IsCanonicalWithTwist(D) : DivSchElt -> BoolElt, RngIntElt
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
IsCartanSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt
IsCartier(D) : DivTorElt -> BoolElt
IsCentral(A,x) : AlgBas, AlgBasElt -> BoolElt
IsCentral(L, M) : AlgLie,AlgLie -> BoolElt
IsCentral(L, M) : AlgLie,AlgLieElt -> BoolElt
IsCentral(A) : FldAb -> 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
IsCentralByFinite(G : parameters) : GrpMat -> 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
IsChevalleyBasis(L, R, x, y, h) : AlgLie, RootDtm, [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ] -> BoolElt, [ Tup ]
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
IsCohenMacaulay(X) : Sch -> BoolElt
IsCokernelTorsionFree(f) : TorLatMap -> BoolElt
IsCollinear(P, S) : Plane, { PlanePt } -> BoolElt, PlaneLn
IsCommutative(A) : AlgBas -> Bool
IsCommutative(A) : AlgFP -> BoolElt
IsCommutative(A) : AlgGen -> BoolElt
IsCommutative(H) : HomModAbVar -> BoolElt
IsCommutative(R) : Rng -> BoolElt
IsCompactHyperbolic(W) : GrpFPCox -> BoolElt
IsComplete(V) : GrpFPCos -> BoolElt
IsComplete(G) : Grph -> BoolElt
IsComplete(G) : GrphMult -> BoolElt
IsComplete(D) : Inc -> BoolElt
IsComplete(L) : LinearSys -> BoolElt
IsComplete(P, A) : Plane, { PlanePt } -> BoolElt
IsComplete(S) : SeqEnum -> BoolElt
IsComplete(F) : TorFan -> BoolElt
IsComplete(X) : TorVar -> BoolElt
IsCompletelyReducible(G : parameters) : GrpMat -> BoolElt
IsComplex(p) : PlcNumElt -> BoolElt
IsComplex(p) : PlcNumElt -> BoolElt
IsConcurrent(P, R) : Plane, { PlaneLn } -> BoolElt, PlanePt
IsConditioned(G) : GrpPC -> BoolElt
IsConfluent(G) : GrpRWS -> BoolElt
IsConfluent(M) : MonRWS -> BoolElt
GrpRWS_IsConfluent (Example H74E5)
IsCongruence(G) : GrpPSL2 -> BoolElt
IsConic(S) : Sch -> BoolElt, CrvCon
IsConic(X) : Sch -> BoolElt,CrvCon
IsConjugate(G, H, K) : GrpFin, GrpFin, GrpFin -> BoolElt, GrpFinElt
IsConjugate(G, H, K) : GrpFin, GrpFin, GrpFin -> BoolElt, GrpFinElt
IsConjugate(G, g, h) : GrpFin, GrpFinElt, GrpFinElt -> BoolElt, GrpFinElt
IsConjugate(G, g, h) : GrpFin, GrpFinElt, GrpFinElt -> BoolElt, GrpFinElt
IsConjugate(G, H, K) : GrpFP, GrpFP, GrpFP -> BoolElt, GrpFPElt
IsConjugate(G, H, K) : GrpGPC, GrpGPC, GrpGPC -> BoolElt, GrpGPCElt
IsConjugate(G, H, K) : GrpGPC, GrpGPC, GrpGPC -> BoolElt, GrpGPCElt
IsConjugate(G, g, h) : GrpGPC, GrpGPCElt, GrpGPCElt -> BoolElt, GrpGPCElt
IsConjugate(G, H, K) : GrpMat, GrpMat, GrpMat -> BoolElt, GrpMatElt | Unass
IsConjugate(G, g, h) : GrpMat, GrpMatElt, GrpMatElt -> BoolElt, GrpMatElt | Unass
IsConjugate(G, H, K) : GrpPC, GrpPC, GrpPC -> BoolElt, GrpPCElt
IsConjugate(G, g, h) : GrpPC, GrpPCElt, GrpPCElt -> BoolElt, GrpPCElt
IsConjugate(G, g, h) : GrpPC, GrpPCElt, GrpPCElt -> BoolElt, GrpPCElt
IsConjugate(G, Y, y, z) : GrpPerm, GSet, Elt, Elt -> BoolElt, GrpPermElt
IsConjugate(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt, GrpBrdElt
IsConjugate(G, H, K: parameters) : GrpPerm, GrpPerm, GrpPerm -> BoolElt, GrpPermElt
IsConjugate(G, g, h: parameters) : GrpPerm, GrpPermElt, GrpPermElt -> BoolElt, GrpPermElt
IsIsomorphic(S, T) : AlgQuatOrd, AlgQuatOrd -> BoolElt, Map, AlgQuatElt
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012