------- Additional Comments From kreckel at ginac dot de 2005-04-05 14:01 ------- (In reply to comment #7) > (p.s., FWIW, I *think* log(a1) is the same for imag(a1) == -0 vs +0)
Huhh? Not if real(a1) is negative. The branch cut conventionally runs along the negative real axis. For instance, C99 specifies so. In 7.3.3.2 it also specifies that there it should be continuous with the second quadrant: "implementations shall map a cut so the function is continuous as the cut is approached coming around the finite endpoint fo the cut in a counter clockwise direction." At least in the absence of signs on zero. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20758
