[____] [____] [_____] [____] [__] [Index] [Root]

Subindex: IsParabolicSubgroup  ..  IsPrimeField


IsParabolicSubgroup

   IsParabolicSubgroup(W, H) : GrpPermCox, GrpPermCox -> BoolElt

IsParallel

   IsParallel(P, l, m) : Plane, PlaneLn, PlaneLn -> BoolElt

IsParallelClass

   IsParallelClass(D, B, C) : Inc, IncBlk, IncBlk -> BoolElt, { IncBlk }

IsParallelism

   IsParallelism(D, P) : Inc, SetEnum[SetEnum] -> BoolElt, RngIntElt

IsPartialRoot

   IsPartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt

IsPartition

   IsPartition(S) : SeqEnum -> BoolElt

IsPartitionRefined

   IsPartitionRefined(G: parameters) : Grph -> BoolElt

IsPath

   IsPath(G) : Grph -> BoolElt

IsPathTree

   IsPathTree(B) : AlgBas -> Bool

IsPerfect

   IsPerfect(C) : Code -> BoolElt
   IsPerfect(C) : Code -> BoolElt
   IsPerfect(F) : Fld -> BoolElt
   IsPerfect(G) : GrpFin -> BoolElt
   IsPerfect(G) : GrpFP -> BoolElt
   IsPerfect(G) : GrpGPC -> BoolElt
   IsPerfect(G) : GrpMat -> BoolElt
   IsPerfect(G) : GrpPC -> BoolElt
   IsPerfect(G) : GrpPerm -> BoolElt

IsPermutationModule

   IsPermutationModule(M) : ModRng -> BoolElt

IspGroup

   IspGroup(G) : GrpAb -> BoolElt

IsPID

   IsPrincipalIdealDomain(R) : Rng -> BoolElt
   IsPID(R) : Rng -> BoolElt

IspIntegral

   IspIntegral(C, p) : CrvHyp, RngIntElt -> BoolElt

IsPIR

   IsPrincipalIdealRing(R) : Rng -> BoolElt
   IsPIR(R) : Rng -> BoolElt

IsPlanar

   IsPlanar(G) : GrphMultUnd -> BoolElt, GrphMultUnd
   IsPlanar(G) : GrphUnd -> BoolElt, GrphUnd
   IsPlanar(X) : Sch -> BoolElt

IsPlaneCurve

   IsPlaneCurve(X) : Sch -> BoolElt, CrvPln

IspLieAlgebra

   IsRestricted(L) : AlgLie -> BoolElt, Map
   IspLieAlgebra(L) : AlgLie -> BoolElt, Map
   IsRestrictable(L) : AlgLie -> BoolElt, Map

IspMaximal

   IspMaximal(O, p) : AlgAssVOrd, RngOrdIdl -> BoolElt

IspMinimal

   IspMinimal(C, p) : CrvHyp, RngIntElt -> BoolElt, BoolElt

IspNormal

   IspNormal(C, p) : CrvHyp, RngIntElt -> BoolElt

IsPoint

   IsPoint(C, S) : CrvHyp, SeqEnum -> BoolElt, PtHyp
   IsPoint(N,p) : NwtnPgon,Tup -> BoolElt
   IsPoint(H, x) : SetPtEll, RngElt -> BoolElt, PtEll
   IsPoint(H, S) : SetPtEll, [ RngElt ] -> BoolElt, PtEll
   IsPoint(K, S) : SrfKum, [RngElt] -> BoolElt, SrfKumPt

IsPointRegular

   IsPointRegular(D) : IncNsp -> BoolElt, RngIntElt

IsPointTransitive

   IsPointTransitive(D) : Inc -> BoolElt
   IsPointTransitive(P) : Plane -> BoolElt

IsPolarSpace

   IsPolarSpace(V) : ModTupFld -> BoolElt

IsPolycyclic

   IsPolycyclic(G : parameters) : GrpMat -> BoolElt

IsPolycyclicByFinite

   IsPolycyclicByFinite(G : parameters) : GrpMat -> BoolElt

IsPolygon

   IsPolygon(G) : Grph -> BoolElt

IsPolynomial

   IsPolynomial(s) : RngPowAlgElt -> BoolElt, RngMPolElt
   IsRegular(f) : MapSch -> BoolElt

IsPositive

   IsPositive(D) : DivCrvElt -> BoolElt
   IsEffective(D) : DivCrvElt -> BoolElt
   IsPositive(W, r) : GrpPermCox, RngIntElt -> BoolElt
   IsPositive(R, r) : RootStr, RngIntElt -> BoolElt
   IsPositive(R, r) : RootSys, RngIntElt -> BoolElt

IsPositiveDefinite

   IsPositiveDefinite(F) : ModMatRngElt -> BoolElt

IsPositiveSemiDefinite

   IsPositiveSemiDefinite(F) : ModMatRngElt -> BoolElt

IsPower

   IsPower(a, n) : FldACElt, RngIntElt -> BoolElt, FldACElt
   IsPower(a, k) : FldAlgElt, RngIntElt -> BoolElt, FldAlgElt
   IsPower(a, n) : FldFinElt, RngIntElt -> BoolElt, FldFinElt
   IsPower(a, k) : FldNumElt, RngIntElt -> BoolElt, FldNumElt
   IsPower(I, n) : RngFunOrdIdl, RngIntElt -> BoolElt, RngFunOrdIdl
   IsPower(n) : RngIntElt -> BoolElt
   IsPower(n, k) : RngIntElt -> BoolElt
   IsPower(w, n) : RngOrdElt, RngIntElt -> BoolElt, RngOrdElt
   IsPower(I, k) : RngOrdFracIdl, RngIntElt -> BoolElt, RngOrdFracIdl
   IsPower(x, n) : RngPadElt, RngIntElt -> BoolElt, RngPadElt

IsPRI

   IsPRI(C) : CosetGeom -> BoolElt
   IsPrimitive(C) : CosetGeom -> BoolElt

IsPrimary

   IsPrimary(I) : RngMPol -> BoolElt
   IsPrimary(I) : RngMPolRes -> BoolElt

IsPrime

   IsPrime(D) : DivSchElt -> 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 H18E4)

IsPrimeCertificate

   IsPrimeCertificate(cert) : List -> BoolElt
   PrimalityCertificate(n) : RngIntElt -> List

IsPrimeField

   IsPrimeField(F) : Fld -> BoolElt

[____] [____] [_____] [____] [__] [Index] [Root]

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013