Set ** Set -- Cartesian product

Set ** Set -- Cartesian product

Synopsis:

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

Input:

an instance of class Set.

Output:

an instance of class Set.

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

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 {(1, a), (2, a), (1, b), (2, b), (1, c), (2, c)}



o1 : Set

See also:

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

Set -- the class of all sets

Code:

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