Union

From APL Wiki
Jump to navigation Jump to search
∪

Union (∪) is a dyadic set function which computes the set union of the two vector arguments.

Examples

Both arguments of Intersection is usually restricted to vectors. Unlike sets in the mathematical sense, duplicate elements are allowed in both sides, and Union is usually implemented as "left argument unchanged, plus the elements of right argument not in the left argument" X,(~Y∊X)/Y. This preserves the order and multiplicity in both arguments, the left one taking precedence. Both arguments can be nested arrays. 

      'WASH' ∪ 'SHOUT'
WASHOUT
      1 2 3 1 2 3 1 2 3∪5 4 3 2 5 4 3 2
1 2 3 1 2 3 1 2 3 5 4 5 4
      'THIS' 'THAT' 'THE' 'OTHER'∪'OTHER' 'THAN' 'THIS' 'AND' 'THAT'
┌────┬────┬───┬─────┬────┬───┐
│THIS│THAT│THE│OTHER│THAN│AND│
└────┴────┴───┴─────┴────┴───┘

Extension

Some dialects allow Union to work on major cells:

Try it online!

      X←4 2⍴'AABBCCCC'
      Y←3 2⍴'AADDAA'
      X∩Y
AA
BB
CC
CC
DD
Works in: Extended Dyalog APL

Others can easily define such a function:

Try it online!

      X←4 2⍴'AABBCCCC'
      Y←3 2⍴'AADDAA'
      Union←{⍺⍪⍵⌿⍨(≢⍺)<⍺⍳⍵}
      X Union Y
AA
BB
CC
CC
DD
Works in: Dyalog APL

External Links

Documentation


APL built-ins [edit]
Primitives (Timeline) Functions
Scalar
Monadic Conjugate ∙ Negate ∙ Signum ∙ Reciprocal ∙ Magnitude ∙ Exponential ∙ Natural Logarithm ∙ Floor ∙ Ceiling ∙ Factorial ∙ Not ∙ Pi Times ∙ Roll ∙ Type ∙ Imaginary ∙ Square Root ∙ Round
Dyadic Add ∙ Subtract ∙ Times ∙ Divide ∙ Residue ∙ Power ∙ Logarithm ∙ Minimum ∙ Maximum ∙ Binomial ∙ Comparison functions ∙ Boolean functions (And, Or, Nand, Nor) ∙ GCD ∙ LCM ∙ Circular ∙ Complex ∙ Root
Non-Scalar
Structural Shape ∙ Reshape ∙ Tally ∙ Depth ∙ Ravel ∙ Enlist ∙ Table ∙ Catenate ∙ Reverse ∙ Rotate ∙ Transpose ∙ Raze ∙ Mix ∙ Split ∙ Enclose ∙ Nest ∙ Cut (K) ∙ Pair ∙ Link ∙ Partitioned Enclose ∙ Partition
Selection First ∙ Pick ∙ Take ∙ Drop ∙ Unique ∙ Identity ∙ Stop ∙ Select ∙ Replicate ∙ Expand ∙ Set functions (Intersection ∙ Union ∙ Without) ∙ Bracket indexing ∙ Index ∙ Cartesian Product ∙ Sort
Selector Index generator ∙ Grade ∙ Index Of ∙ Interval Index ∙ Indices ∙ Deal ∙ Prefix and suffix vectors
Computational Match ∙ Not Match ∙ Membership ∙ Find ∙ Nub Sieve ∙ Encode ∙ Decode ∙ Matrix Inverse ∙ Matrix Divide ∙ Format ∙ Execute ∙ Materialise ∙ Range
Operators Monadic Each ∙ Commute ∙ Constant ∙ Replicate ∙ Expand ∙ Reduce ∙ Windowed Reduce ∙ Scan ∙ Outer Product ∙ Key ∙ I-Beam ∙ Spawn ∙ Function axis ∙ Identity (Null, Ident)
Dyadic Bind ∙ Compositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner Product ∙ Determinant ∙ Power ∙ At ∙ Under ∙ Rank ∙ Depth ∙ Variant ∙ Stencil ∙ Cut ∙ Direct definition (operator) ∙ Identity (Lev, Dex)
Quad names Index origin ∙ Comparison tolerance ∙ Migration level ∙ Atomic vector
Retrieved from ‘https://aplwiki.com/index.php?title=Union&oldid=10623’