On Tue, 4 Oct 2022 05:55:00 GMT, Joe Darcy <da...@openjdk.org> wrote:
>> While the floating-point == operation is *not* an equivalence relation, >> there are useful equivalence relations that can be defined over >> floating-point values. Text is added to java.lang.Double to discuss and name >> those relations. > > Joe Darcy has updated the pull request with a new target base due to a merge > or a rebase. The incremental webrev excludes the unrelated changes brought in > by the merge/rebase. The pull request contains five additional commits since > the last revision: > > - Respond to review feedback. > - Merge branch 'master' into JDK-8294539 > - Add discussion of numerical equality. > - Fix typo. > - JDK-8294539: Augment discussion of equivlance relations on floating-point > values Marked as reviewed by smarks (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10498
