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

TUPLES AND CARTESIAN PRODUCTS

 
Acknowledgements
 
Introduction
 
Cartesian Product Constructor and Functions
 
Creating and Modifying Tuples
 
Tuple Access Functions
 
Equality
 
Other operations







DETAILS

 
Introduction

 
Cartesian Product Constructor and Functions
      car< R1, ..., Rk > : 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
      # C : SetCart -> RngIntElt
      Rep(C) : SetCart -> Elt
      Random(C) : SetCart -> Elt
      Example Tuple_CartesianProduct (H11E1)

 
Creating and Modifying Tuples
      elt< C | a1, a2, ..., ak > : SetCart, Elt, ..., Elt -> Tup
      < a1, a2, ..., ak > : 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 (H11E2)

 
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 (H11E3)

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

 
Other operations
      &* T : Tup -> Any

[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of Mon Dec 17 14:40:36 EST 2012