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

Subindex: IsUnital  ..  IsZero


IsUnital

   IsUnital(P, U) : Plane, { PlanePt } -> BoolElt

IsUnitary

   IsUnitary(R) : Rng -> BoolElt

IsUnitaryGroup

   IsUnitaryGroup(G) : GrpMat -> BoolElt

IsUnitWithPreimage

   IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt

IsUnivariate

   IsUnivariate(f) : RngMPolElt -> BoolElt, RngUPolElt, RngIntElt
   IsUnivariate(f, i) : RngMPolElt, RngIntElt -> BoolElt, RngUPolElt

IsUnramified

   IsUnramified(p, A) : RngIntElt, AlgQuat[FldRat] -> BoolElt
   IsRamified(p, A) : RngIntElt, AlgQuat[FldRat] -> BoolElt
   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

IsUpperSymmetric

   IsUpperSymmetric(A) : Mtrx -> BoolElt

IsValid

   IsValid(P) : GrpFPHomsProc -> BoolElt
   IsValid(P) : Process(Lix) -> BoolElt

IsVerbose

   IsVerbose(s) : MonStgElt -> BoolElt
   IsVerbose(s, l) : MonStgElt, RngIntElt -> BoolElt

IsVertex

   IsVertex(g,v) : GrphRes,GrphResVert -> BoolElt
   IsVertex(N, p) : NwtnPgon,Tup -> BoolElt

IsVertexLabelled

   IsVertexLabelled(G) : GrphMult -> BoolElt

IsVertexTransitive

   IsVertexTransitive(G) : GrphUnd -> BoolElt
   IsTransitive(G) : GrphUnd -> BoolElt

IsWeaklyAG

   IsWeaklyAG(C) : Code -> BoolElt

IsWeaklyAGDual

   IsWeaklyAGDual(C) : Code -> BoolElt

IsWeaklyConnected

   IsWeaklyConnected(G) : GrphDir -> BoolElt
   IsWeaklyConnected(G) : GrphMultDir -> BoolElt

IsWeaklyEqual

   IsWeaklyEqual(s, t) : RngDiffElt, RngDiffElt -> BoolElt
   IsWeaklyEqual(L, P) : RngDiffOpElt, RngDiffOpElt -> BoolElt
   IsWeaklyEqual(s, t, n) : RngPowLazElt, RngPowLazElt, RngIntElt -> BoolElt
   IsWeaklyEqual(f, g) : RngSerElt, RngSerElt -> BoolElt

IsWeaklyMonic

   IsWeaklyMonic(L) : RngDiffOpElt -> BoolElt

IsWeaklyZero

   IsWeaklyZero(s) : RngDiffElt -> BoolElt
   IsWeaklyZero(L) : RngDiffOpElt -> BoolElt
   IsWeaklyZero(s, n) : RngPowLazElt, RngIntElt -> BoolElt
   IsWeaklyZero(f) : RngSerElt -> BoolElt

IsWeierstrassModel

   IsWeierstrassModel(E) : CrvEll -> BoolElt

IsWeierstrassPlace

   IsWeierstrassPlace(D, P) : DivFunElt, PlcFunElt -> BoolElt
   IsWeierstrassPlace(P) : PlcCrvElt -> BoolElt
   IsWeierstrassPlace(P) : PlcFunElt -> BoolElt

IsWeighted

   IsWeighted(E) : GrphEdgeSet -> BoolElt

IsWildlyRamified

   IsWildlyRamified(K) : FldAlg -> BoolElt
   IsWildlyRamified(O) : RngFunOrd -> BoolElt
   IsWildlyRamified(P) : RngFunOrdIdl -> BoolElt
   IsWildlyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
   IsWildlyRamified(O) : RngOrd -> BoolElt
   IsWildlyRamified(P) : RngOrdIdl -> BoolElt
   IsWildlyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt

IsWreathProduct

   IsWreathProduct(G) : GrpPerm -> BoolElt, GrpPerm, GrpPerm, GrpPerm

IsZero

   IsIdentity(P) : PtEll -> BoolElt
   IsZero(P) : PtEll -> BoolElt
   IsId(P) : PtEll -> BoolElt
   IsZero(x) : AlgAssVOrdElt -> BoolElt
   IsZero(I) : AlgFP -> BoolElt
   IsZero(I) : AlgFr -> BoolElt
   IsZero(A) : AlgGen -> BoolElt
   IsZero(a) : AlgGenElt -> BoolElt
   IsZero(a) : AlgMatElt -> BoolElt
   IsZero(a) : DiffCrvElt -> BoolElt
   IsZero(d) : DiffFunElt -> BoolElt
   IsZero(D) : DivCrvElt -> BoolElt
   IsZero(a) : FldACElt -> BoolElt
   IsZero(P) : JacHypPt -> BoolElt
   IsZero(v) : LatElt -> BoolElt
   IsZero(I) : Map -> BoolElt
   IsZero(f) : MapChn -> BoolElt
   IsZero(phi) : MapModAbVar -> BoolElt
   IsZero(x) : ModAbVarElt -> BoolElt
   IsZero(u) : ModElt -> BoolElt
   IsZero(M) : ModMPol -> ModMPol
   IsZero(M) : ModMPol -> ModMPol
   IsZero(f) : ModMPolElt -> BoolElt
   IsZero(f) : ModMPolElt -> BoolElt
   IsZero(u) : ModRngElt -> BoolElt
   IsZero(u) : ModTupElt -> BoolElt
   IsZero(u) : ModTupRngElt -> BoolElt
   IsZero(u) : ModTupRngElt -> BoolElt
   IsZero(u) : ModTupRngElt -> BoolElt
   IsZero(A) : Mtrx -> BoolElt
   IsZero(A) : MtrxSprs -> BoolElt
   IsZero(p) : PathLS -> BoolElt
   IsZero(s) : RngDiffElt -> BoolElt
   IsZero(L) : RngDiffOpElt -> BoolElt
   IsZero(a) : RngElt -> BoolElt
   IsZero(I) : RngFunOrdIdl -> BoolElt
   IsZero(I) : RngMPol -> BoolElt
   IsZero(I) : RngMPolRes -> BoolElt
   IsZero(I) : RngOrdFracIdl -> BoolElt
   IsZero(a) : RngOrdResElt -> BoolElt
   IsZero(x) : RngPadElt -> BoolElt
   IsZero(s) : RngPowLazElt -> BoolElt


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