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.
-
Commit messages:
- JDK-8294539: Augment discussion
On Thu, 29 Sep 2022 22:14:24 GMT, Joe Darcy 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.
src/jav
