Index

# Tablature

# Postponed operators

Hands on! We evaluate a*{c}b superpower stars by putting postponed operations +*{s}t right on top. The prefixed plus sign postpones the right superstar operation until the same number of stars occur on the left. This enhanced system has a better resolution, useful for comparisons.

Define how postponed superstars work. Use {k} RepExp to repeat signs, so that for example 2*{4}3 = 2****3 whose reduction train is shown in the left column of the table below.
The underscore _ signifies an arbitrary part, not changed by the operation.

  • a^..b ^:c = a*..b *:c1 = a*{c1}b = a,{c2}b
  • _a*{c1}b1 = _a*{c1}b+*{c}a
  • _a*{c1}b1+*{s}t = _a*{c1}b+*{c}a+*{s}t
  • _+*{c}a+*{s}t = _+*{c}a*{s}t
  • _a*{c}1+_ = _a+_

Postponed addition in a*{c>1}b++t benefits from an extra plus sign, to distinguish it from a*b+t which works like ordinary addition (in the table below).
Expressions of the first row of Btrix (abbreviated to Bx in the table head) is translated to postponed superstars format in the column left.
An alternative system By is presented in the right columns, its iterator entries are counted down to 1 (instead of 0) and By can be read as a row of up-arrow operations.

Calculation of 11,,,,,111 = 1.. :65536
  ** Bx to ,0 ^ By to ,1
1 2****3 2,,,,,3 2^^^3 2,3,1,1,1,1,2
2 2****2+***2 2,2,,,,2 2^^2^^2 2,1,1,1,1,4,1
2,2,1,1,1,3
3 2****1+***2***2
2+***2***2
2,,,,2,1
4 2+***2***1+**2
2+***2+**2
2,2,,,1,1 2^^(2^2) 2,2,1,1,2,2
5 2+***2**2 2,,,2,,1
6 2+***2**1+*2
2+***2+*2
2,2,,1,,1 2^^(2*2) 2,2,1,2,1,2
7 2+***2*2 2,,2,,,1
8 2+***2*1+2
2+***2+2
2,2,1,,,1 2^^(2+2) 2,2,2,1,1,2
9 2+***4 2,4,,,,1 2^^4 2,4,1,1,1,2
10 2***4 2,,,,4,
11 2***3+**2 2,2,,,3, 2^2^2^2 2,1,1,1,5,1
2,2,1,1,4
12 2***2+**2**2 2,,,2,2,
13 2***2+**2**1+*2
2***2+**2+*2
2,2,,1,2, 2^2^(2*2) 2,2,1,2,3
14 2***2+**2*2 2,,2,,2,
15 2***2+**2*1+2
2***2+**2+2
2,2,1,,2, 2^2^(2+2) 2,2,2,1,3
16 2***2+**4 2,4,,,2, 2^2^4 2,4,1,1,3
17 2***1+**2**4
2+**2**4
2,,,4,1,
18 2+**2**3+*2 2,2,,3,1, 2^(2*2*2*2) 2,2,1,4,2
19 2+**2**2+*2*2 2,,2,2,1,
20 2+**2**2+*2*1+2
2+**2**2+*2+2
2,2,1,2,1, 2^(2*2*(2+2)) 2,2,2,3,2
21 2+**2**2+*4 2,4,,2,1, 2^(2*2*4) 2,4,1,3,2
22 2+**2**1+*2*4
2+**2+*2*4
2,,4,1,1,
23 2+**2+*2*3+2 2,2,3,1,1, 2^(2*(2+2+2+2)) 2,2,4,2,2
24 2+**2+*2*2+4 2,4,2,1,1, 2^(2*(2+2+4)) 2,4,3,2,2
25 2+**2+*2*1+6
2+**2+*2+6
2,6,1,1,1, 2^(2*(2+6)) 2,6,2,2,2
26 2+**2+*8 2,8,,1,1, 2^(2*8) 2,8,1,2,2
27 2+**2*8 2,,8,,1,
28 2+**2*7+2 2,2,7,,1, 2^(.2+..2) :7 2,2,8,1,2
29 2+**2*6+4 2,4,6,,1, 2^(.2+..4) :6 2,4,7,1,2
30 2+**2*5+6 2,6,5,,1, 2^(.2+..6) :5 2,6,6,1,2
31 2+**2*4+8 2,8,4,,1, 2^(.2+..8) :4 2,8,5,1,2
32 2+**2*3+10 2,10,3,,1, 2^(2+2+2+10) 2,10,4,1,2
33 2+**2*2+12 2,12,2,,1, 2^(2+2+12) 2,12,3,1,2
34 2+**2*1+14
2+**2+14
2,14,1,,1, 2^(2+14) 2,14,2,1,2
35 2+**16 2,16,,,1, 2^16 2,16,1,1,2
36 2**16 2,,,16,,
37 2**15+*2 2,2,,15,, 2*..2 :15
2*..2*2 :14
2,1,1,17,1
2,2,1,16
38 2**14+*2*2 2,,2,14,,
39 2**14+*2*1+2
2**14+*2+2
2,2,1,14,, 2*..(2+2) :14 2,2,2,15
40 2**14+*4 2,4,,14,, 2*..4 :14
2*..2*4 :13
2,4,1,15
41 2**13+*2*4 2,,4,13,,
42 2**13+*2*3+2 2,2,3,13,, 2*..(2+2+2+2) :13 2,2,4,14
43 2**13+*2*2+4 2,4,2,13,, 2*..(2+2+4) :13 2,4,3,14
44 2**13+*2*1+6
2**13+*2+6
2,6,1,13,, 2*..(2+6) :13 2,6,2,14
45 2**13+*8 2,8,,13,, 2*..8 :13
2*..2*8 :12
2,8,1,14
46 2**12+*2*8 2,,8,12,,
47 2**12+*2*7+2 2,2,7,12,, (2*){12}((2+){7}2) 2,2,8,13
48 2**12+*2*6+4 2,4,6,12,, (2*){12}((2+){6}4) 2,4,7,13
49 2**12+*2*5+6 2,6,5,12,, (2*){12}((2+){5}6) 2,6,6,13
50 2**12+*2*4+8 2,8,4,12,, (2*){12}((2+){4}8) 2,8,5,13
51 2**12+*2*3+10 2,10,3,12,, (2*){12}(2+2+2+10) 2,10,4,13
52 2**12+*2*2+12 2,12,2,12,, (2*){12}(2+2+12) 2,12,3,13
53 2**12+*2*1+14
2**12+*2+14
2,14,1,12,, (2*){12}(2+14) 2,14,2,13
54 2**12+*16 2,16,,12,, 2*..16 :12
2*..2*16 :11
2,16,1,13
55 2**11+*2*16 2,,16,11,,
56 2**11+*2*15+2 2,2,15,11,, (2*){11}((2+){15}2) 2,2,16,12
57 2**11+*2*14+4 2,4,14,11,, (2*){11}((2+){14}4) 2,4,15,12
58 2**11+*2*13+6 2,6,13,11,, (2*){11}((2+){13}6) 2,6,14,12
 
