08/10/2009, 06:15 PM
(This post was last modified: 08/10/2009, 06:17 PM by Base-Acid Tetration.)

so make iter[] an operator like i said. how are we gonna pronounce it anyway.

Tetratophile Wrote:just make iter[] an operator on functions. then we can square it like any other operators. iter^2 means doing iter twice.

iter^-1[] is the inverse of iter[], it extracts the function you built the iter-function out of. so iter^-1[tetra-exponential]= exponential. this is more generalizable.

also, abel[f] := [iter(f)]^-1, iter[f] considered as a function.

examples:

iter-addition is multiplication, abel-addition is division

iter-iter-addition is exponentiation, abel-iter-addition is logarithm,

we can call the tetrational iter-iter-iter-addition, or iter^3-addition, and tetralogarithm abel-iter^2-addition.

iter^N-addition is (N+1)-ation, abel-iter^(N-1)-addition is N+1-logarithm.

we may be able to do away with all the hyper-n-operator s*it.