- IsBass
- IsBiconnected
- IsBig
- IsBijective
- IsBipartite
- IsBlock
- IsBlockTransitive
- IsBogomolovUnstable
- IsBoundary
- IsBravaisEquivalent
- IsCanonical
- IsCanonicalWithTwist
- IsCapacitated
- 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, SeqEnum
- IsCartanEquivalent(R1, R2) : RootSys, RootSys -> BoolElt
- IsCartanMatrix
- IsCartanSubalgebra
- IsCartier
- 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, GrpFin -> BoolElt
- IsCentral(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsCentral(x) : GrpLieElt -> BoolElt
- IsCentral(G, H) : GrpMat, GrpMat -> BoolElt
- IsCentral(G, H) : GrpPC, GrpPC -> BoolElt
- IsCentral(G, H) : GrpPerm, GrpPerm -> BoolElt
- IsCentralByFinite
- IsCentralCollineation
- IsCGroup
- IsChainMap
- IsCharacter
- IsChevalleyBasis
- IsClassicalType
- IsCluster
- IsCM
- IsCoercible
- U ! x : BmpU, Any -> BmpUElt
- IsCoercible(U,x) : BmpU, Any -> BoolElt, BmpUElt
- IsCoercible(X, S) : RieSrf, Any -> BoolElt, .
- IsCoercible(S, x) : Str, Elt -> Bool, Elt
- IsCoercible(T, S) : TenSpc, Any -> BoolElt
- IsCoercible(TS, x) : TenSpc, Any -> BoolElt, TenSpcElt
- IsCohenMacaulay
- IsCokernelTorsionFree
- IsCollinear
- IsCommutative
- IsCompactHyperbolic
- IsComplete
V2.28, 13 July 2023