4,494
edits
No edit summary |
m (Text replacement - "http://help.dyalog.com" to "https://help.dyalog.com") |
||
(6 intermediate revisions by 2 users not shown) | |||
Line 4: | Line 4: | ||
== Boolean function == | == Boolean function == | ||
When the arguments to Less than or Equal to are [[Boolean]], it is the [[wikipedia:Material conditional|material implication]] [[Boolean function]], also known as the [[wikipedia:IMPLY gate|IMPLY gate]]: | |||
When | ::{|class=wikitable | ||
{|class=wikitable | |||
!<source lang=apl inline>≤</source>!!<source lang=apl inline>0</source>!!<source lang=apl inline>1</source> | !<source lang=apl inline>≤</source>!!<source lang=apl inline>0</source>!!<source lang=apl inline>1</source> | ||
|- | |- | ||
Line 15: | Line 14: | ||
|<source lang=apl inline>0</source>||<source lang=apl inline>1</source> | |<source lang=apl inline>0</source>||<source lang=apl inline>1</source> | ||
|} | |} | ||
In the context of logic, it can be read as ''implies''. | In the context of logic, it can be read as ''implies''. | ||
Less than or Equal to [[Scan]] is an occasionally used pattern related to [[Less than]] Scan. While <source lang=apl inline><\</source> changes all 1s after the first to 0, <source lang=apl inline>≤\</source> changes all 0s after the first to 1. Thus <source lang=apl inline>≤\A</source> {{←→}} <source lang=apl inline>~<\~A</source>. | |||
<source lang=apl> | |||
≤\ 1 0 1 0 0 0 1 0 | |||
1 0 1 1 1 1 1 1 | |||
</source> | |||
<source lang=apl inline>≤\</source> appears in the [[FinnAPL idiom library]] as entry 350, "Not first zero". | |||
== External links == | == External links == | ||
=== Documentation === | === Documentation === | ||
* [ | * [https://help.dyalog.com/latest/index.htm#Language/Primitive%20Functions/Less%20Or%20Equal.htm Dyalog] | ||
* [http://microapl.com/apl_help/ch_020_020_300.htm APLX] | * [http://microapl.com/apl_help/ch_020_020_300.htm APLX] | ||
* J [http://www.jsoftware.com/help/dictionary/d012.htm Dictionary], [https://code.jsoftware.com/wiki/Vocabulary/ltco#dyadic NuVoc] | * J [http://www.jsoftware.com/help/dictionary/d012.htm Dictionary], [https://code.jsoftware.com/wiki/Vocabulary/ltco#dyadic NuVoc] | ||
{{APL built-ins}} | {{APL built-ins}}[[Category:Primitive functions]][[Category:Comparison functions]] |