4,500
edits
Less than: Difference between revisions
Jump to navigation
Jump to search
m
Text replacement - "</source>" to "</syntaxhighlight>"
m (Text replacement - "<source" to "<syntaxhighlight") |
m (Text replacement - "</source>" to "</syntaxhighlight>") |
||
| Line 1: | Line 1: | ||
{{Main|Comparison function}} | {{Main|Comparison function}} | ||
:''For the set function, see [[Without]].'' | :''For the set function, see [[Without]].'' | ||
{{Built-in|Less than|<nowiki><</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] less than and not equal to the right argument, returning 1 if this is the case and 0 otherwise. It is the [[Not|negation]] of [[Greater than or Equal to]] (<syntaxhighlight lang=apl inline>≥</ | {{Built-in|Less than|<nowiki><</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] less than and not equal to the right argument, returning 1 if this is the case and 0 otherwise. It is the [[Not|negation]] of [[Greater than or Equal to]] (<syntaxhighlight lang=apl inline>≥</syntaxhighlight>). Less-than [[Scan]], which leaves only the first 1 in a [[Boolean]] [[vector]] set<ref>[[Phil Last|Last, Phil]]. [http://archive.vector.org.uk/art10501140 "Boolean Reductions"]. [[Vector Journal]] volume 26, number 1. 2013-09.</ref>, is a notable pattern. | ||
== Boolean function == | == Boolean function == | ||
| Line 7: | Line 7: | ||
When the arguments to Less than are [[Boolean]], it is the [[wikipedia:converse nonimplication|converse nonimplication]] [[Boolean function]]: | When the arguments to Less than are [[Boolean]], it is the [[wikipedia:converse nonimplication|converse nonimplication]] [[Boolean function]]: | ||
::{|class=wikitable | ::{|class=wikitable | ||
!<syntaxhighlight lang=apl inline><</ | !<syntaxhighlight lang=apl inline><</syntaxhighlight>!!<syntaxhighlight lang=apl inline>0</syntaxhighlight>!!<syntaxhighlight lang=apl inline>1</syntaxhighlight> | ||
|- | |- | ||
!<syntaxhighlight lang=apl inline>0</ | !<syntaxhighlight lang=apl inline>0</syntaxhighlight> | ||
|<syntaxhighlight lang=apl inline>0</ | |<syntaxhighlight lang=apl inline>0</syntaxhighlight>||<syntaxhighlight lang=apl inline>1</syntaxhighlight> | ||
|- | |- | ||
!<syntaxhighlight lang=apl inline>1</ | !<syntaxhighlight lang=apl inline>1</syntaxhighlight> | ||
|<syntaxhighlight lang=apl inline>0</ | |<syntaxhighlight lang=apl inline>0</syntaxhighlight>||<syntaxhighlight lang=apl inline>0</syntaxhighlight> | ||
|} | |} | ||
It returns 1 only if the left argument is 0 and the right argument is 1, and is identical to [[Residue]]. Considered as a logical operation, it can be read as ''isn't, as opposed to''. | It returns 1 only if the left argument is 0 and the right argument is 1, and is identical to [[Residue]]. Considered as a logical operation, it can be read as ''isn't, as opposed to''. | ||
| Line 21: | Line 21: | ||
<\ 0 0 1 0 0 0 1 0 | <\ 0 0 1 0 0 0 1 0 | ||
0 0 1 0 0 0 0 0 | 0 0 1 0 0 0 0 0 | ||
</ | </syntaxhighlight> | ||
It is idiom 348, "First one", in the [[FinnAPL idiom library]]. | It is idiom 348, "First one", in the [[FinnAPL idiom library]]. | ||