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

Subindex: IsSimpleStarAlgebra  ..  IsSquare


IsSimpleStarAlgebra

   IsSimpleStarAlgebra(A) : AlgMat -> BoolElt

IsSimpleSurfaceSingularity

   IsSimpleSurfaceSingularity(p) : Pt -> BoolElt, MonStr, RngIntElt

IsSimplex

   IsSimplex(P) : TorPol -> BoolElt

IsSimplicial

   IsSimplicial(P) : TorPol -> BoolElt
   IsQFactorial(C) : TorCon -> BoolElt
   IsSimplicial(C) : TorCon -> BoolElt

IsSimplifiedModel

   IsSimplifiedModel(E) : CrvEll -> BoolElt
   IsSimplifiedModel(C) : CrvHyp -> BoolElt

IsSimplyConnected

   IsSimplyConnected(G) : GrpLie -> BoolElt
   IsSimplyConnected(R) : RootDtm -> BoolElt

IsSimplyLaced

   IsSimplyLaced(C) : AlgMatElt -> BoolElt
   IsSimplyLaced(M) : AlgMatElt -> BoolElt
   IsSimplyLaced(D) : GrphDir -> BoolElt
   IsSimplyLaced(G) : GrphUnd -> BoolElt
   IsSimplyLaced(G) : GrpLie-> BoolElt
   IsSimplyLaced(W) : GrpMat -> BoolElt
   IsSimplyLaced(W) : GrpPermCox-> BoolElt
   IsSimplyLaced(N) : MonStgElt -> BoolElt
   IsSimplyLaced(R) : RootStr -> BoolElt
   IsSimplyLaced(R) : RootSys-> BoolElt

IsSinglePrecision

   IsSinglePrecision(n) : RngIntElt -> BoolElt

IsSingular

   IsSingular(V) : ModTupFld -> BoolElt, ModTupFldElt
   IsSingular(A) : Mtrx -> BoolElt
   IsSingular(C) : Sch -> BoolElt
   IsSingular(X) : Sch -> BoolElt
   IsSingular(p) : Sch,Pt -> BoolElt
   IsSingular(p) : Sch,Pt -> BoolElt
   IsSingular(C) : TorCon -> BoolElt
   IsSingular(F) : TorFan -> BoolElt
   IsSingular(X) : TorVar -> BoolElt

IsSIntegral

   IsSIntegral(P, S) : PtEll, SeqEnum -> BoolElt

IsSkew

   IsSkew(t) : Tbl -> BoolElt

IsSLZConjugate

   IsSLZConjugate(A, B) : AlgMatElt, AlgMatElt -> BoolElt, GrpMatElt
   IsGLZConjugate(A, B) : AlgMatElt, AlgMatElt -> BoolElt, GrpMatElt

IsSmooth

   IsSmooth(P) : TorPol -> BoolElt

IsSoluble

   IsSolvable(L) : AlgLie -> BoolElt
   IsSoluble(L) : AlgLie -> BoolElt
   IsSoluble(D, o, n) : DB, RngIntElt, RngIntElt -> Grp
   IsSoluble(A) : GrpAuto -> BoolElt
   IsSoluble(G) : GrpFin -> BoolElt
   IsSoluble(G) : GrpGPC -> BoolElt
   IsSoluble(G) : GrpMat -> BoolElt
   IsSoluble(G) : GrpPC -> BoolElt
   IsSoluble(G) : GrpPerm -> BoolElt
   IsSoluble(G : parameters) : GrpMat -> BoolElt

IsSolubleAutomorphismGroupPGroup

   IsSolvableAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt
   IsSolubleAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt

IsSolubleByFinite

   IsSolubleByFinite(G : parameters) : GrpMat -> BoolElt

IsSolvable

   IsSolvable(L) : AlgLie -> BoolElt
   IsSoluble(L) : AlgLie -> BoolElt
   IsSoluble(D, o, n) : DB, RngIntElt, RngIntElt -> Grp
   IsSoluble(A) : GrpAuto -> BoolElt
   IsSoluble(G) : GrpFin -> BoolElt
   IsSoluble(G) : GrpGPC -> BoolElt
   IsSoluble(G) : GrpMat -> BoolElt
   IsSoluble(G) : GrpPC -> BoolElt
   IsSoluble(G) : GrpPerm -> BoolElt

IsSolvableAutomorphismGroupPGroup

   IsSolvableAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt
   IsSolubleAutomorphismGroupPGroup(A) : GrpAuto -> BoolElt

IsSpecial

   IsSpecial(D) : DivCrvElt -> BoolElt
   IsSpecial(G) : GrpFin -> BoolElt
   IsSpecial(G) : GrpMat -> BoolElt
   IsSpecial(G) : GrpPC -> BoolElt
   IsSpecial(G) : GrpPerm -> BoolElt

IsSpinorGenus

   IsSpinorGenus(G) : SymGen -> BoolElt

IsSpinorNorm

   IsSpinorNorm(G,p) : SymGen, RngIntElt -> RngIntElt

IsSplit

   IsSplit(G) : GrpLie -> BoolElt
   IsSplit(P) : RngFunOrdIdl -> BoolElt
   IsSplit(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
   IsSplit(P) : RngOrdIdl -> BoolElt
   IsSplit(P, O) : RngOrdIdl, RngOrd -> BoolElt
   IsSplit(R) : RootDtm -> BoolElt

IsSplitAsIdealAt

   IsSplitAsIdealAt(I, l) : RngOrdFracIdl, UserProgram -> BoolElt, UserProgram, [RngOrdIdl]

IsSplittingCartanSubalgebra

   IsSplittingCartanSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt

IsSplittingField

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

IsSplitToralSubalgebra

   IsSplitToralSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt

IsSPrincipal

   IsSPrincipal(D, S) : DivFunElt, SetEnum[PlcFunElt] -> BoolElt, FldFunElt

IsSquare

   IsSquare(a) : FldAlgElt -> BoolElt, FldAlgElt
   IsPower(a, k) : FldAlgElt, RngIntElt -> BoolElt, FldAlgElt
   IsPower(a, k) : FldNumElt, RngIntElt -> BoolElt, FldNumElt
   IsSquare(a) : FldACElt -> BoolElt
   IsSquare(a) : FldFinElt -> BoolElt
   IsSquare(I) : RngFunOrdIdl -> BoolElt, RngFunOrdIdl
   IsSquare(n) : RngIntElt -> BoolElt, RngIntElt
   IsSquare(n) : RngIntResElt -> BoolElt, RngIntResElt
   IsSquare(I) : RngOrdFracIdl -> BoolElt, RngOrdFracIdl
   IsSquare(x) : RngPadElt -> BoolElt, RngPadElt
   IsSquare(s) : RngPowLazElt -> BoolElt, RngPowLazElt

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

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