4,494
edits
(6 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{ | {| class=vertical-navbox style="float:right; font-size:500%; margin:0 1ex;" | ||
|<code>⊇</code> <code>@</code> | |||
|} | |||
'''From''' (<code>⊇</code> or <code>@</code> and also called '''Select''', or, [[humour]]ously, ''Sane Indexing'') is a [[primitive function]] that selects multiple [[major cell]]s of its right argument using an array of [[index|indices]] given by its left. The primitive often offers additional functionality for a [[nested]] left argument, which varies from one language to another. It appears in [[SAX]] (as <syntaxhighlight lang=apl inline>@</syntaxhighlight>), [[Extended Dyalog APL]], [[dzaima/APL]], and [[KAP]] (as <syntaxhighlight lang=apl inline>⊇</syntaxhighlight>), [[J]] (as <syntaxhighlight lang=j inline>{</syntaxhighlight>), and [[BQN]] (as <code>⊏</code>). | |||
== Common usage == | == Common usage == | ||
Select is commonly used to reorder the major cells of an array. For example, the following shuffles any array into random order: | Select is commonly used to reorder the major cells of an array. For example, the following shuffles any array into random order: | ||
[https://tio.run/##SyzI0U2pTMzJT9dNrShJzUtJTfn/PzijNC0tJ/VR2wT7R70rHnXMeNS56FFX@6OuRVyP@qYChaEKFNQTk5JTUtPU//8HAA Try it online!]< | [https://tio.run/##SyzI0U2pTMzJT9dNrShJzUtJTfn/PzijNC0tJ/VR2wT7R70rHnXMeNS56FFX@6OuRVyP@qYChaEKFNQTk5JTUtPU//8HAA Try it online!]<syntaxhighlight lang=apl> | ||
Shuffle←?⍨∘≢⊇⊢ | Shuffle←?⍨∘≢⊇⊢ | ||
Shuffle 'abcdef' | Shuffle 'abcdef' | ||
fbdcea | fbdcea | ||
</ | </syntaxhighlight>{{Works in|[[dzaima/APL]], [[Extended Dyalog APL]]}} | ||
Without Select, one would have to write < | Without Select, one would have to write <syntaxhighlight lang=apl inline>Shuffle←⊢⌷⍨∘⊂?⍨∘≢</syntaxhighlight>. In this meaning, Select might be written as <syntaxhighlight lang=apl inline>⌷⍨∘⊂⍨</syntaxhighlight> or <syntaxhighlight lang=apl inline>⌷⍤0 99</syntaxhighlight> in [[Dyalog APL]] (where 99 exceeds the system's maximum array [[rank]]). | ||
In a case where the left argument is a permutation vector for the right argument, the functionality can rightfully be called ''Permute''. | In a case where the left argument is a permutation vector for the right argument, the functionality can rightfully be called ''Permute''. | ||
Select especially cleans up expressions for reordering. An ascending sort can be represented as < | Select especially cleans up expressions for reordering. An ascending sort can be represented as <syntaxhighlight lang=apl inline>⍋⊇⊢</syntaxhighlight> and "sort by" can be written as <syntaxhighlight lang=apl inline>⊇⍨∘⍋</syntaxhighlight>: | ||
[https://tio.run/##SyzI0U2pTMzJT9dNrShJzUtJTfn//1Hf1EdtE9QTk5JTUtUVHnW1P@pd8ahjxqPebgVjBUMFEyA2/f8fAA Try it online!]< | [https://tio.run/##SyzI0U2pTMzJT9dNrShJzUtJTfn//1Hf1EdtE9QTk5JTUtUVHnW1P@pd8ahjxqPebgVjBUMFEyA2/f8fAA Try it online!]<syntaxhighlight lang=apl> | ||
'abcde' ⊇⍨∘⍋ 3 1 4 1 5 | 'abcde' ⊇⍨∘⍋ 3 1 4 1 5 | ||
bdace | bdace | ||
</ | </syntaxhighlight>{{Works in|[[dzaima/APL]], [[Extended Dyalog APL]]}} | ||
== Extensions == | == Extensions == | ||
=== Scatter-point === | === Scatter-point === | ||
In [[A Dictionary of APL]], [[J]], and [[SAX]], a boxed left argument indicates that each [[element]] will be used independently to select a [[cell]] of the argument. The behavior on a single element is very similar to APL's [[Index (function)|Index]] function. < | In [[A Dictionary of APL]], [[J]], and [[SAX]], a boxed left argument indicates that each [[element]] will be used independently to select a [[cell]] of the argument. The behavior on a single element is very similar to APL's [[Index (function)|Index]] function. <syntaxhighlight lang=j inline>{</syntaxhighlight> has a left [[Function rank|rank]] of 0, so that results are [[mix]]ed together and those with different shapes may be padded with [[fill]]s. | ||
< | <syntaxhighlight lang=j> | ||
]a =. 4 4$(a.i.'A')}.a. | ]a =. 4 4$(a.i.'A')}.a. | ||
ABCD | ABCD | ||
Line 34: | Line 37: | ||
(0 0;3 3;2 3) { a | (0 0;3 3;2 3) { a | ||
APL | APL | ||
</ | </syntaxhighlight>{{Works in|[[J]]}} | ||
In APL this extension can be defined as < | In APL this extension can be defined as <syntaxhighlight lang=apl inline>⌷⍨∘⊃⍨⍤0 ∞</syntaxhighlight> thus allowing both the above usage and "scatter point indexing":<ref>[[Richard Park]]. [https://dyalog.tv/Webinar/?v=AgYDvSF2FfU Selecting from Arrays]. [[Dyalog Webinar]]. 16 Apr 2020. (Presented in the form <syntaxhighlight lang=apl inline>((⊃⊣)⌷⊢)⍤0 99</syntaxhighlight>.)</ref> | ||
== History == | == History == | ||
Line 55: | Line 58: | ||
* J: [https://www.jsoftware.com/help/dictionary/d520.htm Dictionary], [https://code.jsoftware.com/wiki/Vocabulary/curlylf#dyadic Nuvoc] | * J: [https://www.jsoftware.com/help/dictionary/d520.htm Dictionary], [https://code.jsoftware.com/wiki/Vocabulary/curlylf#dyadic Nuvoc] | ||
* [https://abrudz.github.io/SAX2/SAX61.pdf#M44.9.from SAX] | * [https://abrudz.github.io/SAX2/SAX61.pdf#M44.9.from SAX] | ||
* [https://mlochbaum.github.io/BQN/doc/select.html BQN] | |||
=== Publications === | |||
* [https://github.com/abrudz/primitives/blob/main/select.aplf APL model] | |||
== References == | == References == | ||
<references/> | <references/> | ||
{{APL built-ins}}[[Category:Primitive functions]] | {{APL built-ins}}[[Category:Primitive functions]] |