Integrated: JDK-8294539: Augment discussion of equivalence relations on floating-point values

Wed Oct 5 00:22:22 UTC 2022

On Thu, 29 Sep 2022 22:14:24 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.

This pull request has now been integrated.

Changeset: 1dafbe3f
Author:    Joe Darcy <darcy at 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