#

Function LOG

Syntax:

log number `&optional` base => logarithm

Arguments and Values:

number---a non-zero number.

base---a number.

logarithm---a number.

Description:

log returns the logarithm of number in base base. If base is not supplied its value is e, the base of the natural logarithms.

log may return a complex when given a real negative number.

     (log -1.0) ==  (complex 0.0 (float pi 0.0))

If base is zero, log returns zero.

The result of `(log 8 2)` may be either `3` or `3.0`, depending on the implementation. An implementation can use floating-point calculations even if an exact integer result is possible.

The branch cut for the logarithm function of one argument (natural logarithm) lies along the negative real axis, continuous with quadrant II. The domain excludes the origin.

The mathematical definition of a complex logarithm is as follows, whether or not minus zero is supported by the implementation:

    (log x) ==  (complex (log (abs x)) (phase x))

Therefore the range of the one-argument logarithm function is that strip of the complex plane containing numbers with imaginary parts between -<PI> (exclusive) and <PI> (inclusive) if minus zero is not supported, or -<PI> (inclusive) and <PI> (inclusive) if minus zero is supported.

The two-argument logarithm function is defined as

     (log base number)
     ==  (/ (log number) (log base))

This defines the principal values precisely. The range of the two-argument logarithm function is the entire complex plane.

Examples:

     (log 100 10)
    =>  2.0
    =>  2
     (log 100.0 10) =>  2.0
     (log #c(0 1) #c(0 -1))
    =>  #C(-1.0 0.0)
    OR=>  #C(-1 0)
     (log 8.0 2) =>  3.0

     (log #c(-16 16) #c(2 2)) =>  3 or approximately #c(3.0 0.0)
                                   or approximately 3.0 (unlikely)

Affected By:

The implementation.

Exceptional Situations: None.

See Also:

exp, expt, Section 12.1.3.3 (Rule of Float Substitutability)

Notes: None.

The following X3J13 cleanup issues, not part of the specification, apply to this section:

- COMPLEX-RATIONAL-RESULT:EXTEND
- IEEE-ATAN-BRANCH-CUT:SPLIT
- REAL-NUMBER-TYPE:X3J13-MAR-89

Copyright 1996-2005, LispWorks Ltd. All rights reserved.