Greater than: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
No edit summary
Line 5: Line 5:
== Boolean function ==
== Boolean function ==
{{Main|Boolean function}}
{{Main|Boolean function}}
When used as a [[Boolean function]] (that is, with argument consisting entirely of 0s and 1s), it represents [[wikipedia:material nonimplication|material nonimplication]], also known as the [[wikipedia:NIMPLY gate|NIMPLY gate]]:
When the arguments to Equal to 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>
Line 16: Line 16:
|}
|}
In the context of logic, it can be read as ''but not''.
In the context of logic, it can be read as ''but not''.
== External links ==
== External links ==



Revision as of 08:39, 29 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

Main article: Boolean function

When the arguments to Equal to are Boolean, it is the material nonimplication 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]
Primitives (Timeline) Functions
Scalar
Monadic ConjugateNegateSignumReciprocalMagnitudeExponentialNatural LogarithmFloorCeilingFactorialNotPi TimesRollTypeImaginarySquare RootRound
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 axisIdentity (Null, Ident)
Dyadic BindCompositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner ProductDeterminantPowerAtUnderRankDepthVariantStencilCutDirect definition (operator)Identity (Lev, Dex)
Quad names Index originComparison toleranceMigration levelAtomic vector