Alex Shinn wrote: > The question has to do with non-real z with positive > real part, i.e. (expt 0.0 c+di), c > 0, d != 0. As a > simplification I can see how it would be useful to > simply define this to be 0, but it can't be derived as > far as I can see from the definition of complex > exponentiation, w^z = e^(z log(w)), because log(0) > is undefined.
I haven't looked to see whether any rationale for this has been published or recorded, and I won't try to guess. > Existing implementations also differ in their results here. Although some implementors of the R6RS may have principled reasons for implementing expt in non-conforming fashion, I can't imagine what those reasons might be and I haven't heard of any such reasons. I suspect you're talking about mere bugs in those existing implementations of the R6RS. I could list a great many bugs that I've found in existing implementations of R6RS arithmetic. Could you explain why you want to discuss these particular bugs? Will _______________________________________________ r6rs-discuss mailing list r6rs-discuss@lists.r6rs.org http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
