[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsProjectivelyIrreducible .. IsRing
IsProjectivelyIrreducible(R) : RootStr -> BoolElt
IsProjectivelyIrreducible(R) : RootSys -> BoolElt
IsProper(I) : AlgFP -> BoolElt
IsProper(I) : RngMPol -> BoolElt
IsProper(I) : RngMPolRes -> BoolElt
IsProperChainMap(f) : MapChn -> BoolElt
IsProportional(X, k) : Mtrx, RngIntElt -> BoolElt, Tup
IsPseudoreflection(R) : AlgMatElt -> BoolElt, ModTupRngElt, ModTupRngElt, RngIntElt
IsPure(Q) : CodeQuantum -> BoolElt
Isqrt(n) : RngIntElt -> RngIntElt
IsQuadratic(K) : FldAlg -> BoolElt, FldQuad
IsQuadratic(K) : FldNum -> BoolElt, FldQuad
IsQuadraticTwist(E, F) : CrvEll, CrvEll -> BoolElt, RngElt
IsQuadraticTwist(C, D) : CrvHyp, CrvHyp -> BoolElt, RngElt
IsQuadricIntersection(C) : Crv -> BoolElt, [AlgMatElt]
IsQuasisplit(R) : RootDtm -> BoolElt
IsQuaternionAlgebra(A) : AlgAss -> BoolElt, AlgQuat, Map
IsQuaternionic(A) : ModAbVar -> BoolElt
IsRadical(I) : RngMPol -> BoolElt
IsRadical(I) : RngMPolRes -> BoolElt
IsRamified(P) : RngFunOrdIdl -> BoolElt
IsRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsRamified(p, A) : RngIntElt, AlgQuat[FldRat] -> BoolElt
IsRamified(P) : RngOrdIdl -> BoolElt
IsRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsRationalCurve(C) : Sch -> BoolElt, CrvRat
IsRationalCurve(X) : Sch -> BoolElt,CrvRat
IsRationalFunctionField(F) : FldFunG -> BoolElt
IsRC(X) : IncGeom -> BoolElt
IsResiduallyConnected(X) : IncGeom -> BoolElt
IsReal(x) : AlgChtrElt -> BoolElt
IsReal(c) : FldComElt -> BoolElt
IsReal(a) : FldCycElt -> BoolElt
IsReal(p) : PlcNumElt -> BoolElt
IsRealisableOverSmallerField(M) : ModGrp -> BoolElt, ModGrp
IsRealisableOverSubfield(M, F) : ModGrp, FldFin -> BoolElt, ModGrp
IsRealReflectionGroup(G) : GrpMat -> BoolElt, [], []
IsReduced(s) : GrphSpl -> BoolElt
IsReduced(p) : Pt -> BoolElt
IsReduced(f) : QuadBinElt -> BoolElt
IsReduced(R) : RootDtm -> BoolElt
IsReduced(R) : RootStr -> BoolElt
IsReduced(R) : RootSys -> BoolElt
IsReduced(C) : Sch -> BoolElt
IsReduced(X) : Sch -> BoolElt
IsReductive(L) : AlgLie -> BoolElt
IsReflection(R) : AlgMatElt -> BoolElt, ModTupRngElt, ModTupRngElt
IsReflection(w) : GrpFPElt -> BoolElt, ., ., RngInt
IsReflection(w) : GrpPermElt -> BoolElt, ., ., RngInt
IsReflectionGroup(G) : GrpMat -> BoolElt, [RngIntElt], Mtrx, Mtrx
IsReflectionGroup(G) : GrpMat -> BoolElt, [RngIntElt], [ModTupRngElt], [ModTupRngElt]
GrpRfl_IsReflectionGroup (Example H88E16)
IsReflectionSubgroup(W, H) : GrpPermCox, GrpPermCox -> BoolElt
IsRegular(a) : AlgGenElt -> BoolElt
IsRegular(G) : Grph -> BoolElt
IsRegular(G) : GrphMult -> BoolElt
IsRegular(s) : GrphSpl -> BoolElt
IsRegular(G, Y) : GrpPerm, GSet -> BoolElt
IsRegular(f) : MapSch -> BoolElt
IsRegularLDPC(C) : Code -> BoolElt
IsRegularPlace(L, p) : RngDiffOpElt, PlcFunElt -> BoolElt
IsRegularSingularOperator(L) : RngDiffOpElt -> BoolElt, SetEnum
IsRegularSingularPlace(L, p) : RngDiffOpElt, PlcFunElt -> BoolElt
IsRC(X) : IncGeom -> BoolElt
IsResiduallyConnected(X) : IncGeom -> BoolElt
IsResolution(D, P) : Inc, SetEnum[SetEnum] -> BoolElt, RngIntElt
IsRestricted(L) : AlgLie -> BoolElt, Map
IspLieAlgebra(L) : AlgLie -> BoolElt, Map
IsRestrictable(L) : AlgLie -> BoolElt, Map
IsRestricted(L) : AlgLie -> BoolElt, Map
IspLieAlgebra(L) : AlgLie -> BoolElt, Map
IsRestrictable(L) : AlgLie -> BoolElt, Map
AlgLie_IsRestricted (Example H90E24)
IsRestrictedSubalgebra(L, M) : AlgLie, AlgLie -> AlgLie
IsReverseLatticeWord(w) : MonOrdElt -> BoolElt
IsRightIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsTwoSidedIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsLeftIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsRightIdeal(S) : AlgGrpSub -> BoolElt
IsRightIsomorphic(I, J) : AlgAssVOrdIdl[RngOrd], AlgAssVOrdIdl[RngOrd] -> BoolElt, AlgQuatElt
IsLeftIsomorphic(I, J) : AlgAssVOrdIdl[RngOrd], AlgAssVOrdIdl[RngOrd] -> BoolElt, AlgQuatElt
IsLeftIsomorphic(I, J) : AlgQuatOrdIdl, AlgQuatOrdIdl -> BoolElt, Map, AlgQuatElt
IsRightModule(M): ModAlg -> BoolElt
IsRing(H) : HomModAbVar -> BoolElt
[____] [____] [_____] [____] [__] [Index] [Root]