Scalar function: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
m (Text replacement - "</source>" to "</syntaxhighlight>")
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
A '''scalar function''' is one of a class of [[primitive function]]s that apply to [[argument]]s one [[element]] at a time. [[Dyadic]] scalar functions pair elements of their arguments based on [[conformability]] rules, and thus are subject to [[scalar extension]]. In [[Nested array model|nested]] array languages, scalar functions [[pervasion|pervade]] any [[nested array]]s by [[recursion|recursively]] descending into them until reaching [[simple scalars]]; in [[Flat array model|flat]] array languages they usually do not apply inside [[boxes]]. Functions which are not scalar, are called [[mixed function]]s.
A '''scalar function''' is one of a class of [[primitive function]]s that apply to [[argument]]s one [[element]] at a time. [[Dyadic]] scalar functions pair elements of their arguments based on [[conformability]] rules, and thus are subject to [[scalar extension]]. In [[Nested array model|nested]] array languages, scalar functions [[pervasion|pervade]] any [[nested array]]s by [[recursion|recursively]] descending into them until reaching [[simple scalars]]; in [[Flat array model|flat]] array languages they usually do not apply inside [[boxes]]. Functions which are not scalar, are called [[mixed function]]s.


Only a particular [[valence]] of a function is labelled "scalar". The scalar monad [[Not]] usually shares the glyph <source lang=apl inline>~</source> with non-scalar dyad [[Without]], and similarly scalar [[Roll]] and non-scalar [[Deal]] are both written <source lang=apl inline>?</source>.
Only a particular [[valence]] of a function is labelled "scalar". The scalar monad [[Not]] usually shares the glyph <syntaxhighlight lang=apl inline>~</syntaxhighlight> with non-scalar dyad [[Without]], and similarly scalar [[Roll]] and non-scalar [[Deal]] are both written <syntaxhighlight lang=apl inline>?</syntaxhighlight>.


== Standard scalar functions ==
== Standard scalar functions ==
Line 10: Line 10:
! Monadic function !! Glyph !! Dyadic function
! Monadic function !! Glyph !! Dyadic function
|-
|-
| [[Conjugate]] || <source lang=apl inline>+</source> || [[Plus]]
| [[Conjugate]] || <syntaxhighlight lang=apl inline>+</syntaxhighlight> || [[Plus]]
|-
|-
| [[Negate]] || <source lang=apl inline>-</source> || [[Minus]]
| [[Negate]] || <syntaxhighlight lang=apl inline>-</syntaxhighlight> || [[Minus]]
|-
|-
| [[Signum]] or Direction || <source lang=apl inline>×</source> || [[Times]]
| [[Signum]] or Direction || <syntaxhighlight lang=apl inline>×</syntaxhighlight> || [[Times]]
|-
|-
| [[Reciprocal]] || <source lang=apl inline>÷</source> || [[Divide]]
| [[Reciprocal]] || <syntaxhighlight lang=apl inline>÷</syntaxhighlight> || [[Divide]]
|-
|-
| [[Floor]] || <source lang=apl inline>⌊</source> || [[Minimum]]
| [[Floor]] || <syntaxhighlight lang=apl inline>⌊</syntaxhighlight> || [[Minimum]]
|-
|-
| [[Ceiling]] || <source lang=apl inline>⌈</source> || [[Maximum]]
| [[Ceiling]] || <syntaxhighlight lang=apl inline>⌈</syntaxhighlight> || [[Maximum]]
|-
|-
| [[Exponential]] || <source lang=apl inline>*</source> || [[Power function]]
| [[Exponential]] || <syntaxhighlight lang=apl inline>*</syntaxhighlight> || [[Power function]]
|-
|-
| [[Natural Logarithm]] || <source lang=apl inline>⍟</source> || [[Logarithm]]
| [[Natural Logarithm]] || <syntaxhighlight lang=apl inline>⍟</syntaxhighlight> || [[Logarithm]]
|-
|-
| [[Magnitude]] or Absolute value || <source lang=apl inline>|</source> || [[Residue]]
| [[Magnitude]] or Absolute value || <syntaxhighlight lang=apl inline>|</syntaxhighlight> || [[Residue]]
|-
|-
| [[Pi Times]] || <source lang=apl inline>○</source> || [[Circle function]]
| [[Pi Times]] || <syntaxhighlight lang=apl inline>○</syntaxhighlight> || [[Circle function]]
|-
|-
| [[Factorial]] || <source lang=apl inline>!</source> || [[Binomial]] coefficient or combination function
| [[Factorial]] || <syntaxhighlight lang=apl inline>!</syntaxhighlight> || [[Binomial]] coefficient or combination function
|-
|-
| [[Roll]] || <source lang=apl inline>?</source> ||
| [[Roll]] || <syntaxhighlight lang=apl inline>?</syntaxhighlight> ||
|-
|-
| [[Not]] || <source lang=apl inline>~</source> ||
| [[Not]] || <syntaxhighlight lang=apl inline>~</syntaxhighlight> ||
|-
|-
| || <source lang=apl inline>∧</source> || [[Logical And]]
| || <syntaxhighlight lang=apl inline>∧</syntaxhighlight> || [[Logical And]]
|-
|-
| || <source lang=apl inline>∨</source> || [[Logical Or]]
| || <syntaxhighlight lang=apl inline>∨</syntaxhighlight> || [[Logical Or]]
|-
|-
| || <source lang=apl inline>⍲</source> || [[Nand]]
| || <syntaxhighlight lang=apl inline>⍲</syntaxhighlight> || [[Nand]]
|-
|-
| || <source lang=apl inline>⍱</source> || [[Nor]]
| || <syntaxhighlight lang=apl inline>⍱</syntaxhighlight> || [[Nor]]
|-
|-
| || <source lang=apl inline><</source> || [[Less than]]
| || <syntaxhighlight lang=apl inline><</syntaxhighlight> || [[Less than]]
|-
|-
| || <source lang=apl inline>≤</source> || [[Less than or equal to]]
| || <syntaxhighlight lang=apl inline>≤</syntaxhighlight> || [[Less than or equal to]]
|-
|-
| || <source lang=apl inline>=</source> || [[Equal to]]
| || <syntaxhighlight lang=apl inline>=</syntaxhighlight> || [[Equal to]]
|-
|-
| || <source lang=apl inline>≥</source> || [[Greater than or equal to]]
| || <syntaxhighlight lang=apl inline>≥</syntaxhighlight> || [[Greater than or equal to]]
|-
|-
| || <source lang=apl inline>></source> || [[Greater than]]
| || <syntaxhighlight lang=apl inline>></syntaxhighlight> || [[Greater than]]
|-
|-
| || <source lang=apl inline>≠</source> || [[Not equal to]]
| || <syntaxhighlight lang=apl inline>≠</syntaxhighlight> || [[Not equal to]]
|}
|}


