Greater than or Equal to: Difference between revisions

Jump to navigation Jump to search
m
Text replacement - "</source>" to "</syntaxhighlight>"
m (Text replacement - "</source>" to "</syntaxhighlight>")
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{Main|Comparison function}}
{{Main|Comparison function}}


{{Built-in|Greater than or Equal to|<nowiki>≥</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] greater 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]] (<source lang=apl inline><</source>), and in fact was called '''Not less''' in [[APL\360]].
{{Built-in|Greater than or Equal to|<nowiki>≥</nowiki>}} is a [[comparison function]] which tests whether the left [[argument]] is [[Tolerant comparison|tolerantly]] greater 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 less''' in [[APL\360]].


== Boolean function ==
== Boolean function ==
When the arguments to Greater than or Equal to are [[Boolean]], it is the [[wikipedia:converse implication|converse implication]] [[Boolean function]]:
When the arguments to Greater than or Equal to are [[Boolean]], it is the [[wikipedia:converse implication|converse implication]] [[Boolean function]]:
::{|class=wikitable
::{|class=wikitable
!<source lang=apl inline>≥</source>!!<source lang=apl inline>0</source>!!<source lang=apl inline>1</source>
!<syntaxhighlight lang=apl inline>≥</syntaxhighlight>!!<syntaxhighlight lang=apl inline>0</syntaxhighlight>!!<syntaxhighlight lang=apl inline>1</syntaxhighlight>
|-
|-
!<source lang=apl inline>0</source>
!<syntaxhighlight lang=apl inline>0</syntaxhighlight>
|<source lang=apl inline>1</source>||<source lang=apl inline>0</source>
|<syntaxhighlight lang=apl inline>1</syntaxhighlight>||<syntaxhighlight lang=apl inline>0</syntaxhighlight>
|-
|-
!<source lang=apl inline>1</source>
!<syntaxhighlight lang=apl inline>1</syntaxhighlight>
|<source lang=apl inline>1</source>||<source lang=apl inline>1</source>
|<syntaxhighlight lang=apl inline>1</syntaxhighlight>||<syntaxhighlight lang=apl inline>1</syntaxhighlight>
|}
|}
In the context of logic, it can be read as ''is implied by''.
In the context of logic, it can be read as ''is implied by''.
Line 20: Line 20:
=== Documentation ===
=== Documentation ===


* [http://help.dyalog.com/latest/index.htm#Language/Primitive%20Functions/Greater%20Or%20Equal.htm Dyalog]
* [https://help.dyalog.com/latest/index.htm#Language/Primitive%20Functions/Greater%20Or%20Equal.htm Dyalog]
* [http://microapl.com/apl_help/ch_020_020_320.htm APLX]
* [http://microapl.com/apl_help/ch_020_020_320.htm APLX]
* J [http://www.jsoftware.com/help/dictionary/d012.htm Dictionary], [https://code.jsoftware.com/wiki/Vocabulary/gtco#dyadic NuVoc]
* J [http://www.jsoftware.com/help/dictionary/d012.htm Dictionary], [https://code.jsoftware.com/wiki/Vocabulary/gtco#dyadic NuVoc]
* [https://mlochbaum.github.io/BQN/doc/arithmetic.html#comparisons BQN]


{{APL built-ins}}[[Category:Primitive functions]][[Category:Scalar dyadic functions]]
{{APL built-ins}}[[Category:Primitive functions]][[Category:Comparison functions]]

Navigation menu