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

Subindex: IsFiniteMatrixGroupF  ..  IsHomogeneous


IsFiniteMatrixGroupF

   GrpMatInf_IsFiniteMatrixGroupF (Example H61E7)
   GrpMatInf_IsFiniteMatrixGroupF (Example H61E8)

IsFiniteMatrixGroupFF

   GrpMatInf_IsFiniteMatrixGroupFF (Example H61E2)
   GrpMatInf_IsFiniteMatrixGroupFF (Example H61E3)
   GrpMatInf_IsFiniteMatrixGroupFF (Example H61E4)
   GrpMatInf_IsFiniteMatrixGroupFF (Example H61E5)

IsFiniteMatrixGroupFQ

   GrpMatInf_IsFiniteMatrixGroupFQ (Example H61E1)

IsFiniteOrder

   IsFiniteOrder(O) : RngFunOrd -> BoolElt

IsFirm

   IsFirm(X) : IncGeom -> BoolElt

IsFlex

   IsFlex(C,p) : Sch,Pt -> BoolElt,RngIntElt
   IsInflectionPoint(p) : Sch,Pt -> BoolElt,RngIntElt

IsFlipping

   IsFlipping(X,i) : TorVar,RngIntElt -> BoolElt

IsForest

   IsForest(G) : GrphUnd -> BoolElt

IsFree

   IsFree(L) : LinearSys -> BoolElt
   IsBasePointFree(L) : LinearSys -> BoolElt
   IsFree(G) : GrpAb -> BoolElt
   IsFree(M) : ModMPol -> BoolElt

IsFrobenius

   IsFrobenius(G) : GrpPerm -> BoolElt

IsFTGeometry

   IsFTGeometry(C) : CosetGeom -> BoolElt
   IsFTGeometry(D) : IncGeom -> BoolElt

IsFuchsianOperator

   IsFuchsianOperator(L) : RngDiffOpElt -> BoolElt, SetEnum

IsFundamental

   IsFundamentalDiscriminant(D) : RngIntElt -> BoolElt
   IsFundamental(D) : RngIntElt -> BoolElt

IsFundamentalDiscriminant

   IsFundamentalDiscriminant(D) : RngIntElt -> BoolElt
   IsFundamental(D) : RngIntElt -> BoolElt

IsGamma0

   IsGamma0(G) : GrpPSL2 -> BoolElt
   IsGamma0(M) : ModFrm -> BoolElt

IsGamma1

   IsGamma1(G) : GrpPSL2 -> BoolElt
   IsGamma1(M) : ModFrm -> BoolElt

IsGE

   IsGE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
   IsGe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
   u ≥v : GrpBrdElt, GrpBrdElt -> BoolElt

IsGe

   IsGE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
   IsGe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
   u ≥v : GrpBrdElt, GrpBrdElt -> BoolElt

IsGeneralizedCartanMatrix

   IsGeneralizedCartanMatrix(C) : AlgMatElt -> BoolElt

IsGeneralizedCharacter

   IsGeneralizedCharacter(x) : AlgChtrElt -> BoolElt

IsGenuineWeightedDynkinDiagram

   IsGenuineWeightedDynkinDiagram( L, wd ) : AlgLie, SeqEnum -> BoolElt, SeqEnum

IsGenus

   IsGenus(G) : SymGen -> BoolElt

IsGenusOneModel

   IsGenusOneModel(f) : RngMPolElt -> BoolElt, ModelG1

IsGeometricallyHyperelliptic

   IsGeometricallyHyperelliptic(C) : Crv -> BoolElt, Crv, MapSch
   IsHyperelliptic(C) : Crv -> BoolElt, CrvHyp, MapSch

IsGL2Equivalent

   IsGL2Equivalent(f, g, n) : RngUPolElt, RngUPolElt, RngIntElt -> BoolElt, SeqEnum

IsGLattice

   IsGLattice(L) : Lat -> GrpMat

