[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsCharacter .. IsCrystallographic
IsCharacter(x) : AlgChtrElt -> BoolElt
IsCluster(X) : Sch -> BoolElt,Clstr
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
IsCommutative(A) : AlgGen -> BoolElt
IsCommutative(R) : Rng -> BoolElt
IsCompactHyperbolic( W ) : GrpFPCox -> BoolElt
IsComplete(V) : GrpFPCos -> BoolElt
IsComplete(G) : Grph -> BoolElt
IsComplete(D) : Inc -> BoolElt
IsComplete(L) : LinSys -> BoolElt
IsComplete(P, A) : Plane, { PlanePt } -> BoolElt
IsComplete(S) : SeqEnum -> BoolElt
IsConcurrent(P, R) : Plane, { PlaneLn } -> BoolElt, PlanePt
IsConditioned(G) : GrpPC -> BoolElt
IsConfluent(G) : GrpAtc -> BoolElt
IsConfluent(G) : GrpRWS -> BoolElt
IsConfluent(M) : MonRWS -> BoolElt
GrpAtc_IsConfluent (Example H31E7)
GrpRWS_IsConfluent (Example H30E7)
MonRWS_IsConfluent (Example H15E7)
IsCongruence(G) : GrpPSL2 -> BoolElt
IsConic(C) : Sch -> BoolElt, CrvCon
IsConic(X) : Sch -> BoolElt,CrvCon
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, g, h) : GrpPerm, GrpPermElt, GrpPermElt -> BoolElt, GrpPermElt
IsConjugate(G, Y, y, z) : GrpPerm, GSet, Elt, Elt -> BoolElt, GrpPermElt
IsConjugate(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt, GrpBrdElt
IsConnected(G) : GrphUnd -> BoolElt
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 H19E3)
Possibly Inconsistent Presentations (FINITE SOLUBLE GROUPS)
IsConstant(a) : FldFunElt -> BoolElt, RngElt
IsZero(I) : Map -> BoolElt
IsConway(F) : FldFin -> BoolElt
IsCoxeterAffine( M ) : AlgMatElt -> BoolElt
IsCoxeterCompactHyperbolic( M ) : AlgMatElt -> BoolElt
IsCoxeterCompactHyperbolic( G ) : GrphUnd -> BoolElt
IsCoxeterFinite( M ) : AlgMatElt -> BoolElt
IsCoxeterGraph( G ) : GrphUnd -> BoolElt
IsCoxeterHyperbolic( M ) : AlgMatElt -> BoolElt
IsCoxeterHyperbolic( G ) : GrphUnd -> BoolElt
IsCoxeterIrreducible( C ) : AlgMatElt -> BoolElt
IsCoxeterIrreducible( M ) : AlgMatElt -> BoolElt
IsCoxeterIsomorphic( C1, C2 ) : AlgMatElt, AlgMatElt -> RngIntElt
IsCoxeterIsomorphic( M1, M2 ) : AlgMatElt, AlgMatElt -> RngIntElt
IsCoxeterIsomorphic( W1, W2 ) : GrpFPCox, GrpFPCox -> BoolElt
IsCoxeterIsomorphic( W1, W2 ) : GrpFPCox, GrpFPCox -> BoolElt
IsCoxeterIsomorphic( W1, W2 ) : GrpMat, GrpMat -> BoolElt
IsCoxeterIsomorphic( N1, N2 ) : MonStgElt, MonStgElt -> BoolElt
IsCoxeterMatrix( M ) : AlgMatElt -> BoolElt
IsCrystallographic( C ) : AlgMatElt -> BoolElt
IsCrystallographic( W ) : GrpPermCox -> BoolElt
IsCrystallographic( W ) : GrpPermCox -> BoolElt
IsCrystallographic( R ) : RootSys -> BoolElt
IsCrystallographic(R) : RootSys -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]