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

Subindex: assert  ..  assignment


assert

   assert2 boolexpr;
   assert3 boolexpr;
   assert boolexpr;

assert2

   assert2 boolexpr;
   assert3 boolexpr;
   assert boolexpr;

assert3

   assert2 boolexpr;
   assert3 boolexpr;
   assert boolexpr;

AssertAttribute

   AssertAttribute(x, "IsCharacter", b) : AlgChtrElt, MonStgElt, BoolElt ->
   AssertAttribute(FldFin, "PowerPrinting", l) : Cat, MonStgElt, BoolElt ->
   AssertAttribute(GrpMat, "FirstBasicOrbitBound", n) : Cat, MonStgElt, RngIntElt ->
   AssertAttribute(RngInt, "CunninghamStorageLimit", l) : Cat, MonStgElt, RngIntElt ->
   AssertAttribute(G, "IsVerified", b) : GrpMat, MonStgElt, BoolElt ->
   AssertAttribute(G, "Order", n) : GrpMat, MonStgElt, RngIntElt ->
   AssertAttribute(G, "Classes", Q) : GrpMat, MonStgElt, SeqEnum ->
   AssertAttribute(G, "Base", B) : GrpMat, MonStgElt, Tup ->
   [Future release] AssertAttribute(G, "BSGS", S) : GrpPerm, MonStgElt, GrpPermBSGS ->
   AssertAttribute(G, "Order", n) : GrpPerm, MonStgElt, RngIntElt ->
   AssertAttribute(G, "Classes", Q) : GrpPerm, MonStgElt, SeqEnum ->
   AssertAttribute(G, "Order", Q) : GrpPerm, MonStgElt, [<RngIntElt, RngIntElt>] ->
   AssertAttribute(S, "DefaultPrecision", n) : RngSer, MonStgElt, RngIntElt ->
   HasAttribute(A, s) : GrpAuto, MonStgElt -> BoolElt, .
   SetPowerPrinting(F, l) : FldFin, BoolElt ->

AssertEmbedding

   AssertEmbedding(~A, phi) : ModAbVar, MapModAbVar ->

Assertions

   GetAssertions() : -> RngIntElt
   SetAssertions(b) : RngIntElt ->

Assign

   AssignCapacities(~G, D) : GrphMult, [RngIntElt] ->
   AssignWeights(~G, D) : GrphMult, [RngElt] ->
   AssignEdgeLabels(~G, D) : GrphMult, SeqEnum ->
   AssignLDPCMatrix(~C, H) : Code, MtrxSprs ->
   AssignLabel(~G, e, l) : GrphMult, GrphEdge, . ->
   AssignLabel(~G, u, l) : GrphMult, GrphVert, . ->
   AssignLabels(~G, S, D) : GrphMult, [GrphEdge], SeqEnum ->
   AssignLabels(~G, S, L) : GrphMult, [GrphVert], SeqEnum ->
   AssignNamePrefix(A, S) : FldAC, MonStgElt ->
   AssignNames(~F, s) : AlgFr, [ MonStgElt ]) ->
   AssignNames(U, S) : AlgPBW, [ MonStgElt ] ->
   AssignNames(~U, Q) : AlgPBW, [ MonStgElt ] ->
   AssignNames(~A, S) : AlgQuat, [MonStgElt] ->
   AssignNames(~D, s) : DivFunElt, [ MonStgElt ] ->
   AssignNames(~C, [s]) : FldCom, [ MonStgElt ]) ->
   AssignNames(~F, [f]) : FldFin, [ MonStgElt ]) ->
   AssignNames(~F, s) : FldFun, [ MonStgElt ] ->
   AssignNames(~F, s) : FldFunRat, [ MonStgElt ]) ->
   AssignNames(~K, s) : FldNum, [ MonStgElt ] ->
   AssignNames(~K, s) : FldNum, [ MonStgElt ] ->
   AssignNames(~F, s) : FldOrd, [ MonStgElt ] ->
   AssignNames(~F, [s]) : FldQuad, [ MonStgElt ]) ->
   AssignNames(~G, S) : GrpDrch, [MonStgElt] ->
   AssignNames(~P, s) : PlcFunElt, [ MonStgElt ] ->
   AssignNames(~C, S) : RngCox, [MonStgElt] ->
   AssignNames(~R, S) : RngDiff, [MonStgElt] ->
   AssignNames(~R, S) : RngDiffOp, [MonStgElt] ->
   AssignNames(~F, S) : RngFrac, [MonStgElt] ->
   AssignNames(~R, [f]) : RngGal, [ MonStgElt ]) ->
   AssignNames(~L, S) : RngLocA, SeqEnum[MonStgElt] ->
   AssignNames(~P, s) : RngMPol, [ MonStgElt ]) ->
   AssignNames(~L, S) : RngPad, SeqEnum ->
   AssignNames(~R, S) : RngPowLaz, [MonStgElt] ->
   AssignNames(~S, ["x"]) : RngSer, [ MonStgElt ] ->
   AssignNames(~E, S) : RngSerExt, [ MonStgElt ] ->
   AssignNames(~P, s) : RngUPol, [ MonStgElt ]) ->
   AssignNames(~X,N) : Sch,SeqEnum ->
   AssignNames(~A,N) : Sch,[MonStgElt] ->
   AssignNames(~S, [s1, ... sn] ) : Str, [ MonStgElt ] ->
   AssignVertexLabels(~G, L) : GrphMult, SeqEnum ->

