Complex (function): Difference between revisions

From APL Wiki
Jump to navigation Jump to search
(History)
(→‎History: Link and section for Hui's design exercises, and make it clear the next part is from another source)
Line 3: Line 3:
== History ==
== History ==


The question of whether to include this function is one of [[Roger Hui]]'s 50 exercises in APL language design<ref>[[Roger Hui]]. Some Exercises in APL Language Design. Jsoftware. 2016.</ref>:
The question of whether to include this function is one of [[Roger Hui]]'s 50 exercises in APL language design:<ref>[[Roger Hui]]. [https://www.jsoftware.com/papers/APLDesignExercises.htm Some Exercises in APL Language Design]. §8 Imaginary/Complex and sample answer. Jsoftware. 2016.</ref>
<blockquote>Complex numbers can be constructed as ordered pairs of real numbers, similar to how integers can be constructed as ordered pairs of natural numbers and rational numbers as ordered pairs of integers. For complex numbers, <source lang=j inline>j.</source> plays the same role as <source lang=apl inline>-</source> for integers and <source lang=apl inline>÷</source> for rational numbers. </blockquote>
<blockquote>Complex numbers can be constructed as ordered pairs of real numbers, similar to how integers can be constructed as ordered pairs of natural numbers and rational numbers as ordered pairs of integers. For complex numbers, <source lang=j inline>j.</source> plays the same role as <source lang=apl inline>-</source> for integers and <source lang=apl inline>÷</source> for rational numbers. </blockquote>
Hui goes on to quote [[Adám Brudzewsky]]:<ref>[[Roger Hui|Hui, Roger]]. [https://forums.dyalog.com/viewtopic.php?f=30&t=1786&p=7020&hilit=complex+imaginary#p7020 ⊕ and ⊗]. Dyalog Forums. 13 Jul 2021.</ref>
In a later blog post, Hui quoted [[Adám Brudzewsky]]:<ref>[[Roger Hui]]. [https://forums.dyalog.com/viewtopic.php?f=30&t=1786&p=7020&hilit=complex+imaginary#p7020 ⊕ and ⊗]. Dyalog Forums. 2021-06-13.</ref>
<blockquote>(…) I’d probably go for <source lang=apl inline>⊕</source> because:
<blockquote>(…) I’d probably go for <source lang=apl inline>⊕</source> because:


Line 21: Line 21:
Moreover, complex numbers are commonly represented by magnitude and phase. So if you have a magnitude and phase, how do you get the number so represented? Why <source lang=apl inline>k←{⍺←1 ⋄ ⍺×*0j1×⍵}</source> (or <source lang=apl inline>{⍺←1 ⋄ ⍺×*⊕⍵}</source>) of course. And what symbol would you use? <source lang=apl inline>⊗</source> (Monadic <source lang=apl inline>⊗</source>, with a default magnitude of 1, gets you a point on the unit circle.)
Moreover, complex numbers are commonly represented by magnitude and phase. So if you have a magnitude and phase, how do you get the number so represented? Why <source lang=apl inline>k←{⍺←1 ⋄ ⍺×*0j1×⍵}</source> (or <source lang=apl inline>{⍺←1 ⋄ ⍺×*⊕⍵}</source>) of course. And what symbol would you use? <source lang=apl inline>⊗</source> (Monadic <source lang=apl inline>⊗</source>, with a default magnitude of 1, gets you a point on the unit circle.)
</blockquote>
</blockquote>
== Examples ==
== Examples ==


Revision as of 14:24, 10 August 2022

⌾

Complex (⌾) is a dyadic scalar function which combines its arguments into a complex number having with the left argument as real part and the right argument as imaginary part. It was added to J as j. together with initial support for complex numbers, and was adopted in Extended Dyalog APL using the glyph ⌾ because it was seen as a type of numerical composition (∘) for the circular (○) domain. Complex shares its glyph with Imaginary which is equivalent to applying Complex with a left argument of 0.

History

The question of whether to include this function is one of Roger Hui's 50 exercises in APL language design:[1]

Complex numbers can be constructed as ordered pairs of real numbers, similar to how integers can be constructed as ordered pairs of natural numbers and rational numbers as ordered pairs of integers. For complex numbers, j. plays the same role as - for integers and ÷ for rational numbers.

In a later blog post, Hui quoted Adám Brudzewsky:[2]

(…) I’d probably go for ⊕ because:

  • it is more clearly related to ○ (for which the monadic form is also a simple multiplication)
  • it consists of two overstruck basic APL symbols
  • it looks more harmonic (in my eyes)

Oh, and Euler’s formula turns out beautiful (to my taste) with it: 

0 = 1+*⊕○1
0 = 1+*○⊕1

Hui continues:

On further reflection, I like the ⊕ symbol for j←{⍺←0 ⋄ ⍺+0j1×⍵}. If there are existing interpretation of it this one should predominate, if the function is as important as I think it is. (Peer to - and ÷, etc.)

Moreover, complex numbers are commonly represented by magnitude and phase. So if you have a magnitude and phase, how do you get the number so represented? Why k←{⍺←1 ⋄ ⍺×*0j1×⍵} (or {⍺←1 ⋄ ⍺×*⊕⍵}) of course. And what symbol would you use? ⊗ (Monadic ⊗, with a default magnitude of 1, gets you a point on the unit circle.)

Examples

Try it online!

      ¯2 9 5 ⌾ 3 ¯4 6
¯2J3 9J¯4 5J6
Works in: Extended Dyalog APL

Documentation

References

  1. ↑ Roger Hui. Some Exercises in APL Language Design. §8 Imaginary/Complex and sample answer. Jsoftware. 2016.
  2. ↑ Roger Hui. ⊕ and ⊗. Dyalog Forums. 2021-06-13.
APL built-ins [edit]
Primitives (Timeline) Functions
Scalar
Monadic Conjugate ∙ Negate ∙ Signum ∙ Reciprocal ∙ Magnitude ∙ Exponential ∙ Natural Logarithm ∙ Floor ∙ Ceiling ∙ Factorial ∙ Not ∙ Pi Times ∙ Roll ∙ Type ∙ Imaginary ∙ Square Root ∙ Round
Dyadic Add ∙ Subtract ∙ Times ∙ Divide ∙ Residue ∙ Power ∙ Logarithm ∙ Minimum ∙ Maximum ∙ Binomial ∙ Comparison functions ∙ Boolean functions (And, Or, Nand, Nor) ∙ GCD ∙ LCM ∙ Circular ∙ Complex ∙ Root
Non-Scalar
Structural Shape ∙ Reshape ∙ Tally ∙ Depth ∙ Ravel ∙ Enlist ∙ Table ∙ Catenate ∙ Reverse ∙ Rotate ∙ Transpose ∙ Raze ∙ Mix ∙ Split ∙ Enclose ∙ Nest ∙ Cut (K) ∙ Pair ∙ Link ∙ Partitioned Enclose ∙ Partition
Selection First ∙ Pick ∙ Take ∙ Drop ∙ Unique ∙ Identity ∙ Stop ∙ Select ∙ Replicate ∙ Expand ∙ Set functions (Intersection ∙ Union ∙ Without) ∙ Bracket indexing ∙ Index ∙ Cartesian Product ∙ Sort
Selector Index generator ∙ Grade ∙ Index Of ∙ Interval Index ∙ Indices ∙ Deal ∙ Prefix and suffix vectors
Computational Match ∙ Not Match ∙ Membership ∙ Find ∙ Nub Sieve ∙ Encode ∙ Decode ∙ Matrix Inverse ∙ Matrix Divide ∙ Format ∙ Execute ∙ Materialise ∙ Range
Operators Monadic Each ∙ Commute ∙ Constant ∙ Replicate ∙ Expand ∙ Reduce ∙ Windowed Reduce ∙ Scan ∙ Outer Product ∙ Key ∙ I-Beam ∙ Spawn ∙ Function axis ∙ Identity (Null, Ident)
Dyadic Bind ∙ Compositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner Product ∙ Determinant ∙ Power ∙ At ∙ Under ∙ Rank ∙ Depth ∙ Variant ∙ Stencil ∙ Cut ∙ Direct definition (operator) ∙ Identity (Lev, Dex)
Quad names Index origin ∙ Comparison tolerance ∙ Migration level ∙ Atomic vector
Retrieved from ‘https://aplwiki.com/index.php?title=Complex_(function)&oldid=8949’