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