Singleton: Difference between revisions

From APL Wiki
Jump to navigation Jump to search
No edit summary
m (Text replacement - "<source" to "<syntaxhighlight")
Line 1: Line 1:
A '''singleton''' is an [[Array model|array]] with [[bound]] 1. Equivalently, its [[shape]] consists entirely of 1s. It may have any [[rank]]. For example, all the following are singletons:
A '''singleton''' is an [[Array model|array]] with [[bound]] 1. Equivalently, its [[shape]] consists entirely of 1s. It may have any [[rank]]. For example, all the following are singletons:


* The [[scalar]] <source lang=apl inline>42</source>
* The [[scalar]] <syntaxhighlight lang=apl inline>42</source>
* The [[vector]] <source lang=apl inline>,42</source>
* The [[vector]] <syntaxhighlight lang=apl inline>,42</source>
* The [[matrix]] <source lang=apl inline>⍪42</source>
* The [[matrix]] <syntaxhighlight lang=apl inline>⍪42</source>
* The three-[[dimension]]al array <source lang=apl inline>1 1 1⍴42</source>
* The three-[[dimension]]al array <syntaxhighlight lang=apl inline>1 1 1⍴42</source>
* The [[nested]] scalar <source lang=apl inline>⊂4 2</source>
* The [[nested]] scalar <syntaxhighlight lang=apl inline>⊂4 2</source>


Whether an array <source lang=apl inline>X</source> is a singleton can be determined with <source lang=apl inline>1=×/⍴X</source> or, less efficiently, with <source lang=apl inline>1=≢,X</source>.
Whether an array <syntaxhighlight lang=apl inline>X</source> is a singleton can be determined with <syntaxhighlight lang=apl inline>1=×/⍴X</source> or, less efficiently, with <syntaxhighlight lang=apl inline>1=≢,X</source>.


Every scalar <source lang=apl inline>X</source> is a singleton, because <source lang=apl inline>1=×/⍴X</source>, or alternatively <source lang=apl inline>1=≢,X</source>.
Every scalar <syntaxhighlight lang=apl inline>X</source> is a singleton, because <syntaxhighlight lang=apl inline>1=×/⍴X</source>, or alternatively <syntaxhighlight lang=apl inline>1=≢,X</source>.


Singletons may be subject to [[singleton extension]].
Singletons may be subject to [[singleton extension]].

Revision as of 10:50, 11 September 2022

A singleton is an array with bound 1. Equivalently, its shape consists entirely of 1s. It may have any rank. For example, all the following are singletons:

  • The scalar <syntaxhighlight lang=apl inline>42</source>
  • The vector <syntaxhighlight lang=apl inline>,42</source>
  • The matrix <syntaxhighlight lang=apl inline>⍪42</source>
  • The three-dimensional array <syntaxhighlight lang=apl inline>1 1 1⍴42</source>
  • The nested scalar <syntaxhighlight lang=apl inline>⊂4 2</source>

Whether an array <syntaxhighlight lang=apl inline>X</source> is a singleton can be determined with <syntaxhighlight lang=apl inline>1=×/⍴X</source> or, less efficiently, with <syntaxhighlight lang=apl inline>1=≢,X</source>.

Every scalar <syntaxhighlight lang=apl inline>X</source> is a singleton, because <syntaxhighlight lang=apl inline>1=×/⍴X</source>, or alternatively <syntaxhighlight lang=apl inline>1=≢,X</source>.

Singletons may be subject to singleton extension.

Only simple Boolean singletons are valid representations of logical true and false for the purposes of control structures.

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