Subject: Re: [boost] Is there interest in Computable Calculus?
From: Brook Milligan (brook_at_[hidden])
Date: 2016-01-12 22:05:20
> On Jan 12, 2016, at 7:40 PM, Damian Vicino <damian.vicino_at_[hidden]> wrote:
> Iâm interested in developing basic support of âreal numbersâ for computable calculus applications.
> In particular, my initial scope would be the 4 arithmetic operations (+, -, *, /), and the comparison operators (<, =) for reals.
> Someone is interested in such a library in boost?
Would this be an appropriate step toward more mathematically correct real number types for general use, or would it be limited to computational calculus applications? For example, are there underlying algorithms for common mathematical functions? I assume abs() is easy, but what about things like exp(), log() or pow()?
I commonly run into the need for types that better correspond to mathematical reality for scientific computing and feel we need much better support along those lines. If this will lead to that, Iâm all for it.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk