On Thu, 29 Sep 2022 22:14:24 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. This pull request has now been integrated. Changeset: 1dafbe3f Author: Joe Darcy <da...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/1dafbe3f944fdb3027df38a886fd15abc3b476a7 Stats: 71 lines in 2 files changed: 64 ins; 0 del; 7 mod 8294539: Augment discussion of equivalence relations on floating-point values Reviewed-by: psandoz, smarks ------------- PR: https://git.openjdk.org/jdk/pull/10498
