[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: IsCanonicalWithTwist  ..  IsConjugate


IsCanonicalWithTwist

   IsCanonicalWithTwist(D) : DivSchElt -> BoolElt, RngIntElt

IsCapacitated

   IsCapacitated(E) : GrphEdgeSet -> BoolElt

IsCartanEquivalent

   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

   IsCartanMatrix(C) : AlgMatElt -> BoolElt

IsCartanSubalgebra

   IsCartanSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt

IsCartier

   IsCartier(D) : DivTorElt -> BoolElt

IsCentral

   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

   IsCentralByFinite(G : parameters) : GrpMat -> BoolElt

IsCentralCollineation

   IsCentralCollineation(P, g) : Plane, GrpPermElt -> BoolElt, PlanePt, PlaneLn

IsChainMap

   IsChainMap(L, C, D, n) : List, ModCpx, ModCpx, RngIntElt -> BoolElt
   IsChainMap(f) : MapChn -> BoolElt

IsCharacter

   IsCharacter(x) : AlgChtrElt -> BoolElt

IsChevalleyBasis

   IsChevalleyBasis(L, R, x, y, h) : AlgLie, RootDtm, [ AlgLieElt ], [ AlgLieElt ], [ AlgLieElt ] -> BoolElt, [ Tup ]

IsClassicalType

   IsClassicalType(L) : AlgLie -> BoolElt

IsCluster

   IsCluster(X) : Sch -> BoolElt,Clstr

IsCM

   IsCM(M : parameters) : ModSym -> BoolElt, RngIntElt
   HasCM(M : parameters) : ModSym -> BoolElt, RngIntElt

IsCoercible

   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

   IsCohenMacaulay(R) : RngInvar -> BoolElt
   IsCohenMacaulay(X) : Sch -> BoolElt

IsCokernelTorsionFree

   IsCokernelTorsionFree(f) : TorLatMap -> BoolElt

IsCollinear

   IsCollinear(P, S) : Plane, { PlanePt } -> BoolElt, PlaneLn

IsCommutative

   IsCommutative(A) : AlgBas -> Bool
   IsCommutative(A) : AlgFP -> BoolElt
   IsCommutative(A) : AlgGen -> BoolElt
   IsCommutative(H) : HomModAbVar -> BoolElt
   IsCommutative(R) : Rng -> BoolElt

IsCompactHyperbolic

   IsCompactHyperbolic(W) : GrpFPCox -> BoolElt

IsComplete

   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

   IsCompletelyReducible(G : parameters) : GrpMat -> BoolElt

IsComplex

   IsComplex(p) : PlcNumElt -> BoolElt
   IsComplex(p) : PlcNumElt -> BoolElt

IsConcurrent

   IsConcurrent(P, R) : Plane, { PlaneLn } -> BoolElt, PlanePt

IsConditioned

   IsConditioned(G) : GrpPC -> BoolElt

IsConfluent

   IsConfluent(G) : GrpRWS -> BoolElt
   IsConfluent(M) : MonRWS -> BoolElt
   GrpRWS_IsConfluent (Example H74E5)

IsCongruence

   IsCongruence(G) : GrpPSL2 -> BoolElt

IsConic

   IsConic(S) : Sch -> BoolElt, CrvCon
   IsConic(X) : Sch -> BoolElt,CrvCon

IsConjugate

   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 Wed Apr 24 15:09:57 EST 2013