Originally Posted by
Deedlit11
It's for mathematical research. Each term stands for an ordinal, and the function f stands for the extended Veblen function. For my research I need to be able to manipulate these ordinals, and do stuff to them like add, multiply, exponentiate, and take fundamental sequences. For example, the nth term in the fundamental sequence of f(X + f(0)) is f(X) + f(X) ... + f(X) with n f(X)'s, where X is some term. So in this case I would need to delete the f(0), replicate the structure n times, then combine them with +'s. So the operations get pretty complex.