{"id":1854,"date":"2015-02-13T06:47:43","date_gmt":"2015-02-13T06:47:43","guid":{"rendered":"http:\/\/www.dyalog.com\/blog\/?p=1854"},"modified":"2015-02-13T07:47:22","modified_gmt":"2015-02-13T07:47:22","slug":"changes-of-heart","status":"publish","type":"post","link":"https:\/\/www.dyalog.com\/blog\/2015\/02\/changes-of-heart\/","title":{"rendered":"Changes of Heart"},"content":{"rendered":"

Karen Shaw started the ball rolling (hearts afluttering?) by asking Jay Foad to come up with a one-liner for St. Valentine’s Day; he then solicited contributions from the language development group. Nick Nickolov responded with the following, with no explanation other than that there is room for improvement:<\/p>\n

\u2395io\u21900 \u22c4 (\u22a2,\u233d)' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a80\u2193n-\u2373(2\u00d7n),n\u219020]\r\n\r\n           XXXXX        XXXXX           \r\n         XXXXXXXXXX  XXXXXXXXXX         \r\n        XXXXXXXXXXXXXXXXXXXXXXXX        \r\n       XXXXXXXXXXXXXXXXXXXXXXXXXX       \r\n       XXXXXXXXXXXXXXXXXXXXXXXXXX       \r\n       XXXXXXXXXXXXXXXXXXXXXXXXXX       \r\n      XXXXXXXXXXXXXXXXXXXXXXXXXXXX      \r\n      XXXXXXXXXXXXXXXXXXXXXXXXXXXX      \r\n      XXXXXXXXXXXXXXXXXXXXXXXXXXXX      \r\n      XXXXXXXXXXXXXXXXXXXXXXXXXXXX      \r\n       XXXXXXXXXXXXXXXXXXXXXXXXXX       \r\n       XXXXXXXXXXXXXXXXXXXXXXXXXX       \r\n       XXXXXXXXXXXXXXXXXXXXXXXXXX       \r\n       XXXXXXXXXXXXXXXXXXXXXXXXXX       \r\n        XXXXXXXXXXXXXXXXXXXXXXXX        \r\n        XXXXXXXXXXXXXXXXXXXXXXXX        \r\n        XXXXXXXXXXXXXXXXXXXXXXXX        \r\n         XXXXXXXXXXXXXXXXXXXXXX         \r\n         XXXXXXXXXXXXXXXXXXXXXX         \r\n          XXXXXXXXXXXXXXXXXXXX          \r\n           XXXXXXXXXXXXXXXXXX           \r\n           XXXXXXXXXXXXXXXXXX           \r\n            XXXXXXXXXXXXXXXX            \r\n             XXXXXXXXXXXXXX             \r\n             XXXXXXXXXXXXXX             \r\n              XXXXXXXXXXXX              \r\n               XXXXXXXXXX               \r\n                XXXXXXXX                \r\n                 XXXXXX                 \r\n                   XX                   \r\n<\/code><\/pre>\n
Subsequently, Nick described how he derived the expression:<\/p>\n
Between two meetings I saw Jay’s request for ideas. I sent him a link<\/a> to the Heart Curve on MathWorld, but he thought we’d need graphics for that. To prove that ASCII art is good enough, I tried to plot the set of points (x<\/i>,y<\/i>) where (x<\/i>2<\/sup> + y<\/i>2<\/sup> \u2013 1)3<\/sup> \u2013 x<\/i>2<\/sup> y<\/i>3<\/sup> \u2248 0 but the interpreter crashed with a syserror for some reason. (I don’t recall what I last did and can’t reproduce it.) Since I had to type the whole thing again anyway and I hadn’t been too successful in visualising the solutions of the above equation, I decided to write it in a less beautiful but simpler way: draw half a circle, tilt it, and concatenate a mirror image to form a heart. The moment I got something that resembled a heart, I sent the email and went downstairs for coffee.<\/div>\n
Meanwhile, I changed Nick’s expression in steps in the process of trying to understand it. \u2395io\u21900<\/code> throughout.<\/p>\n
a.<\/strong>\u00a0  (\u22a2,\u233d)' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a80\u2193n-\u2373(2\u00d7n),n\u219020]<\/code>
\nNick’s original expression.<\/p>\n
b.<\/strong>  ,\u2218\u233d\u2368' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a80\u2193n-\u2373(2\u00d7n),n\u219020]<\/code>
\nThe fork (\u22a2,\u233d)<\/code> computes x,\u233dx<\/code> without use of a temporary variable. It is equivalent to ,\u2218\u233d\u2368<\/code>.<\/p>\n
c.<\/strong>  ,\u2218\u233d\u2368' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a8n-\u2373(2\u00d7n),n\u219020]<\/code>
\nThe 0\u2193<\/code> is a no-op and is likely scaffolding left from the development process.<\/p>\n
d.<\/strong>  ,\u2218\u233d\u2368' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a8n-\u23732 1\u00d7n\u219020]<\/code>
\n(2\u00d7n),n\u219020<\/code> is equivalent to 2 1\u00d7n\u219020<\/code>.<\/p>\n
e.<\/strong>  ,\u2218\u233d\u2368' X'[(.5\u00d7n*2)>{+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a8n-\u23732 1\u00d7n\u219020]<\/code><\/p>\n
The comparison with .5\u00d7n*2<\/code> is on the result of the {...}<\/code> and is likely more efficient “outside” rather than explicitly applied to each scalar “inside”. More importantly, moving it outside avoids the use of a lexical global, an aesthetic infelicity (your opinion may differ).<\/p>\n
At this step, it dawned on me that \u2373<\/code> is applied to a 2-element vector, resulting in a 2\u00d7n<\/code> by n<\/code> matrix of 2-element integer vectors:<\/p>\n
   \u23732 1\u00d7n\u219020\r\n\u250c\u2500\u2500\u2500\u252c\u2500\u2500\u2500\u252c\u2500\u2500\u2500\u252c\u2500\u2500\u2500\u252c\u2500\u2500\u2500\u252c\r\n\u25020 0\u25020 1\u25020 2\u25020 3\u25020 4\u2502\r\n\u251c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\r\n\u25021 0\u25021 1\u25021 2\u25021 3\u25021 4\u2502 ...\r\n\u251c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\r\n\u25022 0\u25022 1\u25022 2\u25022 3\u25022 4\u2502\r\n\u251c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\r\n\u25023 0\u25023 1\u25023 2\u25023 3\u25023 4\u2502\r\n\u251c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u253c\r\n     ...\r\n<\/code><\/pre>\n
f.<\/strong>  ,\u2218\u233d\u2368' X'[(.5\u00d7n*2)>\u2283\u2218.{+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/n-\u2373\u00a82 1\u00d7n\u219020]<\/code>
\nThe reduction on each 2-element vector is equivalent to an outer product; that is, f\/\u00a8\u2373a,b<\/code> is equivalent to \u2283\u2218.f\/\u2373\u00a8a,b<\/code>. Not much of a step forward but facilitates what comes next.<\/p>\n
g.<\/strong>  ,\u2218\u233d\u2368' X'[(.5\u00d7n*2)>(n-\u23732\u00d7n)\u2218.{+\/(\u237a-.6\u00d7\u2375)\u2375*2}n-\u2373n\u219020]<\/code>
\nApplying \u2373<\/code> twice removes the reduction and makes the outer product more straightforward.<\/p>\n
h.<\/strong>  ,\u2218\u233d\u2368' X'[(n\u00d7*\u2368.5)>(n-\u23732\u00d7n)\u2218.{|\u2375+0j1\u00d7\u237a-.6\u00d7\u2375}n-\u2373n\u219020]<\/code>
\nThe function {+\/(\u237a-.6\u00d7\u2375)\u2375*2}<\/code> computes the sum-of-squares on \u237a-.6\u00d7\u2375<\/code> and \u2375<\/code>. It is equally the square of the magnitude of a complex number whose real and imaginary parts are the two expressions. The subsequent comparison to .5\u00d7n*2<\/code> has the same outcome if instead we compare the square root of both sides, that is, compare n\u00d7*\u2368.5<\/code> and the magitude (not the square of the magnitude) of the complex number.<\/p>\n
i.<\/strong>  (\u2395ucs 32 9829)[(n\u00d7*\u2368.5)>i\u2218.{|\u2375+0j1\u00d7\u237a-.6\u00d7\u2375}|i\u2190n-\u23732\u00d7n\u219020]<\/code><\/p>\n
A couple of ideas here: (0) Instead of using X<\/code> in the picture, use the heart symbol, Unicode codepoint 9829. (1) Instead of creating half a heart and then stitching the two halves together with ,\u2218\u233d\u2368<\/code>, the whole heart can be created using an appropriate right argument to the outer product.<\/p>\n
This result differs slightly from the previous ones, but makes a prettier picture.<\/p>\n
j.<\/strong>  ' \u2665'[(n\u00d7*\u2368.5)>\u2218.(|1 \u00af.6j1+.\u00d7,)\u2218|\u2368n-\u23732\u00d7n\u219020]<\/code><\/p>\n
I remembered that Unicode codepoints can be included directly in an APL expression, so \u2395ucs 32 9829<\/code> can be replaced by ' \u2665'<\/code>. (Much to my relief. Talk about lack of aesthetics!)<\/p>\n
The arguments to the outer product are i<\/code> and |i<\/code>, and i<\/code> can be eliminated altogether by doing f\u2218|\u2368<\/code> instead of i f |i<\/code>.<\/p>\n
The function {|\u2375+0j1\u00d7\u237a-.6\u00d7\u2375}<\/code>, which computes the magnitude of a complex number, remains the same if the real and imaginary parts are switched, and in this case it is advantageous to switch them for brevity. Moreover, the computation can be coded as a train involving an inner product.<\/p>\n
k.<\/strong>  ' \u2665'[(n\u00d7*\u2368.5)>|\u2218.{\u237a-\u2375\u00d7.6j1}\u2218|\u2368n-\u23732\u00d7n\u219020]<\/code>
\nSometimes, trains are better coded as dfns. The magnitude |<\/code> is moved “outside”, and is unchanged if the complex coefficient is replaced by the negation of its conjugate and the operation changed from +<\/code> to -<\/code>.<\/p>\n
l.<\/strong>  ' \u2665'[(n\u00f72*\u00f72)>|i\u2218.-.6j1\u00d7|i\u2190n-\u23732\u00d7n\u219020]<\/code>
\nThe expression can be shortened by using the variable i<\/code> after all (last seen in step i<\/strong>). Replace n\u00d7*\u2368.5<\/code> by n\u00f72*\u00f72<\/code> and voil\u00e0<\/em>, a retro expression without dfns, trains, or any of them new-fangled operators.<\/p>\n
In summary<\/strong><\/p>\n
a.<\/strong>     (\u22a2,\u233d)' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a80\u2193n-\u2373(2\u00d7n),n\u219020]<\/code>\r\nb.<\/strong>     ,\u2218\u233d\u2368' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a80\u2193n-\u2373(2\u00d7n),n\u219020]<\/code>\r\nc.<\/strong>     ,\u2218\u233d\u2368' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a8n-\u2373(2\u00d7n),n\u219020]<\/code>\r\nd.<\/strong>     ,\u2218\u233d\u2368' X'[{(.5\u00d7n*2)>+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a8n-\u23732 1\u00d7n\u219020]<\/code>\r\ne.<\/strong>     ,\u2218\u233d\u2368' X'[(.5\u00d7n*2)>{+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/\u00a8n-\u23732 1\u00d7n\u219020]<\/code>\r\nf.<\/strong>     ,\u2218\u233d\u2368' X'[(.5\u00d7n*2)>\u2283\u2218.{+\/(\u237a-.6\u00d7\u2375)\u2375*2}\/n-\u2373\u00a82 1\u00d7n\u219020]<\/code>\r\ng.<\/strong>     ,\u2218\u233d\u2368' X'[(.5\u00d7n*2)>(n-\u23732\u00d7n)\u2218.{+\/(\u237a-.6\u00d7\u2375)\u2375*2}n-\u2373n\u219020]<\/code>\r\nh.<\/strong>     ,\u2218\u233d\u2368' X'[(n\u00d7*\u2368.5)>(n-\u23732\u00d7n)\u2218.{|\u2375+0j1\u00d7\u237a-.6\u00d7\u2375}n-\u2373n\u219020]<\/code>\r\ni.<\/strong>     (\u2395ucs 32 9829)[(n\u00d7*\u2368.5)>i\u2218.{|\u2375+0j1\u00d7\u237a-.6\u00d7\u2375}|i\u2190n-\u23732\u00d7n\u219020]<\/code>\r\nj.<\/strong>     ' \u2665'[(n\u00d7*\u2368.5)>\u2218.(|1 \u00af.6j1+.\u00d7,)\u2218|\u2368n-\u23732\u00d7n\u219020]<\/code>\r\nk.<\/strong>     ' \u2665'[(n\u00d7*\u2368.5)>|\u2218.{\u237a-\u2375\u00d7.6j1}\u2218|\u2368n-\u23732\u00d7n\u219020]<\/code>\r\nl.<\/strong>     ' \u2665'[(n\u00f72*\u00f72)>|i\u2218.-.6j1\u00d7|i\u2190n-\u23732\u00d7n\u219020]<\/code>\r\n<\/pre>\n","protected":false},"excerpt":{"rendered":"
Karen Shaw started the ball rolling (hearts afluttering?) by asking Jay Foad to come up with a one-liner for St. Valentine’s Day; he then solicited contributions from the language development group. Nick Nickolov responded with the following, with no explanation … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":13,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[13,8],"tags":[],"class_list":["post-1854","post","type-post","status-publish","format-standard","hentry","category-algorithms","category-apl-language"],"_links":{"self":[{"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/posts\/1854","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/users\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/comments?post=1854"}],"version-history":[{"count":11,"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/posts\/1854\/revisions"}],"predecessor-version":[{"id":2120,"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/posts\/1854\/revisions\/2120"}],"wp:attachment":[{"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/media?parent=1854"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/categories?post=1854"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.dyalog.com\/blog\/wp-json\/wp\/v2\/tags?post=1854"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}