[Next][Prev] [Right] [Left] [Up] [Index] [Root]

LISTS

 
Acknowledgements
 
Introduction
 
Construction of Lists
 
Creation of New Lists
 
Access Functions
 
Assignment Operator







DETAILS

 
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 ->

[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of Wed Apr 24 15:09:57 EST 2013