RFR: JDK-8294539: Augment discussion of equivalence relations on floating-point values [v5]

Tue Oct 4 23:45:30 UTC 2022

On Tue, 4 Oct 2022 19:56:21 GMT, Joe Darcy <darcy at 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 incrementally with one additional commit since the last revision:
> 
>   Appease jcheck; reflow paragraphs.

Marked as reviewed by psandoz (Reviewer).

-------------

PR: https://git.openjdk.org/jdk/pull/10498