User blog comment:DrCeasium/new hyperfactorial array notation/@comment-5150073-20130415141127/@comment-7484840-20130415142734

I meant that in BEAF, a 3^^4 array of 3's (3^^4 & 3) (as in a tetrational array defined by the tetration 3^^4) would simplify to 3^3^3^3 & 3, and this could be simplified down to a  3^7625597484987 & 3 array (3^3^3 =  3^7625597484987), and solved as a  7625597484987D array of 3's, not a  3^7625597484987 long linear array, because, although they have the same number of entries, taking a smaller example, {3,3,3(1)3,3,3} != {3,3,3,3,3,3}, because when evaluating the 1st entry on a line, there will be no copilot, so in fact,  {3,3,3(1)3,3,3} < {3,3,3,3,3,3}.

My point was that, if you had a tetrational, pentational array or higher, you could simplify it down to a dimensional array, by just evaluating it until it had only one exponentiation, and then solve it as a dimensional array without changing the final value.

So yes I am aware of that.