On Tue, 4 Oct 2022 19:56:21 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 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
