[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsSuperSummitRepresentative .. IsUnit
IsSuperSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt
IsSurjective(f) : Map -> [ BoolElt ]
IsSurjective(f) : MapChn -> BoolElt
IsSurjective(phi) : MapModAbVar -> BoolElt
IsSurjective(a) : ModMatRngElt -> BoolElt
IsSuzukiGroup(G) : GrpMat -> BoolElt, RngIntElt
IsSymmetric(a) : AlgMatElt -> BoolElt
IsSymmetric(D) : Dsgn -> BoolElt
IsSymmetric(G) : GrphUnd -> BoolElt
IsSymmetric(G) : GrpPerm -> BoolElt
IsSymmetric(A) : Mtrx -> BoolElt
IsSymmetric(f) : RngMPolElt -> BoolElt, RngMPolElt
IsSymmetric(f) : RngMPolElt -> BoolElt, RngMPolElt
GB_IsSymmetric (Example H94E30)
RngMPol_IsSymmetric (Example H43E12)
IsSymplecticGroup(G) : GrpMat -> BoolElt
IsSymplecticMatrix(A) : Mtrx -> BoolElt
IsSymplecticSelfDual(C) : CodeAdd -> BoolElt
IsSymplecticSelfOrthogonal(C) : CodeAdd -> BoolElt
IsTamelyRamified(K) : FldAlg -> BoolElt
IsTamelyRamified(O) : RngFunOrd -> BoolElt
IsTamelyRamified(P) : RngFunOrdIdl -> BoolElt
IsTamelyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsTamelyRamified(O) : RngOrd -> BoolElt
IsTamelyRamified(P) : RngOrdIdl -> BoolElt
IsTamelyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsTangent(C,D,p) : Sch,Sch,Pt -> BoolElt
IsTensor(G: parameters) : GrpMat -> BoolElt
IsTensorInduced(G : parameters) : GrpMat -> BoolElt
IsTerminalThreefold(B) : GRBskt -> BoolElt
IsTerminalThreefold(p) : GRPtS -> BoolElt
IsThick(X) : CosetGeom -> BoolElt
IsThin(X) : CosetGeom -> BoolElt
IsTorsionUnit(w) : RngOrdElt -> BoolElt
IsTotallyRamified(K) : FldAlg -> BoolElt
IsTotallyRamified(O) : RngFunOrd -> BoolElt
IsTotallyRamified(P) : RngFunOrdIdl -> BoolElt
IsTotallyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsTotallyRamified(O) : RngOrd -> BoolElt
IsTotallyRamified(P) : RngOrdIdl -> BoolElt
IsTotallyRamified(P, O) : RngOrdIdl, RngOrd -> 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
IsTransverse(C,D,p) : Sch,Sch,Pt -> BoolElt
IsTree(G) : Grph -> BoolElt
IsTriconnected(G) : GrphMultUnd -> BoolElt
IsTriconnected(G) : GrphUnd -> BoolElt
IsTrivial(G) : Grp -> BoolElt
IsTrivial(x) : GrpDrchElt -> BoolElt
IsTrivial(G) : GrpPC -> BoolElt
IsTrivial(D) : Inc -> BoolElt
IsTwist(E, F) : CrvEll, CrvEll -> BoolElt
IsTwisted(G) : GrpLie -> BoolElt
IsTwisted(R) : RootDtm -> BoolElt
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
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
[____] [____] [_____] [____] [__] [Index] [Root]