IsGLConjugate

   IsGLConjugate(H, K) : GrpMat, GrpMat -> BoolElt, GrpMatElt | Unass
   IsGLConjugate(H, K) : GrpMat, GrpMat -> BoolElt, GrpMatElt | Unass

IsGlobal

   IsGlobal(F) : FldFunG -> BoolElt

IsGloballySplit

   IsGloballySplit(C, l) : , UserProgram -> BoolElt, UserProgram

IsGlobalUnit

   IsGlobalUnit(a) : FldFunElt -> BoolElt
   IsGlobalUnit(a) : FldFunElt -> BoolElt

IsGlobalUnitWithPreimage

   IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
   IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt

IsGLQConjugate

   IsGLQConjugate(G, H) : GrpMat, GrpMat -> BoolElt, GrpMatElt

IsGLZConjugate

   IsSLZConjugate(A, B) : AlgMatElt, AlgMatElt -> BoolElt, GrpMatElt
   IsGLZConjugate(A, B) : AlgMatElt, AlgMatElt -> BoolElt, GrpMatElt
   IsGLZConjugate(G, H) : GrpMat[RngInt], GrpMat[RngInt] -> BoolElt, GrpMatElt

IsGood

   GrpPC_IsGood (Example H63E29)

IsGorenstein

   IsGorenstein(X) : Sch -> BoolElt
   IsArithmeticallyCohenMacaulay(X) : Sch -> BoolElt
   IsArithmeticallyGorenstein(X) : Sch -> BoolElt
   IsCohenMacaulay(X) : Sch -> BoolElt
   IsGorenstein(O, p) : AlgAssVOrd , RngOrdIdl -> BoolElt
   IsGorenstein(O) : AlgAssVOrd -> BoolElt
   IsGorenstein(C) : TorCon -> BoolElt
   IsGorenstein(F) : TorFan -> BoolElt
   IsGorenstein(X) : TorVar -> BoolElt

IsGorensteinSurface

   IsGorensteinSurface(B) : GRBskt -> BoolElt
   IsGorensteinSurface(p) : GRPtS -> BoolElt

IsGraded

   IsHomogeneous(M) : ModMPol -> BoolElt
   IsGraded(M) : ModMPol -> BoolElt
   IsGraded(f) : ModMPolHom -> BoolElt

IsGradedIsomorphic

   IsGradedIsomorphic(A, B) : AlgBas, AlgBas -> Bool, ModMatFldElt

IsGraph

   IsGraph(C) : CosetGeom -> GrphUnd
   IsGraph(D) : IncGeom -> GrphUnd

IsGroebner

   IsGroebner(S) : { RngMPolElt } -> BoolElt

IsHadamard

   IsHadamard(H) : AlgMatElt -> BoolElt

IsHadamardEquivalent

   IsHadamardEquivalent(H, J : parameters) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt, AlgMatElt

IsHeckeAlgebra

   IsHeckeAlgebra(H) : HomModAbVar -> BoolElt

IsHeckeOperator

   IsHeckeOperator(phi) : MapModAbVar -> BoolElt, RngIntElt

IsHereditary

   IsHereditary(O, p) : AlgAssVOrd , RngOrdIdl -> BoolElt
   IsHereditary(O) : AlgAssVOrd -> BoolElt

IsHomeomorphic

   IsHomeomorphic(G: parameters) : GrphMultUnd -> BoolElt
   IsHomeomorphic(G : parameters) : GrphUnd -> BoolElt

IsHomogeneous

   IsHomogeneous(M) : ModMPol -> BoolElt
   IsGraded(M) : ModMPol -> BoolElt
   IsGraded(f) : ModMPolHom -> BoolElt
   IsHomogeneous(s): AlgSymElt -> BoolElt
   IsHomogeneous(f) : ModMPolElt -> BoolElt
   IsHomogeneous(I) : RngMPol -> BoolElt
   IsHomogeneous(f) : RngMPolElt -> BoolElt
   IsHomogeneous(X,f) : Sch,RngMPolElt -> BoolElt

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

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012