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 < [email protected]> wrote: > What should be put in for <link>? > > Thanks, > > Brian > > 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 > > "1.1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111" > > binary half-ulp is 2^(-53) > and decimal ulp 10^(-53) is enough . > > >