AssignCapacities

   AssignCapacities(~G, D) : GrphMult, [RngIntElt] ->
   AssignWeights(~G, D) : GrphMult, [RngElt] ->
   AssignEdgeLabels(~G, D) : GrphMult, SeqEnum ->
   AssignLabels(~G, S, D) : GrphMult, [GrphEdge], SeqEnum ->

AssignCapacity

   AssignCapacity(~G, e, c) : GrphMult, GrphEdge, RngIntElt ->
   AssignWeight(~G, e, w) : GrphMult, GrphEdge, RngElt ->
   AssignLabel(~G, e, l) : GrphMult, GrphEdge, . ->

assigned

   assigned r`fieldname : Rec, Fieldname -> BoolElt
   assigned S`fieldname : Str, Fieldname -> BoolElt
   assigned x : Var -> BoolElt

AssignEdgeLabels

   AssignCapacities(~G, D) : GrphMult, [RngIntElt] ->
   AssignWeights(~G, D) : GrphMult, [RngElt] ->
   AssignEdgeLabels(~G, D) : GrphMult, SeqEnum ->

assigning

   AssignCapacities(~G, D) : GrphMult, [RngIntElt] ->
   AssignWeights(~G, D) : GrphMult, [RngElt] ->
   Assigning Edge Decorations (MULTIGRAPHS)

AssignLabel

   AssignCapacity(~G, e, c) : GrphMult, GrphEdge, RngIntElt ->
   AssignWeight(~G, e, w) : GrphMult, GrphEdge, RngElt ->
   AssignLabel(~G, e, l) : GrphMult, GrphEdge, . ->
   AssignLabel(~G, u, l) : GrphMult, GrphVert, . ->

AssignLabels

   AssignCapacities(~G, S, D) : GrphMult, [GrphEdge], [RngIntElt] ->
   AssignWeights(~G, S, D) : GrphMult, [GrphEdge], [RngElt] ->
   AssignLabels(~G, S, D) : GrphMult, [GrphEdge], SeqEnum ->
   AssignLabels(~G, S, L) : GrphMult, [GrphVert], SeqEnum ->

AssignLDPCMatrix

   AssignLDPCMatrix(~C, H) : Code, MtrxSprs ->

assignment

   Assignment (MAGMA SEMANTICS)
   Assignment (STATEMENTS AND EXPRESSIONS)
   Assignment Operator (LISTS)
   Function Values Assigned to Identifiers (MAGMA SEMANTICS)
   Generator Assignment (STATEMENTS AND EXPRESSIONS)
   Indexed Assignment (STATEMENTS AND EXPRESSIONS)
   Simple Assignment (STATEMENTS AND EXPRESSIONS)

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

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