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]
