LISTS
Acknowledgements
Introduction
Construction of Lists
Creation of New Lists
Access Functions
Assignment Operator
Iteration
Introduction
Construction of Lists
[* *] : -> List
[* e1, e2, ..., en *] : Elt,.., Elt -> List
Creation of New Lists
S cat T : List, List -> List
S cat:= T : List, List ->
Append(S, x) : List, Elt -> List
Append(~S, x) : List, Elt ->
Insert(~S, i, x) : List, RngIntElt, Any ->
Prune(S) : List -> List
Prune(~S) : List ->
SequenceToList(Q) : SeqEnum -> List
TupleToList(T) : Tup -> List
Reverse(L) : List -> List
Access Functions
# S : List -> RngIntElt
IsEmpty(S) : List -> BoolElt
S[i] : List, RngIntElt -> Elt
S[I] : List, [RngIntElt] -> List
IsDefined(L, i) : List, RngIntElt -> Elt
Assignment Operator
S[i] := x : List, RngIntElt, Elt ->
Iteration
x in L
[Next][Prev] [Right] [____] [Up] [Index] [Root]
|