An expression in Hyper-E is of the form:
b^p#q# ... #y#z
where b,p,q,...,y,z are all positive integers. It must contain at least 2 arguments (b and p) to count as a Hyper-E expression, but otherwise may have any positive integer number of arguments.
The following rules should be checked for and applied in the order presented.
I. Base Law - If there are exactly 2 arguments:
b^p = b to the power of p
II. Termination Law - If the last argument is 1:
b^p...#1 = b^p...
III. Recursive Law - Otherwise:
b^...y#z = b^...(b^...y#(z-1))
Usage Notes:
If the value of b (the base) is 10, "b^" may be replaced with "E" instead. E is preferred when the base is 10 even though "10^" is also valid. For other bases the notation "b^" is preferred.