Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Change of base formula for Tetration
#36
Okay, I've turned my attention back to my solution, as I'd like to get the library (in SAGE) completed. The key to making use of the change of base formula is being able to exponentiate very large numbers, while still maintaining a reasonable amount of "precision".

Eventually, the best way I could find was to do all my math on a double-logarithmic scale. The reason this is the best scale for doing such large operations can be demonstrated easily.



Hence, once we've converted any number into its double-logarithmic equivalent, we can exponentiate one base by exponentiating in the master base and adding a constant. Because we're working with double-logarithms, we can work with very large numbers with full machine precision, without having to have overly large exponents. This is useful for iterating exponentiation in base a. Essentially, once is greater than the number of bits of machine precision we're using, there's no point in further exponentiation, because addition will underflow and the result won't be affected. In other words, at that point, exponentiation in base a and base b is indistinguishable at machine precision (if you haven't understood my change of base formula before now, this should be an "Aha!" moment).

Note that if we're attempting to do a change of base from base a to base b, then we could use a double-logarithmic scale in a third base c. Base e is the simplest base to work with, for two reasons: first, logarithms and exponentiations are all using base e under the hood anyway, and second, the double natural logarithm of my cheta function is the iteration function of the decremented natural exponentiation which we've discussed elsewhere.

However, situations may arise where a different base c is advisable.
~ Jay Daniel Fox
Reply


Messages In This Thread
Change of base formula for Tetration - by jaydfox - 08/12/2007, 06:39 AM
RE: Change of base formula for Tetration - by jaydfox - 08/31/2007, 03:51 AM
RE: Parabolic Iteration - by jaydfox - 08/15/2007, 09:19 PM
RE: Parabolic Iteration - by bo198214 - 08/15/2007, 09:30 PM
RE: Parabolic Iteration - by jaydfox - 08/15/2007, 11:41 PM
RE: Parabolic Iteration - by bo198214 - 08/16/2007, 08:17 AM
RE: Parabolic Iteration - by jaydfox - 08/16/2007, 05:51 PM
RE: Parabolic Iteration - by bo198214 - 08/16/2007, 06:40 PM
RE: Parabolic Iteration - by jaydfox - 08/16/2007, 09:47 PM
RE: Parabolic Iteration - by bo198214 - 08/16/2007, 10:07 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Complex Tetration, to base exp(1/e) Ember Edison 7 1,022 08/14/2019, 09:15 AM
Last Post: sheldonison
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,330 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,165 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Extrapolated Faá Di Bruno's Formula Xorter 1 1,862 11/19/2016, 02:37 PM
Last Post: Xorter
  [2015] 4th Zeration from base change pentation tommy1729 5 5,249 03/29/2015, 05:47 PM
Last Post: tommy1729
  Conjecture on semi-exp base change [2015] tommy1729 0 1,551 03/24/2015, 03:14 PM
Last Post: tommy1729
  tetration base sqrt(e) tommy1729 2 3,063 02/14/2015, 12:36 AM
Last Post: tommy1729
  Explicit formula for the tetration to base [tex]e^{1/e}[/tex]? mike3 1 2,699 02/13/2015, 02:26 PM
Last Post: Gottfried
  tetration base > exp(2/5) tommy1729 2 2,843 02/11/2015, 12:29 AM
Last Post: tommy1729
  about power towers and base change tommy1729 7 7,461 05/04/2014, 08:30 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)