68 2**11+*2*3+26 2,26,3,11,, (2*){11}((2+){3}26) 2,26,4,12
69 2**11+*2*2+28 2,28,2,11,, (2*){11}((2+){2}28) 2,28,3,12
70 2**11+*2*1+30
2**11+*2+30
2,30,1,11,, (2*){11}((2+){1}30)
(2*){11}(2+30)
2,30,2,12
71 2**11+*32 2,32,,11,, 2*..32 :11
2*..2*32 :10
2,32,1,12
72 2**10+*2*32 2,,32,10,,
73 2**10+*2*31+2 2,2,31,10,, (2*){10}((2+){31}2) 2,2,32,11
74 2**10+*2*30+4 2,4,30,10,, (2*){10}((2+){30}4) 2,4,31,11
 
102 2**10+*2*2+60 2,60,2,10,, (2*){10}((2+){2}60) 2,60,3,11
103 2**10+*2*1+62
2**10+*2+62
2,62,1,10,, (2*){10}(2+62) 2,62,2,11
104 2**10+*64 2,64,,10,, 2*..64 :10
2*..2*64 :9
2,64,1,11
105 2**9+*2*64 2,,64,9,,
106 2**9+*2*63+2 2,2,63,9,, (2*){9}((2+){63}2) 2,2,64,10
 
168 2**9+*2+126 2,126,1,9,, (2*){9}(2+126) 2,126,2,10
169 2**9+*128 2,128,,9,, 2*..128 :9 2,128,1,10
170 2**8+*2*128 2,,128,8,,
 
298 2**8+*256 2,256,,8,, 2*..256 :8 2,256,1,9
 
555 2**7+*512 2,512,,7,, 2*..512 :7 2,512,1,8
 
1068 2**6+*1024 2,1024,,6,, 2*..1024 :6 2,1024,1,7
 
2093 2**5+*2048 2,2048,,5,, 2*..2048 :5 2,2048,1,6
 
4142 2**4+*4096 2,4096,,4,, 2*..4096 :4 2,4096,1,5
 
8239 2**3+*8192 2,8192,,3,, 2*..8192 :3 2,8192,1,4
 
16432 2**2+*16384 2,16384,,2,, 2*..16384 :2 2,16384,1,3
 
32817 2**1+*32768
2+*32768
2,32768,,1,, 2*..32768 :1
2*32768
2,32768,1,2
32818 2*32768 2,,32768,,,
32819 2*32767+2 2,2,32767,,, 2+..2 :32767 2,0,32769,1
2,2,32768
32820 2*32766+4 2,4,32766,,, 2+..4 :32766 2,4,32767
 
65584 2*2+65532 2,65532,2,,, 2+..65532 :2 2,65532,3
65585 2*1+65534
2+65534
2,65534,1,,, 2+65534 2,65534,2
65586 65536 2,65536,,,, 65536 2,65536,1
2,65536
65587 65536 65536

by Giga Gerard
mathematical artist

People can read this article plain or choose the hard & fast & open version.