After lots of searching, I finally located a copy of Annex G on the web here
http://dev.unicals.com/papers/c99draft.html#G.1
There is no mention of equals, as this is a C language spec and what is
being defined is a Complex C type and specs for arithmetic operations. There
is vague wording to the effect that "infinities" should be identified, even
when a part is NaN (G4.1#4), so the implication is that the equivalence
classes would be
An equivalence class for each x + iy where x, y are (finite) real numbers
once class for all values that have one or more infinite parts
one class for all values that have NaN parts, but no infinite parts
I am not sure this setup would be consistent with the way we have defined
the arithmetic operations, which do I don't think conform fully to the rest
of the spec.
I would appreciate it if other [math] contributors would review the spec and
weigh in on both the implementation of equals and whether we should modify
the arithmetic function to conform fully to the spec.
Phil
