This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Source for wiki ComplexLog version 1

author

cowan

comment

ipnr

74.68.121.27

name

ComplexLog

readonly

text

== Complex logarithm ==

Guy Steele's three-part test for Common Lisp involves evaluating `(atanh -2)`.  Traditionally, a Lisp passes if it returns a complex number; if it returns the ''correct'' complex number, so much the better.  The `atanh` function is not provided in R7RS-small, so I defined it as follows:

{{{
(define (atanh x)
    (/ (- (log (+ 1 x))
          (log (- 1 x)))
       2))
}}}

(Note:  KSi already defines `atanh` and will not allow its redefinition.)

Returns `-0.5493061443340549+1.5707963267948966i`, the ''correct'' complex number:  Racket, Gauche, MIT, Chicken, Scheme48/scsh, Guile, Kawa, Chez, Vicare, Larceny, Ypsilon, !IronScheme, STklos, KSi, Scheme 7, Spark

Returns NaN (i.e. it is attempting to use a real-number log function) when the argument is `2`, but returns the correct complex number when the argument is `2.0+0.0i`:  Guile, SISC, Chibi, Mosh

Returns an incorrect complex number: SCM

No support for log of negative numbers: UMB, Owl Lisp

No complex numbers: plain Chicken, Bigloo, Ikarus, NexJ, !SigScheme, Shoe, !TinyScheme, Scheme 9, Dream, RScheme, BDC, XLisp, Rep, Schemik, Elk, VX, Oaklisp, Llava, SXM, Sizzle, !FemtoLisp, Dfsch, Inlab.

time

2012-12-26 05:27:09