Submitter:CFP group
Submission Date: 2021-05-03
Document: WG14 N2716
Title: N2716: Numerically equal
Reference Documents:WG14 N2596, CFP 1927

Summary: The phrases "numerically equal" and "numerically equivalent" are used, but never defined. Also, they seem to add no value to just "equal".

These page numbers are for N2596.

Page 449, F9.2 Expression Transformations

x/2 <-> x * 0.5
Although similar transformations involving inexact constants generally do not yield numerically equivalent expressions, ...

should be changed to

x/2 <-> x * 0.5
Although similar transformations involving inexact constants generally do not yield numerically equivalent expressions, ...

Page 450, paragraph 4, in the Example, change:

The results are numerically equal, but have different quantum exponents, hence have different values.
to
The results are numerically equal, but have different quantum exponents, hence have different values.

Page 450, F9.3 Relational operators, change:

x < y -> isless(x,y)
Though numerically equal, these expressions are not equivalent because of side effects...
to
x < y -> isless(x,y)
Though numerically equal, these expressions are not equivalent because of side effects...