Toward an API for the real numbers

[Paul Dale]

It's an interesting approach. It still boils down to deceiving the user about results. Albeit, it is giving "good" approximations.

E.g. it seems like it only deals with single transcendental functions. Something like log(log(x)) would throw it off.


I think, that by maintaining an expression tree, results could be extended on-demand to whatever precision is required to get a "correct" answer. The memory use could get large since real numbers would never be stored.


Pauli