[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: IsPrimary .. IsReflectionGroup
IsPrimary(I) : RngMPol -> BoolElt
IsPrimary(I) : RngMPolRes -> BoolElt
IsPrime(x) : RngElt -> BoolElt
IsPrime(I) : RngFunOrdIdl -> BoolElt
IsPrime(n) : RngIntElt -> BoolElt
IsPrime(n) : RngIntElt -> BoolElt
IsPrime(I) : RngMPol -> BoolElt
IsPrime(I) : RngMPolRes -> BoolElt
IsPrime(I) : RngOrdIdl -> BoolElt, RngOrdIdl
RngInt_IsPrime (Example H35E3)
IsPrimePower(n) : RngIntElt -> BoolElt, RngIntElt, RngIntElt
IsPrimitive(a) : FldAlgElt -> BoolElt
IsPrimitive(a) : FldFinElt -> BoolElt
IsPrimitive(G) : GrphUnd -> BoolElt
IsPrimitive(G) : GrpPerm -> BoolElt
IsPrimitive(G, Y) : GrpPerm, GSet -> BoolElt
IsPrimitive(G: parameters) : GrpMat -> BoolElt
IsPrimitive(n, m) : RngIntElt, RngIntElt -> BoolElt
IsPrimitive(n) : RngIntResElt -> BoolElt
IsPrimitive(f) : RngUPolElt -> BoolElt
GrpMat_IsPrimitive (Example H18E31)
IsPrincipal(D) : DivCrvElt -> BoolElt,FldFunRatMElt
IsPrincipal(I) : RngFunOrdIdl -> BoolElt, FldFunElt
IsPrincipal(I) : RngMPol -> BoolElt, RngMPolElt
IsPrincipal(I) : RngOrdFracIdl -> BoolElt, FldOrdElt
IsPrincipalIdealDomain(R) : Rng -> BoolElt
IsPID(R) : Rng -> BoolElt
IsPrincipalIdealRing(R) : Rng -> BoolElt
IsPIR(R) : Rng -> BoolElt
IsPrincipalIdealRing(F) : FldAlg -> BoolElt
IsPrincipalIdealRing(O) : RngOrd -> BoolElt
IsProbablyPrime(n: parameter) : RngIntElt -> BoolElt
IsProbablePrime(n: parameter) : RngIntElt -> BoolElt
IsProbablyMaximal(G, H: parameters) : GrpPerm, GrpPerm -> BoolElt
IsProbablyPermutationPolynomial(p) : RngUPolElt -> BoolElt
IsProbablyPrime(n: parameter) : RngIntElt -> BoolElt
IsProbablePrime(n: parameter) : RngIntElt -> BoolElt
IsProbablySupersingular(E) : CrvEll -> BoolElt
Random(B, r, s, m, n: parameters) : GrpBrd, RngIntElt, RngIntElt, RngIntElt, RngIntElt -> GrpBrdElt
RandomCFP(B, r, s, m, n: parameters) : GrpBrd, RngIntElt, RngIntElt -> GrpBrdElt
IsProductOfParallelDescendingCycles(p) : GrpPermElt -> BoolElt
IsProjective(C) : Code -> BoolElt
IsProjective(M) : ModAlg -> BoolElt, SeqEnum
IsProjective(X) : Sch -> BoolElt
IsProjectiveSpace(X) : Sch -> 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
Isqrt(n) : RngIntElt -> RngIntElt
IsQuadratic(K) : FldNum -> BoolElt, FldQuad
IsQuadraticTwist(E, F) : CrvEll -> BoolElt, RngElt
IsQuadraticTwist(C1, C2) : CrvHyp, CrvHyp -> BoolElt, RngElt
IsRadical(I) : RngMPol -> BoolElt
IsRadical(I) : RngMPolRes -> BoolElt
IsRamified(P) : RngFunOrdIdl -> BoolElt
IsRamified(P, O) : RngFunOrdIdl, RngFunOrd -> 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(C) : CosetGeom -> BoolElt
IsResiduallyConnected(C) : CosetGeom -> BoolElt
IsResiduallyConnected(D) : IncGeom -> BoolElt
IsReal(x) : AlgChtrElt -> BoolElt
IsReal(c) : FldComElt -> BoolElt
IsReal(a) : FldCycElt -> 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(C) : Sch -> BoolElt
IsReduced(X) : Sch -> BoolElt
IsReductive(L) : AlgLie -> BoolElt
IsReflection( R ) : AlgMatElt -> BoolElt, ModTupRngElt, ModTupRngElt
IsReflection( w ) : GrpCoxElt -> BoolElt, ., ., RngInt
IsReflection( w ) : GrpPermCoxElt -> BoolElt, ., ., RngInt
IsReflectionGroup( G ) : GrpMat -> BoolElt, [RngIntElt], Mtrx, Mtrx
IsReflectionGroup( G ) : GrpMat -> BoolElt, [RngIntElt], [ModTupRngElt], [ModTupRngElt]
GrpRfl_IsReflectionGroup (Example H85E16)
[____] [____] [_____] [____] [__] [Index] [Root]