Tuples and Cartesian Products
- Introduction
- Cartesian Product Constructor and Functions
car< R₁, ..., Rₖ >: Str, ..., Str → SetCartCartesianProduct(R, S): Str, ..., Str → SetCartCartesianProduct(L): [Str] → SetCartCartesianProduct(L): <Str> → SetCartCartesianPower(R, k): Str, RngIntElt → SetCartFlat(C): SetCart → SetCartNumberOfComponents(C): SetCart → RngIntEltComponent(C, i): SetCart, RngIntElt → StrC[i]: SetCart, RngIntElt → StrComponents(C): SetCart → List# C: SetCart → RngIntEltRep(C): SetCart → EltRandom(C): SetCart → Elt- Example: Cartesian Product of Q and Z
- Creating and Modifying Tuples
elt< C | a₁, a₂, ..., aₖ >: SetCart, Elt, ..., Elt → TupC ! < a₁, a₂, ..., aₖ >: SetCart, Elt, ..., Elt → Tup< a₁, a₂, ..., aₖ >: Elt, ..., Elt → TupAppend(T, x): Tup, Elt → TupAppend(~T, x): Tup, EltPrune(T): Tup → TupPrune(~T): TupFlat(T): Tup → Tup- Example: Pairs of Primes and Reciprocals
- Tuple Access Functions
- Equality
- Iteration
- Other Operations