[Scheme-reports] (angle -0.0-0.0i) should be -pi, but R7RS-draft-6 prohibits this
Mark H Weaver 07 Aug 2012 19:54 UTC
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@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports