User:Wythagoras/Dollar function/Dimensional Array Notation

Dimensional Array Notation is the fourth part of Dollar Function.

Entries notation
If we have for example \(0][0]2(1)1\), it has \(\omega2+2\) entries. But how to do that? For that, we use entries notation. The expression is equal to \(e(\underbrace{[0],[0]...[0][0]}_{[0][0]},[0],[0])\). We start with the part outside the brace, solving a [0] when needed. But if it is done, we put it back to \(0][0](1)1\) with a much, much larger a.

Formal definition
\(\bullet\) can be anything

\(\circ\) is a group of brackets. 1. If there is nothing after the $, the array is solved. The value of the array is the number before the $.

2. \(a\$b\bullet=(a+b)\$\bullet\)

3. \(a\$\circ[0]\bullet\circ=a\$\circ a\bullet\circ\)

4. \(a\$\circ[\bullet+1]_c\bullet\circ=a\$\circ[\bullet]_c[\bullet]_c...[\bullet]_c[\bullet]_c\bullet\circ\) with a \(\bullet\)'s

5. If the bracket contains a zero and the bracket has other content, you can remove the zero.

6. If the active bracket has level k and a zero in it, search for the least nested bracket with level (k-1) with the same array in it, nest that bracket a times in the place of the level k bracket and put [0] on the place where the active bracket was.

7. \( b\bullet,c = [[0,c-1]_{[b-1\bullet,c][b-1\bullet,c]}]\)

8. \( \diamond,b\bullet,c,\bullet = [[\diamond,[\diamond,b\bullet,c-1,\bullet]_{[\diamond,b-1\bullet,c,\bullet][\diamond,b-1\bullet,c,\bullet]},c-1,\bullet]\)

9. \([\diamond,0,c,\bullet] = [\diamond,[0],c-1,\bullet]\)

10 \(a\$b\bullet(c\bullet)d = a\$[e(\underbrace{[0],[0]...[0][0]}_{[0][0]},[0],[0])\)

S1. The outermost bracket is always level 1

S2. If there is no bracket with level (k-1), add it directly after the level k bracket.

S3. Zeroes at the and of the array must be removed

The active bracket is the bracket with the lowest level. The brackets can be ordered by level in FGH, and then removing outermost bracket. Or you look to: smallest bracket type, least number of nestings, smallest number inside the bracket.