Difference between revisions of "Greater than"

From APL Wiki
Jump to navigation Jump to search
Line 4: Line 4:
  
 
== Boolean function ==
 
== Boolean function ==
{{Main|Boolean function}}
+
When the arguments to Greater than are [[Boolean]], it is the [[wikipedia:material nonimplication|material nonimplication]] [[Boolean function]], also known as the [[wikipedia:NIMPLY gate|NIMPLY gate]]:
When the arguments to Greater than are [[Boolean]], it is the [[wikipedia:material nonimplication|material nonimplication]] function, also known as the [[wikipedia:NIMPLY gate|NIMPLY 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>
 
|-
 
|-

Revision as of 09:23, 30 March 2020

Main article: Comparison function
>

Greater than (>) is a comparison function which tests whether the left argument is tolerantly greater than and not equal to the right argument, returning 1 if this is the case and 0 otherwise. It is the negation of Less than or Equal to ().

Boolean function

When the arguments to Greater than are Boolean, it is the material nonimplication Boolean function, also known as the NIMPLY gate:

> 0 1
0 0 0
1 1 0

In the context of logic, it can be read as but not.

External links

Documentation


APL built-ins [edit]
Primitive functions
Scalar
Monadic ConjugateNegateSignumReciprocalMagnitudeExponentialNatural LogarithmFloorCeilingFactorialNotPi TimesRollTypeImaginarySquare Root
Dyadic AddSubtractTimesDivideResiduePowerLogarithmMinimumMaximumBinomialComparison functionsBoolean functions (And, Or, Nand, Nor) ∙ GCDLCMCircularComplexRoot
Non-Scalar
Structural ShapeReshapeTallyDepthRavelEnlistTableCatenateReverseRotateTransposeRazeMixSplitEncloseNestCut (K)PairLinkPartitioned EnclosePartition
Selection FirstPickTakeDropUniqueIdentitySelectReplicateExpandSet functions (IntersectionUnionWithout) ∙ Bracket indexingIndex
Selector Index generatorGradeIndex OfInterval IndexIndicesDeal
Computational MatchNot MatchMembershipFindNub SieveEncodeDecodeMatrix InverseMatrix DivideFormatExecuteMaterialiseRange
Primitive operators Monadic EachCommuteConstantReplicateExpandReduceWindowed ReduceScanOuter ProductKeyI-beamSpawnFunction axis
Dyadic BindCompositions (Compose, Reverse Compose, Beside, Atop, Over) ∙ Inner ProductPowerAtUnderRankDepthVariantStencilCut (J)
Quad names
Arrays Index originMigration levelAtomic vector
Functions Case convertUnicode convert
Operators SearchReplace