Greater than or Equal to: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
(→‎Boolean function: "Boolean function" doesn't/shouldn't have any more detail, so it's not the main page)
Line 4: Line 4:


== Boolean function ==
== Boolean function ==
{{Main|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]] function:
::{|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:17, 30 March 2020

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 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