Changes: Extensible-E System

Revision as of 23:55, 24 December 2020

The Extensible-E System (ExE) is an array notation by Sbiis Saibian.^[1] It is a blanket term for the following notations (each one an extension of the last) and any future extensions to come:

Hyper-E Notation (E#)
Extended Hyper-E Notation (xE#)
Cascading-E Notation (E^)
Extended Cascading-E Notation (xE^)
Hyper-Extended Cascading-E Notation (#xE^)

Basics

The form of every ExE expression is Ea$a$a$ ... $a$a where each a is a positive integer, and each $ is a delimiter. A delimiter is a special string of one or more symbols with a syntax and alphabet defined by the notation in question:

Hyper-E has only one delimiter, #
Extended Hyper-E allows one or more copies of #
Cascading-E Notation introduces ^*()
Extended Cascading-E Notation introduces >+
Hyper-Extended Cascading-E Notation introduces {}
(WIP) Hyper-Hyper-Extended Cascading-E Notation Introduces {Arrays of delimeters}
(WIP) Solidus Cascading-E Notation Introduces /

The latter notations also introduce fundamental sequences (named after an equivalent concept in ordinal theory) for some types of delimiters.

All ExE type notations follow 5 fundamental laws. These laws have priority, where the earlier the law, the higher priority it has. The priority of any given law only fails if its conditions are not met, in which case one proceeds to the next law. The first law whose conditions are met is the one that is executed. Such a law is guaranteed to exist because the last law has no requirements other than the failure of all the previous laws. The 5 laws are:

1. Base Case. If there is only a single argument: En = 10^n

2. Decomposition Case. If the last delimiter is decomposable: @m&n = @m&[n]m

3. Terminating Case. If the last argument = 1: @&1 = @

4. Expansion Case. If the last delimiter is not the proto-hyperion: @m&*#n = @m&m&*#(n-1)

5. Recursive Case. Otherwise: @m#n = @(@m#(n-1))

The laws are set up so many necessary conditions are implicit. For example, the decomposition case wouldn't apply unless there is more than one argument. This doesn't need to be explicitly stated because the decomposition case can only apply if the base case has already failed, which can only happen if there is more than one argument. Consequently although the last law has no conditions, in fact it can only apply if there is at least two arguments, the last argument is greater than one, and the last delimiter is the proto-hyperion.

For the lowest level notations, some of the rules may never apply. For example in xE#, there are no decomposable delimiters, so Rule 2 never applies. In E#, there is only the hyperion as a delimiter, so neither Rule 2 or Rule 4 ever applies.

Sources

↑ Saibian, Sbiis. https://sites.google.com/site/largenumbers/home/4-3/cascading-e. Retrieved February 2014.

[1] Saibian, Sbiis. https://sites.google.com/site/largenumbers/home/4-3/cascading-e. Retrieved February 2014.

[1]

@@ Line 1: / Line 1: @@
-The '''Extensible-E System''' (ExE) is a work-in-progress array notation by [[Sbiis Saibian]].<ref>{{cite web|last=Saibian|first=Sbiis|url=https://sites.google.com/site/largenumbers/home/4-2/cascading-e|accessdate=May 2013}}</ref> It is a blanket term for [[Hyper-E Notation]], [[Extended Hyper-E Notation]], [[Cascading-E Notation]], [[Extended Cascading-E Notation]], and any future extensions to come.
+The '''Extensible-E System''' (ExE) is an array notation by [[Sbiis Saibian]].<ref>{{cite web|last=Saibian|first=Sbiis|url=https://sites.google.com/site/largenumbers/home/4-3/cascading-e|accessdate=February 2014}}</ref> It is a blanket term for the following notations (each one an extension of the last) and any future extensions to come:
+* [[Hyper-E Notation]] (E#)
-ExE could also be called "SAN" (Saibian's array notation), similar to BAN (Bird's array notation) or HAN (Hyperfactorial array notation or Hollom's array notation). <!-- Also because "BEAF, BAN, HAN, SAN" is fun to say. -->
+* [[Extended Hyper-E Notation]] (xE#)
+* [[Cascading-E Notation]] (E^)
+* [[Extended Cascading-E Notation]] (xE^)
+* [[Hyper-Extended Cascading-E Notation]] (#xE^)
+== Basics ==
-All notations in Extensible-E have a number of standardized traits. All notations can be expressed generically in the form:
+The form of every ExE expression is <code>Ea$a$a$ ... $a$a</code> where each ''a'' is a positive integer, and each ''$'' is a ''delimiter''. A delimiter is a special string of one or more symbols with a syntax and alphabet defined by the notation in question:
-Ea&a&a& ... &a&a
+* Hyper-E has only one delimiter, <code>#</code>
-where the a's are all positive integer arguments, and the &'s are delimiters chosen from the delimiter set defined for the particular notation. Each notation also defines fundamental sequences for all decomposition delimiters.
+* Extended Hyper-E allows one or more copies of <code>#</code>
+* Cascading-E Notation introduces <code>^*()</code>
+* Extended Cascading-E Notation introduces <code>>+</code>
+* Hyper-Extended Cascading-E Notation introduces <code>{}</code>
+* (WIP) Hyper-Hyper-Extended Cascading-E Notation Introduces {Arrays of delimeters}
+* (WIP) Solidus Cascading-E Notation Introduces /
+The latter notations also introduce ''fundamental sequences'' (named after an equivalent concept in ordinal theory) for some types of delimiters.
-Hyper-E only allows use of the single hyperion ( # ) as a delimiter.
+All ExE type notations follow 5 fundamental laws. These laws have priority, where the earlier the law, the higher priority it has. The priority of any given law only fails if its conditions are not met, in which case one proceeds to the next law. The first law whose conditions are met is the one that is executed. Such a law is guaranteed to exist because the last law has no requirements other than the failure of all the previous laws. The 5 laws are:
-Extended Hyper-E uses delimiters below #^#.
+'''1. Base Case.'''
-Cascading-E Notation uses delimiters below #^^#.
-Extended Cascading-E Notation uses delimiters below #{#}#.
-== Fundamental laws ==
-All ExE type notations follow 5 fundamental laws. These laws have priority, where the earlier the rule, the higher priority it has. Only if the condition of that rule are not met does one progress to check for the next rule. The 5 law are:
-'''1. Base Case'''
 If there is only a single argument:
 En = 10^n
-'''2. Decomposition Case'''
+'''2. Decomposition Case.'''
-If the delimiter between the last two arguments is a decomposition delimiter:
+If the last delimiter is decomposable:
 @m&n = @m&[n]m
-'''3. Terminating Case'''
+'''3. Terminating Case.'''
-If the last argument = 1:
+If the last argument = 1: @&1 = @
+'''4. Expansion Case.'''
-@&1 = @
+If the last delimiter is not the proto-hyperion:
-'''4. Expansion Case'''
-If the delimiter between the last two arguments is not the proto-hyperion:
 @m&*#n = @m&m&*#(n-1)
-'''5. Recursive Case'''
+'''5. Recursive Case.'''
 Otherwise:
 @m#n = @(@m#(n-1))
+The laws are set up so many necessary conditions are implicit. For example, the decomposition case wouldn't apply unless there is more than one argument. This doesn't need to be explicitly stated because the decomposition case can only apply if the base case has already failed, which can only happen if there is more than one argument. Consequently although the last law has no conditions, in fact it can only apply if there is at least two arguments, the last argument is greater than one, and the last delimiter is the proto-hyperion.
-For the lowest level notations, some of the rules may never apply. For example in xE#, there are no decomposition delimiters, so Rule 2 never applies. In E#, there is only the hyperion as a delimiter, so neither Rule 2 or Rule 4 ever applies.
+For the lowest level notations, some of the rules may never apply. For example in xE#, there are no decomposable delimiters, so Rule 2 never applies. In E#, there is only the hyperion as a delimiter, so neither Rule 2 or Rule 4 ever applies.
+== See also ==
+*[[Introduction to Extensible-E]]
 == Sources ==
 <references />
+[[zh:擴展-E系統]]
-== See also ==
 [[Category:Functions]]
+[[Category:Functions by Sbiis Saibian]]