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


Subindex: IsCommutative  ..    IsCrystallographic




IsCommutative

   IsCommutative(A) : AlgFP -> BoolElt

   IsCommutative(A) : AlgGen -> BoolElt

   IsCommutative(H) : HomModAbVar ->  BoolElt

   IsCommutative(R) : Rng -> BoolElt


IsCompactHyperbolic

   IsCompactHyperbolic(W) : GrpFPCox -> BoolElt

   IsCompactHyperbolic(W) : GrpPermCox -> 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


IsComplex

   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 H34E5)


IsCongruence

   IsCongruence(G) : GrpPSL2 -> BoolElt


IsConic

   IsConic(C) : Sch -> BoolElt, CrvCon

   IsConic(X) : Sch -> BoolElt,CrvCon


IsConjugate

   IsConjugate(G, H, K) : GrpAb, GrpAb, GrpAb -> BoolElt, GrpAbElt

   IsConjugate(G, H, K) : GrpAb, GrpAb, GrpAb -> BoolElt, GrpAbElt

   IsConjugate(G, g, h) : GrpAb, GrpAbElt, GrpAbElt -> BoolElt, GrpAbElt

   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, H, K) : GrpPerm, GrpPerm, GrpPerm -> BoolElt, GrpPermElt

   IsConjugate(G, Y, y, z) : GrpPerm, GSet, Elt, Elt -> BoolElt, GrpPermElt

   IsConjugate(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt, GrpBrdElt

   IsConjugate(G, g, h: parameters) : GrpPerm, GrpPermElt, GrpPermElt -> BoolElt, GrpPermElt


IsConnected

   IsConnected(G) : GrphMultUnd -> BoolElt

   IsConnected(G) : GrphUnd -> BoolElt


IsConsistent

   IsConsistent(G) : GrpGPC -> BoolElt

   IsConsistent(G) : GrpPC -> BoolElt

   IsConsistent(A, w) : ModMatRngElt, ModTupRng -> BoolElt, ModTupRngElt, ModTupRng

   IsConsistent(A, W) : ModMatRngElt, [ ModTupRng ] -> BoolElt, [ ModTupRngElt ], ModTupRng

   IsConsistent(A, W) : Mtrx, Mtrx -> BoolElt, Mtrx, ModTupRng

   IsConsistent(A, Q) : Mtrx, [ ModTupRng ] -> BoolElt, [ ModTupRngElt ], ModTupRng

   GrpPC_IsConsistent (Example H22E3)


isconsistent

   Possibly Inconsistent Presentations (FINITE SOLUBLE GROUPS)


IsConstant

   IsConstant(a) : FldFunElt -> BoolElt, RngElt

   IsZero(I) : Map -> BoolElt


IsConstantCurve

   IsConstantCurve(E) : CrvEll[FldFunRat] -> BoolElt, CrvEll


IsConway

   IsConway(F) : FldFin -> BoolElt


IsCoxeterAffine

   IsCoxeterAffine(M) : AlgMatElt -> BoolElt


IsCoxeterCompactHyperbolic

   IsCoxeterCompactHyperbolic(M) : AlgMatElt -> BoolElt

   IsCoxeterHyperbolic(M) : AlgMatElt -> BoolElt

   IsCoxeterHyperbolic(G) : GrphUnd -> BoolElt


IsCoxeterFinite

   IsCoxeterFinite(M) : AlgMatElt -> BoolElt


IsCoxeterGraph

   IsCoxeterGraph(G) : GrphUnd -> BoolElt


IsCoxeterHyperbolic

   IsCoxeterCompactHyperbolic(M) : AlgMatElt -> BoolElt

   IsCoxeterHyperbolic(M) : AlgMatElt -> BoolElt

   IsCoxeterHyperbolic(G) : GrphUnd -> BoolElt


IsCoxeterIrreducible

   IsCoxeterIrreducible(C) : AlgMatElt -> BoolElt

   IsCoxeterIrreducible(M) : AlgMatElt -> BoolElt


IsCoxeterIsomorphic

   IsCoxeterIsomorphic(C1, C2) : AlgMatElt, AlgMatElt -> RngIntElt

   IsCoxeterIsomorphic(M1, M2) : AlgMatElt, AlgMatElt -> RngIntElt

   IsCoxeterIsomorphic(W1, W2) : GrpFPCox, GrpFPCox -> BoolElt

   IsCoxeterIsomorphic(W1, W2) : GrpMat, GrpMat -> BoolElt

   IsCoxeterIsomorphic(W1, W2) : GrpPermCox, GrpPermCox -> BoolElt

   IsCoxeterIsomorphic(N1, N2) : MonStgElt, MonStgElt -> BoolElt


IsCoxeterMatrix

   IsCoxeterMatrix(M) : AlgMatElt -> BoolElt


IsCrystallographic

   IsCrystallographic(C) : AlgMatElt -> BoolElt

   IsCrystallographic(W) : GrpMat -> BoolElt

   IsCrystallographic(W) : GrpPermCox -> BoolElt

   IsCrystallographic(R) : RootStr -> BoolElt

   IsCrystallographic(R) : RootSys -> BoolElt




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