Intersection: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
m (Text replacement - "http://help.dyalog.com" to "https://help.dyalog.com")
m (Text replacement - "<source" to "<syntaxhighlight")
Line 3: Line 3:
== Examples ==
== Examples ==


Both arguments of Intersection is usually restricted to [[vector|vectors]]. Unlike sets in the mathematical sense, duplicate elements are allowed in both sides, and Intersection is usually implemented as "left argument [[replicate|filtered]] by its [[membership|existence]] in the right argument" <source lang=apl inline>(X∊Y)/X</source>, which preserves the order and multiplicity in the left argument. Both arguments can be [[nested array|nested arrays]].
Both arguments of Intersection is usually restricted to [[vector|vectors]]. Unlike sets in the mathematical sense, duplicate elements are allowed in both sides, and Intersection is usually implemented as "left argument [[replicate|filtered]] by its [[membership|existence]] in the right argument" <syntaxhighlight lang=apl inline>(X∊Y)/X</source>, which preserves the order and multiplicity in the left argument. Both arguments can be [[nested array|nested arrays]].


<source lang=apl>
<syntaxhighlight lang=apl>
       'ABRA'∩'CAR'
       'ABRA'∩'CAR'
ARA
ARA
Line 21: Line 21:
== Extension ==
== Extension ==
Some dialects allow Intersection to work on [[major cell]]s:
Some dialects allow Intersection to work on [[major cell]]s:
[https://tio.run/##SyzI0U2pTMzJT9dNrShJzUtJTfn/P@JR2wQTBaNHvVvUHR2dnJyBQJ0rEihojBB0dFTnetQ3FSgY8ahjZeT//wA Try it online!]<source lang=apl>
[https://tio.run/##SyzI0U2pTMzJT9dNrShJzUtJTfn/P@JR2wQTBaNHvVvUHR2dnJyBQJ0rEihojBB0dFTnetQ3FSgY8ahjZeT//wA Try it online!]<syntaxhighlight lang=apl>
       X←4 2⍴'AABBCCCC'
       X←4 2⍴'AABBCCCC'
       Y←3 2⍴'AABBAA'
       Y←3 2⍴'AABBAA'
Line 29: Line 29:
</source>{{Works in|[[Extended Dyalog APL]]}}
</source>{{Works in|[[Extended Dyalog APL]]}}
Others can easily define such a function:
Others can easily define such a function:
[https://tio.run/##SyzI0U2pTMzJT///P@JR2wQTBaNHvVvUHR2dnJyBQJ0rEihojBB0dFTn8swrSS0qTk0uyczPA8pWP@rd9ahn/6PeFRqPOhc96t2q@ahzKZB61LsZKFPL9ahvKlBVhAKyNoXI//8B Try it online!]<source lang=apl>
[https://tio.run/##SyzI0U2pTMzJT///P@JR2wQTBaNHvVvUHR2dnJyBQJ0rEihojBB0dFTn8swrSS0qTk0uyczPA8pWP@rd9ahn/6PeFRqPOhc96t2q@ahzKZB61LsZKFPL9ahvKlBVhAKyNoXI//8B Try it online!]<syntaxhighlight lang=apl>
       X←4 2⍴'AABBCCCC'
       X←4 2⍴'AABBCCCC'
       Y←3 2⍴'AABBAA'
       Y←3 2⍴'AABBAA'

Revision as of 21:49, 10 September 2022

∩

Intersection (∩) is a dyadic set function which computes the set intersection 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 Intersection is usually implemented as "left argument filtered by its existence in the right argument" <syntaxhighlight lang=apl inline>(X∊Y)/X</source>, which preserves the order and multiplicity in the left argument. Both arguments can be nested arrays.

<syntaxhighlight lang=apl> 

     'ABRA'∩'CAR'

ARA 

      A←'THIS' 'AND' 'THAT'                                                  
      A∩'T'
                             ⍝ (No match for the single character T)
      A∩'AND'
                             ⍝ (No match for any of the three characters A N D)
      A∩⊂'AND'

┌───┐ │AND│ └───┘ </source>

Extension

Some dialects allow Intersection to work on major cells: Try it online!<syntaxhighlight lang=apl> 

     X←4 2⍴'AABBCCCC'
     Y←3 2⍴'AABBAA'
     X∩Y

AA BB

</source>

Works in: Extended Dyalog APL

Others can easily define such a function: Try it online!<syntaxhighlight lang=apl> 

     X←4 2⍴'AABBCCCC'
     Y←3 2⍴'AABBAA'
     Intersection←{⍺⌿⍨(≢⍵)≥⍵⍳⍺}
     X Intersection Y

AA BB

</source>

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
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
Dyadic Bind ∙ Compositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner Product ∙ Determinant ∙ Power ∙ At ∙ Under ∙ Rank ∙ Depth ∙ Variant ∙ Stencil ∙ Cut ∙ Direct definition (operator)
Quad names Index origin ∙ Comparison tolerance ∙ Migration level ∙ Atomic vector
Retrieved from ‘https://aplwiki.com/index.php?title=Intersection&oldid=9339’