Tupper's self-referential formula: Difference between revisions
Content added Content deleted
Line 146: | Line 146: | ||
Produces the following text-based image, |
Produces the following text-based image, |
||
[[File:J Tupper image.png]] |
|||
{{out}} |
|||
<pre> |
|||
* * * ** * * * * * * * ** * * * |
|||
* * * * * * * * * * * * * * * * * |
|||
** * * * * ** * * * * * * ** **** *** *** * * * * * * * * * * |
|||
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * |
|||
* * * * * * * * * * * * * * * * *** *** * * * * * * * * * |
|||
* * * * * * * ** * * * * * * * * ** * * |
|||
*** * * * * * * * * * * * * * * * * * * * * |
|||
* * ** * ** *** * * * * *** *** * *** *** * * * * * |
|||
*** * * * * * * * * * * * **** * * * * * |
|||
* * * * * * * * * * * * * * * * |
|||
** * * * * * ** *** * * * ** * **** **** * * |
|||
* * * * * * * * * * |
|||
* * * * * * * * * * |
|||
* * * * * * * * * * |
|||
*** * * * * * * * * |
|||
* * * * * * |
|||
*** * *** *** * *** |
|||
</pre> |
|||
The code is tacit and fixed (in other words, it is point-free): |
The code is tacit and fixed (in other words, it is point-free): |
||
<syntaxhighlight lang="j"> _80 [\ (5!:5) <'Tupperimage' |
<syntaxhighlight lang="j"> _80 [\ (5!:5) <'Tupperimage' |
||
{&' *'@:([ (] (1r2 < <.@:(2 | (17 %~ ]) * 2 ^ (_17 * <.@:[) - 17x | <.@:])) 9609 |
{&' *'@:([ (] (1r2 < <.@:(2 | (17 %~ ]) * 2 ^ (_17 * <.@:[) - 17x | <.@:])) 9609 |
||
Line 160: | Line 181: | ||
.</syntaxhighlight> |
.</syntaxhighlight> |
||
Alternatively, |
Alternatively, |
||
<syntaxhighlight lang="j">Tuppergraph=. viewmat o ([ load o ('viewmat'"_)) o ([ (] inequality K + [)"0/ |. o ])&:i. |
<syntaxhighlight lang="j">Tuppergraph=. viewmat o ([ load o ('viewmat'"_)) o ([ (] inequality K + [)"0/ |. o ])&:i. |
||
17 Tuppergraph 106</syntaxhighlight> |
17 Tuppergraph 106</syntaxhighlight> |
||
produces the following graph, |
produces the following graph, |
||
[[File:J Tupper graph.png]] |
[[File:J Tupper graph.png]] |
||