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

Subindex: IsValid  ..  iteration


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) : Grph -> BoolElt

IsVertexTransitive

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

IsWeaklyAG

   IsWeaklyAG(C) : Code -> BoolElt

IsWeaklyConnected

   IsWeaklyConnected(G) : GrphDir -> BoolElt

IsWeaklyEqual

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

IsWeaklySelfDual

   IsWeaklySelfOrthogonal(C) : Code -> BoolElt
   IsWeaklySelfDual(C) : Code -> BoolElt
   IsWeaklySelfDual(C) : Code -> BoolElt

IsWeaklySelfOrthogonal

   IsWeaklySelfOrthogonal(C) : Code -> BoolElt
   IsWeaklySelfDual(C) : Code -> BoolElt
   IsWeaklySelfDual(C) : Code -> BoolElt

IsWeaklyZero

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

IsWeierstrassModel

   IsWeierstrassModel(E) : CrvEll -> BoolElt

IsWeierstrassPlace

   IsWeierstrassPlace(P) : PlcCrvElt -> BoolElt
   IsWeierstrassPlace(P) : PlcFunElt -> 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

IsZero

   IsIdentity(P) : PtEll -> BoolElt
   IsZero(P) : PtEll -> BoolElt
   IsId(P) : PtEll -> BoolElt
   IsZero(u) : AlgFPElt -> BoolElt
   IsZero(A) : AlgGen -> BoolElt
   IsZero(a) : AlgGenElt -> BoolElt
   IsZero(a) : AlgMatElt -> BoolElt
   IsZero(a) : DiffFunElt -> 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(u) : ModElt -> BoolElt
   IsZero(M) : ModMPol -> ModMPol
   IsZero(f) : ModMPolElt -> BoolElt
   IsZero(u) : ModTupElt -> BoolElt
   IsZero(u) : ModTupElt -> BoolElt
   IsZero(u) : ModTupRngElt -> BoolElt
   IsZero(u) : ModTupRngElt -> BoolElt
   IsZero(f) : MotMatCpxElt -> BoolElt
   IsZero(A) : Mtrx -> BoolElt
   IsZero(A) : MtrxSprs -> 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

IsZeroComplex

   IsZeroComplex(C) : ModCpx -> BoolElt

IsZeroDimensional

   IsZeroDimensional(I) : RngMPol -> BoolElt

IsZeroDivisor

   IsZeroDivisor(a) : AlgGenElt -> BoolElt
   IsZeroDivisor(x) : RngElt -> BoolElt

IsZeroMap

   IsZeroMap(C, n) : ModCpx, RngIntElt -> BoolElt

IsZeroTerm

   IsZeroTerm(C, n) : ModCpx, RngIntElt -> BoolElt

iteration

   Iteration (OVERVIEW)
   Iteration (SEQUENCES)
   Iteration (STATEMENTS AND EXPRESSIONS)
   Iterative Statements (STATEMENTS AND EXPRESSIONS)
   Recursion, Reduction, and Iteration (SEQUENCES)
   Reduction and Iteration over Sets (SETS)


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