[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: HasAdditionAlgorithm  ..  HasPlace


HasAdditionAlgorithm

   HasAdditionAlgorithm(J) : JacHyp -> Bool

HasAffinePatch

   HasAffinePatch(X, i) : Sch, RngIntElt -> BoolElt

HasAllPQuotientsMetacyclic

   HasAllPQuotientsMetacyclic (G): GrpFP -> BoolElt, SeqEnum

HasAllRootsOnUnitCircle

   HasAllRootsOnUnitCircle(f) : RngUPolElt -> BoolElt

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

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

   HasCompleteCosetTable(P) : GrpFPCosetEnumProc -> BoolElt
   HasClosedCosetTable(P) : GrpFPCosetEnumProc -> BoolElt

HasCM

   IsCM(M : parameters) : ModSym -> BoolElt, RngIntElt
   HasCM(M : parameters) : ModSym -> BoolElt, RngIntElt

HasComplement

   HasComplement(G, U) : GrpAb, GrpAb -> BoolElt, GrpAb
   HasComplement(G, M) : GrpPerm, GrpPerm -> BoolElt, GrpPerm
   HasComplement(M, S) : ModGrp, ModGrp -> BoolElt, ModGrp

HasCompleteCosetTable

   HasCompleteCosetTable(P) : GrpFPCosetEnumProc -> BoolElt
   HasClosedCosetTable(P) : GrpFPCosetEnumProc -> BoolElt

HasComplexConjugate

   HasComplexConjugate(K) : FldAlg -> BoolElt, Map
   HasComplexConjugate(K) : FldNum -> BoolElt, Map

HasComplexMultiplication

   HasComplexMultiplication(E) : CrvEll -> BoolElt, RngIntElt
   HasComplexMultiplication(E) : CrvEll -> BoolElt, RngIntElt

HasCompositionTree

   HasCompositionTree(G) : Grp -> BoolElt

HasComputableAbelianQuotient

   HasComputableAbelianQuotient(G) : GrpFP -> BoolElt, GrpAb, Map

HasComputableLCS

   HasComputableLCS(G) : GrpGPC -> BoolElt

HasDefinedModuleMap

   HasDefinedModuleMap(C,n) : ModCpx, RngIntElt -> BoolElt

HasDefiningMap

   DefiningMap(L) : FldPad -> BoolElt, Map
   HasDefiningMap(L) : RngPad -> BoolElt, Map

HasDenseAndSparseRep

   HasDenseRep(G) : Grph -> BoolElt
   HasSparseRepOnly(G) : Grph -> BoolElt
   HasDenseRepOnly(G) : Grph -> BoolElt
   HasDenseAndSparseRep(G) : Grph -> BoolElt
   HasSparseRep(G) : Grph -> BoolElt

HasDenseRep

   HasDenseRep(G) : Grph -> BoolElt
   HasSparseRepOnly(G) : Grph -> BoolElt
   HasDenseRepOnly(G) : Grph -> BoolElt
   HasDenseAndSparseRep(G) : Grph -> BoolElt
   HasSparseRep(G) : Grph -> BoolElt

HasDenseRepOnly

   HasDenseRep(G) : Grph -> BoolElt
   HasSparseRepOnly(G) : Grph -> BoolElt
   HasDenseRepOnly(G) : Grph -> BoolElt
   HasDenseAndSparseRep(G) : Grph -> BoolElt
   HasSparseRep(G) : Grph -> BoolElt

HasElementaryBasis

   HasElementaryBasis(A): AlgSym -> BoolElt
   HasPowerSumBasis(A): AlgSym -> BoolElt
   HasMonomialBasis(A): AlgSym -> BoolElt
   HasHomogeneousBasis(A): AlgSym -> BoolElt

HasEmbedding

   HasEmbedding(K, A) : Fld, AlgQuat -> BoolElt, AlgQuatElt, Map
   IsSplittingField(K, A) : Fld, AlgQuat -> BoolElt, AlgQuatElt, Map

HasFiniteDimension

   HasFiniteDimension(Q) : RngMPolRes -> BoolElt

HasFiniteKernel

   HasFiniteKernel(phi) : MapModAbVar -> BoolElt

HasFiniteOrder

   HasFiniteOrder(g) : GrpMatElt -> BoolElt, RngIntElt
   HasFiniteOrder(A) : Mtrx -> BoolElt
   HasFiniteOrder (g : parameters ) : GrpMatElt -> BoolElt, RngIntElt

HasGCD

   HasGCD(R) : Rng -> BoolElt

HasGNB

   HasGNB(R, n, t) : RngPad, RngIntElt, RngIntElt -> BoolElt

HasGrevlexOrder

   HasGrevlexOrder(I) : RngMPol -> BoolElt

HasGroebnerBasis

   HasGroebnerBasis(I) : RngMPol -> BoolElt

Hash

   Hash(x) : Elt -> RngIntElt

HasHomogeneousBasis

   HasElementaryBasis(A): AlgSym -> BoolElt
   HasPowerSumBasis(A): AlgSym -> BoolElt
   HasMonomialBasis(A): AlgSym -> BoolElt
   HasHomogeneousBasis(A): AlgSym -> BoolElt

HasIndexOne

   HasIndexOne(C,p) : CrvHyp, RngIntElt -> BoolElt

HasIndexOneEverywhereLocally

   HasIndexOneEverywhereLocally(C) : CrvHyp -> BoolElt

HasInfiniteComputableAbelianQuotient

   HasInfiniteComputableAbelianQuotient(G) : GrpFP -> BoolElt, GrpAb, Map

HasInfinitePSL2Quotient

   HasInfinitePSL2Quotient(G) :: GrpFP -> BoolElt, SeqEnum

HasIntersectionProperty

   HasIntersectionProperty(C) : CosetGeom -> BoolElt

HasIntersectionPropertyN

   HasIntersectionPropertyN(C,n) : CosetGeom, RngIntElt -> BoolElt, BoolElt

HasInverse

   HasInverse(f) : Map -> MonStgElt, Map

HasIrregularFibres

   HasIrregularFibres(s) : GrphSpl -> BoolElt

HasIsotropicVector

   HasIsotropicVector(V) : ModTupFld -> BoolElt, ModTupFldElt

HasKnownInverse

   HasKnownInverse(f) : MapSch -> Bool

HasLeviSubalgebra

   HasLeviSubalgebra(L) : AlgLie -> BoolElt

HasLinearGrayMapImage

   HasLinearGrayMapImage(C) : Code -> BoolElt, Code

HasMonomialBasis

   HasElementaryBasis(A): AlgSym -> BoolElt
   HasPowerSumBasis(A): AlgSym -> BoolElt
   HasMonomialBasis(A): AlgSym -> BoolElt
   HasHomogeneousBasis(A): AlgSym -> BoolElt

HasMultiplicityOne

   HasMultiplicityOne(A) : ModAbVar -> BoolElt

HasNegativeWeightCycle

   HasNegativeWeightCycle(G) : Grph -> BoolElt
   HasNegativeWeightCycle(u : parameters) : GrphVert -> BoolElt

HasNonsingularPoint

   HasNonsingularPoint(X) : Sch -> BoolElt,Pt

HasOddDegreeModel

   HasOddDegreeModel(C) : CrvHyp -> BoolElt, CrvHyp, MapIsoSch

HasOnlyOrdinarySingularities

   HasOnlyOrdinarySingularities(C) : CrvPln -> BoolElt, RngIntElt, RngMPol

HasOnlyOrdinarySingularitiesMonteCarlo

   HasOnlyOrdinarySingularitiesMonteCarlo(C) : CrvPln -> BoolElt, RngIntElt

HasOnlySimpleSingularities

   HasOnlySimpleSingularities(S) : Srfc -> BoolElt, List

HasOrder

   HasOrder(P, n) : JacHypPt, RngIntElt -> BoolElt

HasOutputFile

   HasOutputFile() : -> BoolElt

HasParallelClass

   HasParallelClass(D) : Inc -> BoolElt, { IncBlk }

HasParallelism

   HasParallelism(D: parameters) : Inc, RngIntElt -> BoolElt, { SetEnum }

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

[____] [____] [_____] [____] [__] [Index] [Root]

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013