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

[Aggelos Biboudis]

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.

src/java.base/share/classes/java/lang/Double.java line 172:

> 170:  *
> 171:  * <dt><i><a id=repEquivalence>representation equivalence</a></i>:</dt>
> 172:  * <dd>The two floating-point values represent the the same IEEE 754

~the~ the

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

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