Greater than or Equal to: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
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]]

Latest revision as of 22:25, 10 September 2022

Main article: Comparison function

Greater than or Equal to () is a comparison function which tests whether the left argument is tolerantly greater than or equal to the right argument, returning 1 if this is the case and 0 otherwise. It is the negation of Less than (<), and in fact was called Not less in APL\360.

Boolean function

When the arguments to Greater than or Equal to are Boolean, it is the converse implication Boolean function:

0 1
0 1 0
1 1 1

In the context of logic, it can be read as is implied by.

External links

Documentation


APL built-ins [edit]
Primitives (Timeline) Functions
Scalar
Monadic ConjugateNegateSignumReciprocalMagnitudeExponentialNatural LogarithmFloorCeilingFactorialNotPi TimesRollTypeImaginarySquare Root
Dyadic AddSubtractTimesDivideResiduePowerLogarithmMinimumMaximumBinomialComparison functionsBoolean functions (And, Or, Nand, Nor) ∙ GCDLCMCircularComplexRoot
Non-Scalar
Structural ShapeReshapeTallyDepthRavelEnlistTableCatenateReverseRotateTransposeRazeMixSplitEncloseNestCut (K)PairLinkPartitioned EnclosePartition
Selection FirstPickTakeDropUniqueIdentityStopSelectReplicateExpandSet functions (IntersectionUnionWithout) ∙ Bracket indexingIndexCartesian ProductSort
Selector Index generatorGradeIndex OfInterval IndexIndicesDealPrefix and suffix vectors
Computational MatchNot MatchMembershipFindNub SieveEncodeDecodeMatrix InverseMatrix DivideFormatExecuteMaterialiseRange
Operators Monadic EachCommuteConstantReplicateExpandReduceWindowed ReduceScanOuter ProductKeyI-BeamSpawnFunction axis
Dyadic BindCompositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner ProductDeterminantPowerAtUnderRankDepthVariantStencilCutDirect definition (operator)
Quad names Index originComparison toleranceMigration levelAtomic vector