JDK 7u-dev review request 8024356: Double.parseDouble() is slow for long Strings
dmitry.nadezhin at gmail.com
Thu Sep 12 18:57:55 UTC 2013
JDK repository constains sources and tests now.
Where should proofs live ?
And also where should benchmarks live ?
On Thu, Sep 12, 2013 at 10:32 PM, Brian Burkhalter <
brian.burkhalter at oracle.com> wrote:
> What should be put in for <link>?
> On Sep 12, 2013, at 11:10 AM, Dmitry Nadezhin wrote:
> Aleksey, I like your wording of the comment. Thank you very much.
> I would reformulate a little:
> We can demonstrate (<link>) that decimal ulp should be less than 10^(-1075)
> to guarantee correctness
> We can demonstrate (<link>) that decimal ulp less than 10^(-1075) is enough
> to guarantee correctness.
> because decimal ulp may be larger than 10^(-1075) for some inputs.
> For example, for decimal string
> binary half-ulp is 2^(-53)
> and decimal ulp 10^(-53) is enough .
More information about the core-libs-dev