Set ** Set -- Cartesian product

Set ** Set -- Cartesian product

X ** Y -- form the Cartesian product of two sets.

Its elements are the sequences (x,y), where x is an element of X, and y is an element of Y.

i1 : set {1,2} ** set {a,b,c}



o1 = Set {(2, b), (1, c), (2, c), (1, a), (2, a), (1, b)}



o1 : Set

See also:

** -- a binary operator, usually used for tensor product

Set -- the class of all sets

Synopsis of use:

Operator: **

Class of argument 1: Set

Class of argument 2: Set

Class of typical returned value: Set

Next more general method: Tally ** Tally -- Cartesian product of tallies

Code:

     -- ../m2/set.m2:45
     Set ** Set := Set => (x,y) -> combine(x,y,identity,(i,j)->i,)