Lists

• Introduction
• Construction of Lists
  • [* *] → List
  • [* e₁, e₂, ..., eₙ *]: 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
  • Insert(S, i, x): List, RngIntElt, Any → List
  • Prune(S): List → List
  • Prune(~S): List
  • SequenceToList(Q): SeqEnum → List
  • Seqlist(Q): SeqEnum → List
  • TupleToList(T): Tup → List
  • Tuplist(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
  • i -> x in L