- HasLeviSubalgebra
- HasLinearGrayMapImage
- HasMonomialBasis
- HasMultiplicityOne
- HasNegativeWeightCycle
- HasNonsingularPoint
- HasOddDegreeModel
- HasOnlyOrdinarySingularities
- HasOnlyOrdinarySingularitiesMonteCarlo
- HasOnlySimpleSingularities
- HasOrder
- HasOutputFile
- Hasp
- HasParallelClass
- HasParallelism
- HasPlace
- RandomPlace(C, m) : Crv[FldFin], RngIntElt -> BoolElt,PlcCrvElt
- HasPlace(C, m) : Crv[FldFin], RngIntElt -> BoolElt,PlcCrvElt
- HasPlace(F, m) : FldFun, RngIntElt -> PlcFunElt
- HasPlace(F, m) : FldFunG, RngIntElt -> BoolElt, PlcFunElt
- HasPoint
- HasPointsEverywhereLocally
- HasPointsOverExtension
- HasPolynomial
- HasPolynomialFactorization
- HasPositiveH1Dimension
- HasPowerSumBasis
- HaspQuotientDefinitions
- HasPreimage
- HasProjectiveDerivation
- HasPRoot
- HasRandomPlace
- HasRationalPoint
- HasRationalSolutions
- HasResolution
- HasResultant
- HasRoot
- HasRootOfUnity
- HasSchurBasis
- Hasse
- HasseInvariant
- HasseInvariants
- HasseMinkowskiInvariant
- HasseMinkowskiInvariants
- HasseWittInvariant
- HasSingularPointsOverExtension
- HasSingularVector
- HasSparseRep
- HasSparseRepOnly
- HasSquareSha
- HasStringProperty
- HasSupplement
- HasTotallyPositiveGenerator
- HasTwistedHopfStructure
- HasValidCosetTable
- HasValidIndex
- HasWeakIntersectionProperty
- HasZeroDerivation
V2.29, 21 October 2025