Cartesian Product Constructor and Functions
car< R_1, ..., R_k > : Str, ..., Str -> SetCart
CartesianProduct(R, S) : Str, ..., 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 Tup_CartesianProduct (H9E1)
Creating and Modifying Tuples
elt< C | a_1, a_2, ..., a_k > : SetCart, Elt, ..., Elt -> Tup
< a_1, a_2, ..., 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 Tup_Tuple (H9E2)
Tuple Access Functions
Parent(T) : Tup -> SetCart
# T : Tup -> RngIntElt
T[i] : Tup -> Elt
Explode(T) : Tup -> t1, t2, ...
TupleToList(T) : Tup -> List
Example Tup_TupleAccess (H9E3)
Equality
T eq U : Tup, Tup -> BoolElt
T ne U : Tup, Tup -> BoolElt