Hyperstar X-Notation
Complexed and very powerful notation with an unimaginable growth speed.
Current Extensions
- X-Notation
- Extended X-Notation
- Superextended X-Notation
- Hyperextended X-Notation
TAD
- Iterator - a chain of elements or other iterators (denoted as […])
- Element - positive natural number
- Chain - a set of iterators and elements
- Base - first element
- Recursion - repeating of an array ‘base’ times. ‘<…>’
- Iteration - repeating of elements of array ‘base’ times. ‘…’
- …(c) - repeating of elements of array ‘c’ times.
- # - a part of a chain that does not transformed.
- #_min - a part of a chain that does not transformed (minimal length).
All rules from previous array types is applicable to arrays of follow types, which contain iterators of previous type.
All # are equal to each other correspondingly unless specified separately.
Superscript for braces - count of braces.
X-Notation
- $ X{n} = n + 1 $
- $ X{# ‘ 1} = X{#} $
- $ X{n ‘ c + 1} = X{<…> ‘ c} $
- $ X{#_{min} ‘ 1 ‘ c + 1 ‘ #} = X{# ‘ <…> ‘ c ‘ #} $
- $ X{n[1]} = X{n ‘ n ‘ …} $
- $ X{n[1] ‘ …(d) ‘ 1} = X{n ‘ n ‘ …[1] ‘ …(d)} $
- $ X{n[1] ‘ …(d) ‘ c + 1} = X{n ‘ n ‘ …[1] ‘ …(d) ‘ c} $
- $ X{n[1] ‘ …(d) ‘ #{min} ‘ 1 ‘ c + 1 ‘ #} = X{n[1] ‘ …(d) ‘ #{min} ‘ <…> ‘ c ‘ #} $
- $ X{n[1] ‘ …(d) ‘ 1 ‘ 1 ‘ …(c) ‘ 2} = X{n[1] ‘ …(d) ‘ n ‘ n ‘ …(c)} $
- $ X{n[1] ‘ …(d) ‘ [1]} = X{n[1] ‘ …(d) ‘ n ‘ n ‘ …} $
- $ X{n[c + 1 ‘ #]} = X{n[c ‘ #] ‘ [c ‘ #] ‘ …} $
- $ X{n[c + 1 ‘ #] ‘ …(d) ‘ 1} = X{n[c + 1 ‘ #] ‘ …(d)} $
- $ X{n[c + 1 ‘ #] ‘ …(d) ‘ 2} = X{n[c ‘ #] ‘ [c ‘ #] ‘ …[c + 1 ‘ #] ‘ …(d)} $
- $ X{n[c + 1 ‘ #] ‘ …(d) ‘ e + 1} = X{n[c ‘ #] ‘ [c ‘ #] ‘ …[c + 1 ‘ #] ‘ …(d) ‘ e} $
- $ X{n[c + 1 ‘ #] ‘ …(d) ‘ #{min} ‘ 1 ‘ e + 1 ‘ #} = X{n[c + 1 ‘ #] ‘ …(d) ‘ #{min} ‘ <…> ‘ e ‘ #} $
- $ X{n[c + 1 ‘ #] ‘ …(d) ‘ 1 ‘ 1 ‘ …(e) ‘ 2} = X{n[c + 1 ‘ #] ‘ …(d) ‘ n ‘ n ‘ …(e)} $
- $ X{n[c + 1 ‘ #] ‘ …(d) ‘ [e + 1 ‘ #]} = X{n[c + 1 ‘ #] ‘ …(d) ‘ [e ‘ #] ‘ [e ‘ #] ‘ …} $
- $ X{n[# ‘ 1]} = X{n[#]} $
- $ X{n[1 ‘ 2]} = X{n[n]} $
- $ X{n[#{min} ‘ 1 ‘ c + 1 ‘ #]} = X{n[#{min} ‘ <…> ‘ c ‘ #]} $
- $ X{n[1 ‘ 1 ‘ …(c) ‘ 2]} = X{n[n ‘ n ‘ …(c)]} $
Extended X-Notation
- $ X{n[[1]]} = X{n[n ‘ n ‘ …]} $
- $ X{n[[[1]]]} = X{n[[n ‘ n ‘ …]]} $
- $ X{n[[[[1]]]]} = X{n[[[n ‘ n ‘ …]]]} $
And etc. Note: all rules from X-Notation applicable inside iterator. Iterators are independent objects, and expansion X-Notation rules 6-19 working inside other iterators. like: X{n[[[1’1]]]} = X{n[[[n]]]}
Calculation order: from external to internal chains.
…[[1]]… = …[1[1]]… .
Common recursive rule:
- $ X{n[^c[1]]^c} = X{n[^c n ‘ n ‘ …]^c} $
Superextended X-Notation
Note: in rule 3 of SEHSXN, … used for a chain with repeating iterators.
- $ X{n[1 \backslash 1]} = X{n[1]^n} $
- $ X{n[#{min} \backslash 1 \backslash c + 1 \backslash #]} = X{n[#{min} \backslash [<…>] \backslash c \backslash #]} $
- $ X{n[1 \backslash 1 \backslash …(c + 1)]} = X{n[[<…>] \backslash [<…>] \backslash …(c)]} $
Hyperextended X-Notation
Note: in all rules of HEHSXN, … used for a chain with repeating iterators.
- $ X{n[1 \backslash_2 1]} = X{n[[<…>] \backslash [<…>] \backslash …]} $
- $ X{n[1 \backslash_{s + 1} 1]} = X{n[[<…>] \backslash_s [<…>] \backslash_s …]} $
- $ X{n[1 \backslash_{1 ‘ 2} 1]} = X{n[1 \backslash_n 1]} $
- $ X{n[1 \backslash_{1 → 1} 1]} = X{n[1 \backslash_{<…>} 1]} $
- $ X{n[1 \backslash_{1 → c + 1} 1]} = X{n[1 \backslash_{<…> → c} 1]} $
- $ X{n[1 \backslash_{#{min} → 1 → c + 1 → #} 1]} = X{n[1 \backslash{#_{min} → <…> → c → #} 1]} $
- $ X{n[1 \backslash_{1 →2 1} 1]} = X{n[1 \backslash{n → n → n → …} 1]} $
-
$ X{n[1 \backslash_{1 →{c + 1} 1} 1]} = X{n[1 \backslash{n →_c n →_c n →_c …} 1]} $
- $ X{n[1 \backslash_{1 →{1 → 1} 1} 1]} = X{n[1 \backslash{1 →_{<…>} 1} 1]} $