[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsTotallyEven .. IsUnramified
IsTotallyEven(chi) : GrpDrchElt -> BoolElt
IsTotallyEven(chi) : GrpDrchNFElt -> BoolElt
IsTotallyIsotropic(V) : ModTupFld) -> BoolElt
IsTotallyPositive(a) : FldNumElt -> BoolElt
IsTotallyPositive(a) : RngOrdElt -> BoolElt
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(K) : FldAlg -> BoolElt
IsTotallySingular(V) : ModTupFld) -> BoolElt
IsTotallySplit(P) : RngFunOrdIdl -> BoolElt
IsTotallySplit(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsTotallySplit(P) : RngOrdIdl -> BoolElt
IsTotallySplit(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsTransformation(n, g) : RngIntElt, Tup -> BoolElt, RngElt
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(r) : Mtrx -> BoolElt, ModTupRngElt, ModTupRngElt
IsTransverse(C,D,p) : Sch,Sch,Pt -> BoolElt
IsTree(G) : Grph -> BoolElt
IsTriangleGroup(G) : GrpPSL2 -> BoolElt
IsTriconnected(G) : GrphMultUnd -> BoolElt
IsTriconnected(G) : GrphUnd -> BoolElt
IsTrivial(G) : Grp -> BoolElt
IsTrivial(chi) : GrpDrchElt -> BoolElt
IsTrivial(chi) : GrpDrchNFElt -> BoolElt
IsTrivial(G) : GrpPC -> BoolElt
IsTrivial(D) : Inc -> BoolElt
IsTrivialOnUnits(chi) : GrpDrchNFElt -> BoolElt
IsTwist(E, F) : CrvEll, CrvEll -> BoolElt
IsTwist(M1, M2, p) : ModSym, ModSym, RngIntElt -> BoolElt, GrpDrchElt
IsTwisted(G) : GrpLie -> BoolElt
IsTwisted(R) : RootDtm -> BoolElt
IsTwoCoboundary(CM, s) : ModCoho, UserProgram -> BoolElt, UserProgram
IsRightIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsTwoSidedIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsLeftIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsUniqueFactorizationDomain(R) : Rng -> BoolElt
IsUFD(R) : Rng -> BoolElt
IsUltraSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt
IsUndirected(G) : GrphMult -> BoolElt
IsUniform(D) : Inc -> BoolElt, RngIntElt
IsUnipotent(a) : AlgMatElt -> BoolElt, RngIntElt
IsUnipotent(x) : GrpLieElt -> BoolElt
IsUnipotent(G) : GrpMat -> BoolElt
IsUnipotent(G) : GrpMat -> BoolElt, GrpMatElt
IsUniqueFactorizationDomain(R) : Rng -> BoolElt
IsUFD(R) : Rng -> BoolElt
IsUniquePartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt
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(P, U) : Plane, { PlanePt } -> BoolElt
IsUnitary(R) : Rng -> BoolElt
IsUnitaryGroup(G) : GrpMat -> BoolElt
IsUnitarySpace(W) : ModTupFld -> BoolElt
IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt
IsUnivariate(f) : RngMPolElt -> BoolElt, RngUPolElt, RngIntElt
IsUnivariate(f, i) : RngMPolElt, RngIntElt -> BoolElt, RngUPolElt
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
Mon Dec 17 14:40:36 EST 2012