- HasAdditionAlgorithm
- HasAffinePatch
- HasAllPQuotientsMetacyclic
- HasAllRootsOnUnitCircle
- HasAttribute
- HasAttribute(L, "c") : AlgKac, MonStgElt -> BoolElt, AlgKacElt
- HasAttribute(GrpMat, "FirstBasicOrbitBound") : Cat, MonStgElt -> BoolElt, RngIntElt
- HasAttribute(FldFin, "PowerPrinting", l) : Cat, MonStgElt, BoolElt ->
- HasAttribute(F, "PowerPrinting") : FldFin, MonStgElt -> BoolElt, BoolElt
- HasAttribute(A, s) : GrpAuto, MonStgElt -> BoolElt, .
- HasAttribute(A, "GenWeights") : GrpAuto, MonStgElt -> BoolElt, [ RngIntElt ]
- HasAttribute(A, "WeightSubgroupOrders") : GrpAuto, MonStgElt -> BoolElt, [ RngIntElt ]
- HasAttribute(G, "IsVerified") : GrpMat, MonStgElt -> BoolElt
- HasAttribute(G, "Base") : GrpMat, MonStgElt -> BoolElt, Tup
- HasAttribute(G, "Order") : GrpMat, MonStgElt -> RngIntElt
- HasAttribute(S, "DefaultPrecision") : RngSer, MonStgElt -> BoolElt, RngIntElt
- HasCharacterTable
- HasClique
- HasClique(G, k) : GrphUnd, RngIntElt -> BoolElt, { GrphVert }
- HasClique(G, k, m : parameters) : GrphUnd, RngIntElt, BoolElt -> BoolElt, { GrphVert }
- HasClique(G, k, m, f : parameters) : GrphUnd, RngIntElt, BoolElt, RngIntElt -> BoolElt, { GrphVert }
- HasClosedCosetTable
- HasCM
- HasComplement
- HasCompleteCosetTable
- HasComplexConjugate
- HasComplexMultiplication
- HasCompositionTree
- HasComputableAbelianQuotient
- HasComputableLCS
- HasDefinedModuleMap
- HasDefiningMap
- HasDenseAndSparseRep
- HasDenseRep
- HasDenseRepOnly
- HasElementaryBasis
- HasEmbedding
- HasFiniteAbelianQuotient
- HasFiniteAQ
- HasFiniteDimension
- HasFiniteIndex
- HasFiniteKernel
- HasFiniteOrder
- HasFiniteRank
- HasGCD
- HasGNB
- HasGrevlexOrder
- HasGroebnerBasis
- Hash
- HasHodgeStructure
- HasHomogeneousBasis
- HasIndexOne
- HasIndexOneEverywhereLocally
- HasInfiniteComputableAbelianQuotient
- HasInfinitePSL2Quotient
- HasIntegralPoint
- HasIntersectionProperty
- HasIntersectionPropertyN
- HasIntersectionPropertyPlus
- HasInverse
- HasIrregularFibres
- HasIsotropicVector
- HasKnownInverse
- HasLeviSubalgebra
- HasLinearGrayMapImage
- HasMonomialBasis
- HasMultiplicityOne
V2.28, 13 July 2023