#92: Type-derivation for log is inconsistent ---------------------+------------------------------------------------------ Reporter: rtoy | Owner: somebody Type: defect | Status: reopened Priority: major | Milestone: Component: Core | Version: 2014-02 Resolution: | Keywords: ---------------------+------------------------------------------------------ Changes (by rtoy): * status: closed => reopened * resolution: fixed => Comment: This is actually incorrect. We really want {{{log(-0)}}} to return {{{-inf + i*pi}}} so that the branch cuts of special functions can be computed correctly from the definition. -- Ticket URL: <http://trac.common-lisp.net/cmucl/ticket/92#comment:2> cmucl <http://common-lisp.net/project/cmucl> Cmucl is a high-performance, free Common Lisp implementation.