4,494
edits
m (Text replacement - "</source>" to "</syntaxhighlight>") |
m (Text replacement - "<source" to "<syntaxhighlight") |
||
Line 1: | Line 1: | ||
{{Built-in|Add|+}}, '''Plus''', '''Addition''', or '''Sum''', is a [[dyadic]] [[scalar function]] that [[wikipedia:Addition|adds]] numbers together. As a basic arithmetic operation, Add is subject to the language's [[number]] specification. Add shares the glyph < | {{Built-in|Add|+}}, '''Plus''', '''Addition''', or '''Sum''', is a [[dyadic]] [[scalar function]] that [[wikipedia:Addition|adds]] numbers together. As a basic arithmetic operation, Add is subject to the language's [[number]] specification. Add shares the glyph <syntaxhighlight lang=apl inline>+</syntaxhighlight> with the [[monadic]] function [[Conjugate]], and is closely related to [[Subtract]] (<syntaxhighlight lang=apl inline>-</syntaxhighlight>). | ||
== Examples == | == Examples == | ||
< | <syntaxhighlight lang=apl> | ||
1 2 3 + 2 3 4 | 1 2 3 + 2 3 4 | ||
3 5 7 | 3 5 7 | ||
Line 14: | Line 14: | ||
Addition is [[wikipedia:Commutative property|commutative]] in almost all number systems. It is [[wikipedia:Associative property|associative]] when performed with no rounding, but is unlikely to be associative when rounded to an inexact precision (see [[#Floating point error|Floating point error]]). | Addition is [[wikipedia:Commutative property|commutative]] in almost all number systems. It is [[wikipedia:Associative property|associative]] when performed with no rounding, but is unlikely to be associative when rounded to an inexact precision (see [[#Floating point error|Floating point error]]). | ||
The [[identity element]] for Add is < | The [[identity element]] for Add is <syntaxhighlight lang=apl inline>0</syntaxhighlight>. The [[inverse]] of the function <syntaxhighlight lang=apl inline>n∘+</syntaxhighlight> or the equivalent function <syntaxhighlight lang=apl inline>+∘n</syntaxhighlight> is <syntaxhighlight lang=apl inline>-∘n</syntaxhighlight>. Using [[Commute]] (<syntaxhighlight lang=apl inline>⍨</syntaxhighlight>), we can write <syntaxhighlight lang=apl inline>+⍣¯1</syntaxhighlight> {{←→}} <syntaxhighlight lang=apl inline>-⍨</syntaxhighlight>. | ||
Since adding a number to itself is equivalent to doubling that number, we can express the ''double'' function as < | Since adding a number to itself is equivalent to doubling that number, we can express the ''double'' function as <syntaxhighlight lang=apl inline>+⍨</syntaxhighlight>. | ||
=== Reduction === | === Reduction === | ||
Line 33: | Line 33: | ||
When using a limited-precision format such as 8-byte floats, the results of addition are rounded in order to fit into the result type. This rounding can cause the results of adding several numbers to be different depending on the order in which they are added, that is, addition fails to be associative: | When using a limited-precision format such as 8-byte floats, the results of addition are rounded in order to fit into the result type. This rounding can cause the results of adding several numbers to be different depending on the order in which they are added, that is, addition fails to be associative: | ||
< | <syntaxhighlight lang=apl> | ||
1e20 + ¯1e20 + 1 | 1e20 + ¯1e20 + 1 | ||
0 | 0 |