Line 63: Line 63:
! Monadic function !! Glyph !! Dyadic function
! Monadic function !! Glyph !! Dyadic function
|-
|-
| [[Square Root]] || <source lang=apl inline>√</source> || [[Nth Root]]
| [[Square Root]] || <syntaxhighlight lang=apl inline>√</syntaxhighlight> || [[Nth Root]]
|-
|-
| [[Type]] || <source lang=apl inline>∊</source> or <source lang=apl inline>⊤</source> ||
| [[Type]] || <syntaxhighlight lang=apl inline>∊</syntaxhighlight> or <syntaxhighlight lang=apl inline>⊤</syntaxhighlight> ||
|-
|-
| || <source lang=apl inline>∧</source> || [[Lowest Common Multiple]] (LCM)
| || <syntaxhighlight lang=apl inline>∧</syntaxhighlight> || [[Lowest Common Multiple]] (LCM)
|-
|-
| || <source lang=apl inline>∨</source> || [[Greatest Common Divisor]] (GCD)
| || <syntaxhighlight lang=apl inline>∨</syntaxhighlight> || [[Greatest Common Divisor]] (GCD)
|-
|-
| [[Case fold]] || <source lang=apl inline>⎕C</source> || [[Case map]]
| [[Case fold]] || <syntaxhighlight lang=apl inline>⎕C</syntaxhighlight> || [[Case map]]


|-
|-

Latest revision as of 22:25, 10 September 2022

A scalar function is one of a class of primitive functions that apply to arguments one element at a time. Dyadic scalar functions pair elements of their arguments based on conformability rules, and thus are subject to scalar extension. In nested array languages, scalar functions pervade any nested arrays by recursively descending into them until reaching simple scalars; in flat array languages they usually do not apply inside boxes. Functions which are not scalar, are called mixed functions.

Only a particular valence of a function is labelled "scalar". The scalar monad Not usually shares the glyph ~ with non-scalar dyad Without, and similarly scalar Roll and non-scalar Deal are both written ?.

Standard scalar functions

Most APLs use a set of scalar functions that was worked out fairly early in APL's development. These are listed in this section.

Monadic function Glyph Dyadic function
Conjugate + Plus
Negate - Minus
Signum or Direction × Times
Reciprocal ÷ Divide
Floor Minimum
Ceiling Maximum
Exponential * Power function
Natural Logarithm Logarithm
Magnitude or Absolute value | Residue
Pi Times Circle function
Factorial ! Binomial coefficient or combination function
Roll ?
Not ~
Logical And
Logical Or
Nand
Nor
< Less than
Less than or equal to
= Equal to
Greater than or equal to
> Greater than
Not equal to

Additional scalar functions

Very few additional scalar functions have been added later in various dialects:

Monadic function Glyph Dyadic function
Square Root Nth Root
Type or
Lowest Common Multiple (LCM)
Greatest Common Divisor (GCD)
Case fold ⎕C Case map

External links


APL features [edit]
Built-ins Primitives (functions, operators) ∙ Quad name
Array model ShapeRankDepthBoundIndex (Indexing) ∙ AxisRavelRavel orderElementScalarVectorMatrixSimple scalarSimple arrayNested arrayCellMajor cellSubarrayEmpty arrayPrototype
Data types Number (Boolean, Complex number) ∙ Character (String) ∙ BoxNamespaceFunction array
Concepts and paradigms Conformability (Scalar extension, Leading axis agreement) ∙ Scalar function (Pervasion) ∙ Identity elementComplex floorArray ordering (Total) ∙ Tacit programming (Function composition, Close composition) ∙ GlyphLeading axis theoryMajor cell searchFirst-class function
Errors LIMIT ERRORRANK ERRORSYNTAX ERRORDOMAIN ERRORLENGTH ERRORINDEX ERRORVALUE ERROREVOLUTION ERROR