[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: HasAdditionAlgorithm .. HasRationalSolutions
HasAdditionAlgorithm(J) : JacHyp -> Bool
HasAllPQuotientsMetacyclic (G): GrpFP -> BoolElt, SeqEnum
HasAttribute(GrpMat, "FirstBasicOrbitBound") : Cat, MonStgElt -> BoolElt, RngIntElt
HasAttribute(FldFin, "PowerPrinting", l) : Cat, MonStgElt, BoolElt ->
HasAttribute(ModMPol, "MatrixPrinting", 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(M, "MatrixPrinting") : ModMPol, MonStgElt -> BoolElt, BoolElt
HasAttribute(S, "Precision") : RngSer, MonStgElt -> BoolElt, RngIntElt
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 }
HasCompleteCosetTable(P) : GrpFPCosetEnumProc -> BoolElt
HasClosedCosetTable(P) : GrpFPCosetEnumProc -> BoolElt
IsCM(M : parameters) : ModSym -> BoolElt, RngIntElt
HasCM(M : parameters) : ModSym -> BoolElt, RngIntElt
HasComplement(G, M) : GrpPerm, GrpPerm -> BoolElt, GrpPerm
HasComplement(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp
HasCompleteCosetTable(P) : GrpFPCosetEnumProc -> BoolElt
HasClosedCosetTable(P) : GrpFPCosetEnumProc -> BoolElt
HasComplexConjugate(K) : FldAlg -> BoolElt, Map
HasComplexMultiplication(E) : CrvEll -> BoolElt, RngIntElt
HasComplexMultiplication(E) : CrvEll -> BoolElt, RngIntElt
HasComputableAbelianQuotient(G) : GrpFP -> BoolElt, GrpAb, Map
HasComputableLCS(G) : GrpGPC -> BoolElt
HasDefinedModuleMap(C,n) : ModCpx, RngIntElt -> BoolElt
DefiningMap(L) : FldPad -> BoolElt, Map
HasDefiningMap(L) : RngPad -> BoolElt, Map
HasDenseRep(G) : Grph -> BoolElt
HasSparseRepOnly(G) : Grph -> BoolElt
HasDenseRepOnly(G) : Grph -> BoolElt
HasDenseAndSparseRep(G) : Grph -> BoolElt
HasSparseRep(G) : Grph -> BoolElt
HasDenseRep(G) : Grph -> BoolElt
HasSparseRepOnly(G) : Grph -> BoolElt
HasDenseRepOnly(G) : Grph -> BoolElt
HasDenseAndSparseRep(G) : Grph -> BoolElt
HasSparseRep(G) : Grph -> BoolElt
HasDenseRep(G) : Grph -> BoolElt
HasSparseRepOnly(G) : Grph -> BoolElt
HasDenseRepOnly(G) : Grph -> BoolElt
HasDenseAndSparseRep(G) : Grph -> BoolElt
HasSparseRep(G) : Grph -> BoolElt
HasElementaryBasis(A): AlgSym -> BoolElt
HasPowerSumBasis(A): AlgSym -> BoolElt
HasMonomialBasis(A): AlgSym -> BoolElt
HasHomogeneousBasis(A): AlgSym -> BoolElt
HasEmbedding(K, A) : FldAlg, AlgQuat -> BoolElt, .
IsSplittingField(K, A) : FldAlg, AlgQuat -> BoolElt, .
HasExtraspecialSigns(R) : RootDtm -> BoolElt
SetExtraspecialSigns( R, s) : RootDtm, SeqEnum[RngIntElt] ->
HasFiniteDimension(Q) : RngMPolRes -> BoolElt
HasFiniteKernel(phi) : MapModAbVar -> BoolElt
HasFiniteOrder(g) : GrpMatElt -> BoolElt, RngIntElt
HasFiniteOrder(A) : Mtrx -> BoolElt
HasGCD(R) : Rng -> BoolElt
HasGNB(R, n, t) : RngPad, RngIntElt, RngIntElt -> BoolElt
HasGroebnerBasis(I) : RngMPol -> BoolElt
Hash(x) : Elt -> RngIntElt
HasElementaryBasis(A): AlgSym -> BoolElt
HasPowerSumBasis(A): AlgSym -> BoolElt
HasMonomialBasis(A): AlgSym -> BoolElt
HasHomogeneousBasis(A): AlgSym -> BoolElt
IsPerfect(G) : GrpFP -> BoolElt
HasInfiniteComputableAbelianQuotient(G) : GrpFP -> BoolElt, GrpAb, Map
HasIntersectionProperty(C) : CosetGeom -> BoolElt
HasIntersectionPropertyN(C) : CosetGeom -> BoolElt, BoolElt
HasInverse(f) : Map -> MonStgElt, Map
HasIrregularFibres(s) : GrphSpl -> BoolElt
HasKnownInverse(f) : MapSch -> Bool
HasLeviSubalgebra(L) : AlgLie -> BoolElt
HasLinearGrayMapImage(C) : Code -> BoolElt, Code
HasElementaryBasis(A): AlgSym -> BoolElt
HasPowerSumBasis(A): AlgSym -> BoolElt
HasMonomialBasis(A): AlgSym -> BoolElt
HasHomogeneousBasis(A): AlgSym -> BoolElt
HasMultiplicityOne(A) : ModAbVar -> BoolElt
HasNegativeWeightCycle(G) : Grph -> BoolElt
HasNegativeWeightCycle(u : parameters) : GrphVert -> BoolElt
HasNonsingularPoint(X) : Sch -> BoolElt,Pt
HasOddDegreeModel(C) : CrvHyp -> BoolElt, CrvHyp, MapIsoSch
HasOnlyOrdinarySingularities(C) : CrvPln -> BoolElt, RngIntElt, RngMPol
HasOnlyOrdinarySingularitiesMonteCarlo(C) : CrvPln -> BoolElt, RngIntElt
HasOrder(P, n) : JacHypPt, RngIntElt -> BoolElt
HasOutputFile() : -> BoolElt
HasParallelClass(D) : Inc -> BoolElt, { IncBlk }
HasParallelism(D: parameters) : Inc, RngIntElt -> BoolElt, { SetEnum }
RandomPlace(C, m) : Crv[FldFin], RngIntElt -> BoolElt,PlcCrvElt
HasPlace(C, m) : Crv[FldFin], RngIntElt -> BoolElt,PlcCrvElt
HasPlace(F, m) : FldFun, RngIntElt -> BoolElt, PlcFunElt
HasPlace(F, m) : FldFun, RngIntElt -> PlcFunElt
HasPointsOverExtension(X) : Sch -> BoolElt
HasPolynomial(N) : NwtnPgon -> BoolElt
HasPolynomialFactorization(R) : Rng -> BoolElt
HasElementaryBasis(A): AlgSym -> BoolElt
HasPowerSumBasis(A): AlgSym -> BoolElt
HasMonomialBasis(A): AlgSym -> BoolElt
HasHomogeneousBasis(A): AlgSym -> BoolElt
HasPreimage(x, f) : Any, Map -> BoolElt, Any
HasPRoot(R) : RngPad -> BoolElt
HasRationalPoint(C) : CrvCon -> BoolElt, Pt
HasRationalSolutions(L, g) : RngDiffOpElt, RngElt -> BoolElt, RngElt, SeqEnum
[____] [____] [_____] [____] [__] [Index] [Root]