Introduction

 
Cartesian Product Constructor and Functions
      car< R₁, ..., R_k > : Str, ..., Str -> SetCart
      CartesianProduct(R, S) : Str, ..., Str -> SetCart
      CartesianProduct(L) : [Str] -> SetCart
      CartesianPower(R, k) : Str, RngIntElt -> SetCart
      Flat(C) : SetCart -> SetCart
      NumberOfComponents(C) : SetCart -> RngIntElt
      Component(C, i) : SetCart, RngIntElt -> Str
      Components(C) : SetCart -> List
      # C : SetCart -> RngIntElt
      Rep(C) : SetCart -> Elt
      Random(C) : SetCart -> Elt
      Example Tuple_CartesianProduct (H12E1)

 
Creating and Modifying Tuples
      elt< C | a₁, a₂, ..., a_k > : SetCart, Elt, ..., Elt -> Tup
      < a₁, a₂, ..., a_k > : Elt, ..., Elt -> Tup
      Append(T, x) : Tup, Elt -> Tup
      Append(~T, x) : Tup, Elt ->
      Prune(T) : Tup -> Tup
      Prune(~T) : Tup ->
      Flat(T) : Tup -> Tup
      Example Tuple_Tuple (H12E2)

 
Tuple Access Functions
      Parent(T) : Tup -> SetCart
      # T : Tup -> RngIntElt
      T[i] : Tup -> Elt
      Explode(T) : Tup -> t1, t2, ...
      TupleToList(T) : Tup -> List
      Example Tuple_TupleAccess (H12E3)

 
Equality
      T eq U : Tup, Tup -> BoolElt
      T ne U : Tup, Tup -> BoolElt

 
Iteration
      x in T

 
Other Operations
      IsEmpty(T) : Tup -> BoolElt
      &* T : Tup -> Any

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