+) is a monadic scalar function which negates the imaginary component of a complex argument. Because many APLs do not have a dedicated Identity function, but also do not support complex numbers, Conjugate is often used to return the argument unchanged. This usage is discouraged in modern APLs in favor of the Identity function (usually
⊢). Conjugate shares the glyph
+ with Add.
Conjugate leaves real numbers unchanged but negates the imaginary part of complex numbers.
+ 0 2 ¯1.1 1E300 ¯200 0 2 ¯1.1 1E300 ¯200 + 2J3 ¯4J¯3 ¯12 1.5J1.5 2J¯3 ¯4J3 ¯12 1.5J¯1.5
As identity function
+a←2 3 2 3 *∘2⍣3 +a 256 6561
Sometimes the name "Identity" was even used for
+. Although this usage is becoming rare among new APLers, it may still affect the behavior of Conjugate. For instance, in Dyalog APL, Conjugate will allow a non-numeric argument and return it unchanged even though other monadic scalar functions give a DOMAIN ERROR:
+ ⎕NULL [Null] - ⎕NULL DOMAIN ERROR -⎕NULL ∧
The conjugate of a number is proportional to (that is, a real multiple of) its Reciprocal. Specifically, since for any complex number
(+z)×z is a real number (the square of the Magnitude of
z), we have
1, so by definition
z is a unit complex number (for instance the result of Signum), then
The conjugate of a hypercomplex number (a quaternion or octonion) negates all imaginary components, that is, every component but the real part. Somewhat surprisingly, this maintains the property that
(+z)×z is a real number. Therefore the conjugate can be used to define the reciprocal of a complex number using only real division (dividing a hypercomplex number by a real number divides each component by that numer).
Like Negate, Conjugate almost never suffers issues with numerical precision. This is because negating a component of a complex number is exact in all common number systems.
|APL built-ins |
|Monadic||Conjugate ∙ Negate ∙ Signum ∙ Not ∙ Roll ∙ Type|
|Dyadic||Add ∙ Subtract ∙ Times ∙ Divide ∙ Equal to (Xnor) ∙ Not Equal to (Xor) ∙ Minimum ∙ Maximum ∙ Comparison functions ∙ Complex|
|Structural||Shape ∙ Reshape ∙ Tally ∙ Depth ∙ Ravel ∙ Reverse ∙ Raze ∙ Mix ∙ Cut (K) ∙ Pair ∙ Replicate ∙ Partitioned Enclose|
|Selection||First ∙ Take ∙ Drop ∙ Unique ∙ Identity ∙ Select ∙ Bracket index|
|Selector||Index generator ∙ Interval Index ∙ Indices|
|Computational||Match ∙ Not Match ∙ Nub Sieve ∙ Format ∙ Execute|
|Primitive operators||Monadic||Each ∙ Replicate ∙ Commute ∙ Function axis|
|Dyadic||Beside ∙ Bind ∙ Reverse Compose|
|Arrays||Index origin ∙ Migration level|