- IsOneCoboundary
- IsOneCocycle
- IsOnlyMotivic
- IsOptimal
- IsOrbit
- IsOrder
- IsOrdered
- IsOrderTerm
- IsOrdinary
- IsOrdinaryProjective
- IsOrdinaryProjectiveSpace
- IsOrdinarySingularity
- IsOrthogonal
- IsOrthogonalCharacter
- IsOrthogonalGroup
- isos
- Isotropic
- isotropic
- IsotropicSubspace
- isotropy-and-witt
- IsOuter
- IsOverQ
- IsOverSmallerField
- Isp
- IsRestricted(L) : AlgLie -> BoolElt, Map
- IspLieAlgebra(L) : AlgLie -> BoolElt, Map
- IsRestrictable(L) : AlgLie -> BoolElt, Map
- IsRestrictedSubalgebra(L, M) : AlgLie, AlgLie -> AlgLie
- IspGroup(G) : GrpAb -> BoolElt
- IspIntegral(C, p) : CrvHyp, RngIntElt -> BoolElt
- IspMaximal(O, p) : AlgAssVOrd, RngOrdIdl -> BoolElt
- IspMinimal(C, p) : CrvHyp, RngIntElt -> BoolElt, BoolElt
- IspNormal(C, p) : CrvHyp, RngIntElt -> BoolElt
- IsParabolicSubgroup
- IsParallel
- IsParallelClass
- IsParallelism
- IsPartialRoot
- IsPartition
- IsPartitionRefined
- IsPath
- IsPathTree
- IsPerfect
- IsPerfectlyCentered
- IsPermutationCharacter
- IsPermutationDecodeSet
- IsPermutationDecodeSet(C, I, S, s) : CodeLinFld, [RngIntElt], [AlgMatElt], RngIntElt -> BoolElt
- IsPermutationDecodeSet(C, I, S, s) : CodeLinRng, [RngIntElt], [GrpPermElt], RngIntElt -> BoolElt
- IsPermutationModule
- IspGroup
- IsPID
- IspIntegral
- IsPIR
- IsPlanar
- IsPlaneCurve
- IspLieAlgebra
- IspMaximal
- IspMinimal
- IspNormal
- IsPoint
- IsPoint(C, S) : CrvHyp, SeqEnum -> BoolElt, PtHyp
- IsPoint(N,p) : NwtnPgon,Tup -> BoolElt
- IsPoint(H, x) : SetPtEll, RngElt -> BoolElt, PtEll
- IsPoint(H, S) : SetPtEll, [ RngElt ] -> BoolElt, PtEll
- IsPoint(K, S) : SrfKum, [RngElt] -> BoolElt, SrfKumPt
V2.28, 13 July 2023