[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsSubsequence .. IsUnramified
IsSubsequence(S, T) : SeqEnum, SeqEnum -> BoolElt
IsSubsystem(L,K) : LinSys,LinSys -> BoolElt
K subset L : LinSys,LinSys -> BoolElt
IsSUnit(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt
IsSUnitWithPreimage(a, S) : FldFunElt, SetEnum[PlcFunElt] -> BoolElt, GrpAbElt
IsSupersingular(E: parameters) : CrvEll -> BoolElt
IsSuperSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt
IsSurjective(f) : Map -> [ BoolElt ]
IsSurjective(a) : ModMatRngElt -> BoolElt
IsSurjective(f) : MotMatCpxElt -> BoolElt
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 H47E26)
RngMPol_IsSymmetric (Example H39E12)
IsSymplecticGroup(G) : GrpMat -> 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
IsThick(C) : CosetGeom -> BoolElt
IsThick(D) : IncGeom -> BoolElt
IsThin(C) : CosetGeom -> BoolElt
IsThin(D) : IncGeom -> BoolElt
IsTorsionUnit(w) : RngOrdElt -> BoolElt
IsTotallyRamified(O) : RngFunOrd -> BoolElt
IsTotallyRamified(P) : RngFunOrdIdl -> BoolElt
IsTotallyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> 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
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) : GrphUnd -> BoolElt
IsTrivial(G) : Grp -> BoolElt
IsTrivial(x) : GrpDrchElt -> BoolElt
IsTrivial(G) : GrpPC -> BoolElt
IsTrivial(D) : Inc -> BoolElt
IsTwist(E, F) : CrvEll -> BoolElt
IsUniqueFactorizationDomain(R) : Rng -> BoolElt
IsUFD(R) : Rng -> BoolElt
IsUndirected(G) : Graph -> BoolElt
IsUniform(D) : Inc -> BoolElt, RngIntElt
IsUniqueFactorizationDomain(R) : Rng -> BoolElt
IsUFD(R) : Rng -> BoolElt
IsUniquePartialRoot(f, c) : RngUPolElt, RngSerElt -> 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
IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt
IsUnivariate(f) : RngMPolElt -> BoolElt, RngUPolElt, RngIntElt
IsUnivariate(f, i) : RngMPolElt, RngIntElt -> BoolElt, RngUPolElt
IsUnramified(K) : FldAlg -> BoolElt
IsUnramified(O) : RngFunOrd -> BoolElt
IsUnramified(P) : RngFunOrdIdl -> BoolElt
IsUnramified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsUnramified(O) : RngOrd -> BoolElt
IsUnramified(P) : RngOrdIdl -> BoolElt
IsUnramified(P, O) : RngOrdIdl, RngOrd -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]