[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Scheme-reports] (angle -0.0-0.0i) should be -pi, but R7RS-draft-6 prohibits this
- To: scheme-reports@x
- Subject: [Scheme-reports] (angle -0.0-0.0i) should be -pi, but R7RS-draft-6 prohibits this
- From: Mark H Weaver <mhw@x>
- Date: Tue, 07 Aug 2012 15:54:56 -0400
There is widespread agreement in the relevant floating point standards
(C99, C11, ISO/IEC 10967, and probably IEEE 754 although I haven't
purchased a copy) that (angle -0.0-0.0i) = (atan -0.0 -0.0) = -pi, but
the definition of 'angle' on page 36 of R7RS-draft-6 (section 6.2.6)
asserts that -pi < (angle z) <= pi for all complex 'z'. I suggest that
this be changed to -pi <= (angle z) <= pi.
Mark
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports