4,494
edits
(Created page with "{{Main|Comparison function}} {{Built-in|Less than or Equal to|<nowiki>≤</nowiki>}} is a comparison function which tests whether the left argument is Tolerant comp...") |
m (Text replacement - "<source" to "<syntaxhighlight") Tags: Mobile edit Mobile web edit |
||
(13 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Main|Comparison function}} | {{Main|Comparison function}} | ||
{{Built-in|Less than or Equal to|<nowiki>≤</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] less than or equal to the right argument, returning 1 if this is the case and 0 otherwise. It is the [[Not|negation]] of [[Less than]] (< | {{Built-in|Less than or Equal to|<nowiki>≤</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] less than or equal to the right argument, returning 1 if this is the case and 0 otherwise. It is the [[Not|negation]] of [[Less than]] (<syntaxhighlight lang=apl inline><</syntaxhighlight>), and in fact was called '''Not greater''' in [[APL\360]]. | ||
== 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]]: | |||
::{|class=wikitable | |||
!<syntaxhighlight lang=apl inline>≤</syntaxhighlight>!!<syntaxhighlight lang=apl inline>0</syntaxhighlight>!!<syntaxhighlight lang=apl inline>1</syntaxhighlight> | |||
|- | |||
!<syntaxhighlight lang=apl inline>0</syntaxhighlight> | |||
|<syntaxhighlight lang=apl inline>1</syntaxhighlight>||<syntaxhighlight lang=apl inline>1</syntaxhighlight> | |||
|- | |||
!<syntaxhighlight lang=apl inline>1</syntaxhighlight> | |||
|<syntaxhighlight lang=apl inline>0</syntaxhighlight>||<syntaxhighlight lang=apl inline>1</syntaxhighlight> | |||
|} | |||
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 <syntaxhighlight lang=apl inline><\</syntaxhighlight> changes all 1s after the first to 0, <syntaxhighlight lang=apl inline>≤\</syntaxhighlight> changes all 0s after the first to 1. Thus <syntaxhighlight lang=apl inline>≤\A</syntaxhighlight> {{←→}} <syntaxhighlight lang=apl inline>~<\~A</syntaxhighlight>. | |||
<syntaxhighlight lang=apl> | |||
≤\ 1 0 1 0 0 0 1 0 | |||
1 0 1 1 1 1 1 1 | |||
</syntaxhighlight> | |||
<syntaxhighlight lang=apl inline>≤\</syntaxhighlight> appears in the [[FinnAPL idiom library]] as entry 350, "Not first zero". | |||
== External links == | == External links == | ||
Line 7: | Line 27: | ||
=== 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] | ||
* [https://mlochbaum.github.io/BQN/doc/arithmetic.html#comparisons BQN] | |||
{{APL built-ins}} | {{APL built-ins}}[[Category:Primitive functions]][[Category:Comparison functions]] |