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

Subindex: IsTotallyEven  ..  IsUnramified


IsTotallyEven

   IsTotallyEven(chi) : GrpDrchElt -> BoolElt
   IsTotallyEven(chi) : GrpDrchNFElt -> BoolElt

IsTotallyIsotropic

   IsTotallyIsotropic(V) : ModTupFld) -> BoolElt

IsTotallyPositive

   IsTotallyPositive(a) : FldNumElt -> BoolElt
   IsTotallyPositive(a) : RngOrdElt -> BoolElt

IsTotallyRamified

   IsUnramified(R) : RngPad -> BoolElt
   IsTotallyRamified(R) : RngPad -> BoolElt
   IsRamified(R) : RngPad -> BoolElt
   IsTotallyRamified(K) : FldAlg -> BoolElt
   IsTotallyRamified(O) : RngFunOrd -> BoolElt
   IsTotallyRamified(P) : RngFunOrdIdl -> BoolElt
   IsTotallyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
   IsTotallyRamified(L) : RngLocA -> BoolElt
   IsTotallyRamified(O) : RngOrd -> BoolElt
   IsTotallyRamified(P) : RngOrdIdl -> BoolElt
   IsTotallyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt

IsTotallyReal

   IsTotallyReal(K) : FldAlg -> BoolElt

IsTotallySingular

   IsTotallySingular(V) : ModTupFld) -> BoolElt

IsTotallySplit

   IsTotallySplit(P) : RngFunOrdIdl -> BoolElt
   IsTotallySplit(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
   IsTotallySplit(P) : RngOrdIdl -> BoolElt
   IsTotallySplit(P, O) : RngOrdIdl, RngOrd -> BoolElt

IsTransformation

   IsTransformation(n, g) : RngIntElt, Tup -> BoolElt, RngElt

IsTransitive

   IsTransitive(P) : Plane -> BoolElt
   IsPointTransitive(P) : Plane -> BoolElt
   IsTransitive(G) : GrphUnd -> BoolElt
   IsTransitive(G, Y) : GrpPerm, GSet -> BoolElt
   IsTransitive(G, Y, k) : GrpPerm, GSet, RngIntElt -> BoolElt

IsTransvection

   IsTransvection(r) : Mtrx -> BoolElt, ModTupRngElt, ModTupRngElt

IsTransverse

   IsTransverse(C,D,p) : Sch,Sch,Pt -> BoolElt

IsTree

   IsTree(G) : Grph -> BoolElt

IsTriangleGroup

   IsTriangleGroup(G) : GrpPSL2 -> BoolElt

IsTriconnected

   IsTriconnected(G) : GrphMultUnd -> BoolElt
   IsTriconnected(G) : GrphUnd -> BoolElt

IsTrivial

   IsTrivial(G) : Grp -> BoolElt
   IsTrivial(chi) : GrpDrchElt -> BoolElt
   IsTrivial(chi) : GrpDrchNFElt -> BoolElt
   IsTrivial(G) : GrpPC -> BoolElt
   IsTrivial(D) : Inc -> BoolElt

IsTrivialOnUnits

   IsTrivialOnUnits(chi) : GrpDrchNFElt -> BoolElt

IsTwist

   IsTwist(E, F) : CrvEll, CrvEll -> BoolElt
   IsTwist(M1, M2, p) : ModSym, ModSym, RngIntElt -> BoolElt, GrpDrchElt

IsTwisted

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

IsTwoCoboundary

   IsTwoCoboundary(CM, s) : ModCoho, UserProgram -> BoolElt, UserProgram

IsTwoSidedIdeal

   IsRightIdeal(I) : AlgAssVOrdIdl -> BoolElt
   IsTwoSidedIdeal(I) : AlgAssVOrdIdl -> BoolElt
   IsLeftIdeal(I) : AlgAssVOrdIdl -> BoolElt

IsUFD

   IsUniqueFactorizationDomain(R) : Rng -> BoolElt
   IsUFD(R) : Rng -> BoolElt

IsUltraSummitRepresentative

   IsUltraSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt

IsUndirected

   IsUndirected(G) : GrphMult -> BoolElt

IsUniform

   IsUniform(D) : Inc -> BoolElt, RngIntElt

IsUnipotent

   IsUnipotent(a) : AlgMatElt -> BoolElt, RngIntElt
   IsUnipotent(x) : GrpLieElt -> BoolElt
   IsUnipotent(G) : GrpMat -> BoolElt
   IsUnipotent(G) : GrpMat -> BoolElt, GrpMatElt

IsUniqueFactorizationDomain

   IsUniqueFactorizationDomain(R) : Rng -> BoolElt
   IsUFD(R) : Rng -> BoolElt

IsUniquePartialRoot

   IsUniquePartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt

IsUnit

   IsUnit(a) : AlgAssVOrdElt -> BoolElt
   IsUnit(f) : AlgFPElt -> BoolElt
   IsUnit(a) : AlgGenElt -> BoolElt, AlgGenElt
   IsUnit(a) : AlgMatElt -> BoolElt
   IsUnit(A) : Mtrx -> BoolElt
   IsUnit(a) : RngElt -> BoolElt
   IsUnit(f) : RngMPolResElt -> BoolElt
   IsUnit(a) : RngOrdResElt -> BoolElt
   IsUnit(x) : RngPadElt -> BoolElt
   IsUnit(s) : RngPowLazElt -> BoolElt

IsUnital

   IsUnital(P, U) : Plane, { PlanePt } -> BoolElt

IsUnitary

   IsUnitary(R) : Rng -> BoolElt

IsUnitaryGroup

   IsUnitaryGroup(G) : GrpMat -> BoolElt

IsUnitarySpace

   IsUnitarySpace(W) : ModTupFld -> BoolElt

IsUnitWithPreimage

   IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt

IsUnivariate

   IsUnivariate(f) : RngMPolElt -> BoolElt, RngUPolElt, RngIntElt
   IsUnivariate(f, i) : RngMPolElt, RngIntElt -> BoolElt, RngUPolElt

IsUnramified

   IsUnramified(p, A) : RngElt, AlgQuat -> BoolElt
   IsRamified(p, A) : RngElt, AlgQuat -> BoolElt
   IsRamified(R) : RngPad -> BoolElt
   IsUnramified(K) : FldAlg -> BoolElt
   IsUnramified(O) : RngFunOrd -> BoolElt
   IsUnramified(P) : RngFunOrdIdl -> BoolElt
   IsUnramified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
   IsUnramified(L) : RngLocA -> BoolElt
   IsUnramified(O) : RngOrd -> BoolElt
   IsUnramified(P) : RngOrdIdl -> BoolElt
   IsUnramified(P, O) : RngOrdIdl, RngOrd -> BoolElt

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

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