Bound: Difference between revisions
Jump to navigation
Jump to search
Miraheze>Adám Brudzewsky m (Text replacement - "<code>" to "<source lang=apl inline>") |
m (Text replacement - "</source>" to "</syntaxhighlight>") |
||
| (7 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
The [[bound]] of an array is the number of [[ | The [[bound]] of an array is the number of [[element]]s it contains, or equivalently the length ([[Tally]]) of its [[ravel]] vector or the [[product]] of its [[shape]] (<syntaxhighlight lang=apl inline>×/⍴</syntaxhighlight>). | ||
The bound can be derived axiomatically as a function of the [[shape]] from two rules: | The bound can be derived axiomatically as a function of the [[shape]] from two rules: | ||
* The bound of a [[vector]] is its length, and | * The bound of a [[vector]] is its length, and | ||
* If two shapes are [[ | * If two shapes are [[catenate]]d (for instance by an [[outer product]]), the resulting bound is the product of their individual bounds. | ||
A scalar has [[rank]] 0, or empty shape. From the above axioms we can deduce that it has bound 1: catenating < | A scalar has [[rank]] 0, or empty shape. From the above axioms we can deduce that it has bound 1: catenating <syntaxhighlight lang=apl inline>⍬</syntaxhighlight> with some other shape leaves that shape unchanged, so multiplying any bound by a scalar's bound cannot change it either. Therefore a scalar's bound must be the multiplicative identity, 1. | ||
Combining [[Axis|axes]] of an array, for instance by using [[Table]] or [[Ravel]] with [[Function axis|axis]], leaves the array's bound unchanged, despite changing its shape, rank, and possibly [[Tally]]. | Combining [[Axis|axes]] of an array, for instance by using [[Table]] or [[Ravel]] with [[Function axis|axis]], leaves the array's bound unchanged, despite changing its shape, rank, and possibly [[Tally]]. | ||
{{APL features}}[[Category:Array characteristics]] | |||
Latest revision as of 22:19, 10 September 2022
The bound of an array is the number of elements it contains, or equivalently the length (Tally) of its ravel vector or the product of its shape (×/⍴).
The bound can be derived axiomatically as a function of the shape from two rules:
- The bound of a vector is its length, and
- If two shapes are catenated (for instance by an outer product), the resulting bound is the product of their individual bounds.
A scalar has rank 0, or empty shape. From the above axioms we can deduce that it has bound 1: catenating ⍬ with some other shape leaves that shape unchanged, so multiplying any bound by a scalar's bound cannot change it either. Therefore a scalar's bound must be the multiplicative identity, 1.
Combining axes of an array, for instance by using Table or Ravel with axis, leaves the array's bound unchanged, despite changing its shape, rank, and possibly Tally.
| APL features [edit] | |
|---|---|
| Built-ins | Primitives (functions, operators) ∙ Quad name |
| Array model | Shape ∙ Rank ∙ Depth ∙ Bound ∙ Index (Indexing) ∙ Axis ∙ Ravel ∙ Ravel order ∙ Element ∙ Scalar ∙ Vector ∙ Matrix ∙ Simple scalar ∙ Simple array ∙ Nested array ∙ Cell ∙ Major cell ∙ Subarray ∙ Empty array ∙ Prototype |
| Data types | Number (Boolean, Complex number) ∙ Character (String) ∙ Box ∙ Namespace ∙ Function array |
| Concepts and paradigms | Conformability (Scalar extension, Leading axis agreement) ∙ Scalar function (Pervasion) ∙ Identity element ∙ Complex floor ∙ Array ordering (Total) ∙ Tacit programming (Function composition, Close composition) ∙ Glyph ∙ Leading axis theory ∙ Major cell search ∙ First-class function |
| Errors | LIMIT ERROR ∙ RANK ERROR ∙ SYNTAX ERROR ∙ DOMAIN ERROR ∙ LENGTH ERROR ∙ INDEX ERROR ∙ VALUE ERROR ∙ EVOLUTION ERROR |