[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: HasAdditionAlgorithm .. HasPlace
HasAdditionAlgorithm(J) : JacHyp -> Bool
HasAffinePatch(X, i) : Sch, RngIntElt -> BoolElt
HasAllPQuotientsMetacyclic (G): GrpFP -> BoolElt, SeqEnum
HasAllRootsOnUnitCircle(f) : RngUPolElt -> BoolElt
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
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, U) : GrpAb, GrpAb -> BoolElt, GrpAb
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
HasComplexConjugate(K) : FldNum -> BoolElt, Map
HasComplexMultiplication(E) : CrvEll -> BoolElt, RngIntElt
HasComplexMultiplication(E) : CrvEll -> BoolElt, RngIntElt
HasCompositionTree(G) : Grp -> BoolElt
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) : Fld, AlgQuat -> BoolElt, AlgQuatElt, Map
IsSplittingField(K, A) : Fld, AlgQuat -> BoolElt, AlgQuatElt, Map
HasFiniteDimension(Q) : RngMPolRes -> BoolElt
HasFiniteKernel(phi) : MapModAbVar -> BoolElt
HasFiniteOrder(g) : GrpMatElt -> BoolElt, RngIntElt
HasFiniteOrder(A) : Mtrx -> BoolElt
HasFiniteOrder (g : parameters ) : GrpMatElt -> BoolElt, RngIntElt
HasGCD(R) : Rng -> BoolElt
HasGNB(R, n, t) : RngPad, RngIntElt, RngIntElt -> BoolElt
HasGrevlexOrder(I) : RngMPol -> 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
HasIndexOne(C,p) : CrvHyp, RngIntElt -> BoolElt
HasIndexOneEverywhereLocally(C) : CrvHyp -> BoolElt
HasInfiniteComputableAbelianQuotient(G) : GrpFP -> BoolElt, GrpAb, Map
HasInfinitePSL2Quotient(G) :: GrpFP -> BoolElt, SeqEnum
HasIntersectionProperty(C) : CosetGeom -> BoolElt
HasIntersectionPropertyN(C,n) : CosetGeom, RngIntElt -> BoolElt, BoolElt
HasInverse(f) : Map -> MonStgElt, Map
HasIrregularFibres(s) : GrphSpl -> BoolElt
HasIsotropicVector(V) : ModTupFld -> BoolElt, ModTupFldElt
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
HasOnlySimpleSingularities(S) : Srfc -> BoolElt, List
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 -> PlcFunElt
HasPlace(F, m) : FldFunG, RngIntElt -> BoolElt, PlcFunElt
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012