Set ++ Set -- disjoint union of sets

Set ++ Set -- disjoint union of sets

Synopsis:

Operator: ++ -- a binary operator, usually used for direct sum

Input:

an instance of class Set.

Output:

an instance of class Set.

i1 : set {a,b,c} ++ set {b,c,d}



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



o1 : Set

Code:

     -- ../../../Macaulay2/m2/set.m2:44
     Set ++ Set := Set => (x,y) -> applyKeys(x,i->(0,i)) + applyKeys(y,j->(1,j))