- 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
- IsPointed
- IsPointRegular
- IsPointTransitive
- IsPolarSpace
- IsPolycyclic
- IsPolycyclicByFinite
- IsPolygon
- IsPolynomial
- IsPolytope
- IsPositive
- IsPositiveDefinite
- IsPositiveSemiDefinite
- IsPower
- IsPower(a, n) : FldACElt, RngIntElt -> BoolElt, FldACElt
- IsPower(a, k) : FldAlgElt, RngIntElt -> BoolElt, FldAlgElt
- IsPower(a, n) : FldFinElt, RngIntElt -> BoolElt, FldFinElt
- IsPower(a, k) : FldNumElt, RngIntElt -> BoolElt, FldNumElt
- IsPower(I, n) : RngFunOrdIdl, RngIntElt -> BoolElt, RngFunOrdIdl
- IsPower(n) : RngIntElt -> BoolElt
- IsPower(n, k) : RngIntElt, RngIntElt -> BoolElt
- IsPower(w, n) : RngOrdElt, RngIntElt -> BoolElt, RngOrdElt
- IsPower(I, k) : RngOrdFracIdl, RngIntElt -> BoolElt, RngOrdFracIdl
- IsPower(x, n) : RngPadElt, RngIntElt -> BoolElt, RngPadElt
- IsPRI
- IsPrimary
- IsPrime
- IsPrimeField
- IsPrimePower
- IsPrimitive
- IsPrimitiveFiniteNilpotent
- IsPrincipal
V2.29, 21 October 2025