Less than or Equal to: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
m (Text replacement - "http://help.dyalog.com" to "https://help.dyalog.com")
(4 intermediate revisions by one other user not shown)
Line 4: Line 4:


== Boolean function ==
== Boolean function ==
{{Main|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 the arguments to Less than or Equal to are [[Boolean]], it is the [[wikipedia:Material conditional|material implication]] function, also known as the [[wikipedia:IMPLY gate|IMPLY gate]]:
::{|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 16: Line 15:
|}
|}
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 ==
Line 21: Line 27:
=== Documentation ===
=== Documentation ===


* [http://help.dyalog.com/latest/index.htm#Language/Primitive%20Functions/Less%20Or%20Equal.htm Dyalog]
* [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]]

Revision as of 14:24, 14 July 2020

Main article: Comparison function

Less than or Equal to () is a comparison function which tests whether the left argument is tolerantly less 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 greater in APL\360.

Boolean function

When the arguments to Less than or Equal to are Boolean, it is the material implication Boolean function, also known as the IMPLY gate:

0 1
0 1 1
1 0 1

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 <\ changes all 1s after the first to 0, ≤\ changes all 0s after the first to 1. Thus ≤\A ~<\~A.

      ≤\ 1 0 1 0 0 0 1 0
1 0 1 1 1 1 1 1

≤\ appears in the FinnAPL idiom library as entry 350, "Not first zero".

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