From cmucl-devel at common-lisp.net Wed Dec 4 05:33:17 2013 From: cmucl-devel at common-lisp.net (cmucl) Date: Wed, 04 Dec 2013 05:33:17 -0000 Subject: [cmucl] #89: Follow C99 for the value of the special functions at exception arguments Message-ID: <052.0410e763808a41305950bf64cf6ded5a@common-lisp.net> #89: Follow C99 for the value of the special functions at exception arguments --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: minor | Milestone: Component: Core | Version: 20e Keywords: | --------------------+------------------------------------------------------- The CLHS doesn't say anything for value of the special functions for exceptional arguments like infinity (signed) or NaN. Since CMUCL supports IEEE-754, we should follow the C99 specification when it does not conflict with the CLHS. -- Ticket URL: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Mon Dec 23 23:37:47 2013 From: cmucl-devel at common-lisp.net (cmucl) Date: Mon, 23 Dec 2013 23:37:47 -0000 Subject: [cmucl] #90: (atanh -2)? Message-ID: <052.8a47b67d82295593ac52640450e9a7e5@common-lisp.net> #90: (atanh -2)? --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 2013-12 Keywords: | --------------------+------------------------------------------------------- CMUCL 20e says {{{(atanh -2)}}} is {{{#C(-0.54930615 -1.5707964)}}}. This is consistent with what the CLHS says about {{{atanh}}} for {{{x < -1}}} being continuous with Quadrant III because {{{(atanh #c(-2.0 -0.0))}}} is the same. However, from the definition {{{ atanh(z) = 1/2*(log(1+z) - log(1-z)) }}} we have {{{ atanh(-2) = 1/2*(log(-1) - log(3)) = 1/2*(i*pi - log(3)) = -log(3)/2 + i*pi/2 }}} That is, the imaginary part should be positive. This would be consistent with the rule that atanh is continuous with Quadrant II. -- Ticket URL: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Fri Dec 13 06:45:24 2013 From: cmucl-devel at common-lisp.net (cmucl) Date: Fri, 13 Dec 2013 06:45:24 -0000 Subject: [cmucl] #89: Follow C99 for the value of the special functions at exceptional arguments (was: Follow C99 for the value of the special functions at exception arguments) In-Reply-To: <052.0410e763808a41305950bf64cf6ded5a@common-lisp.net> References: <052.0410e763808a41305950bf64cf6ded5a@common-lisp.net> Message-ID: <061.ae100f6019d229eb4a3ffa2ec8541c0d@common-lisp.net> #89: Follow C99 for the value of the special functions at exceptional arguments --------------------+------------------------------------------------------- Reporter: rtoy | Owner: somebody Type: defect | Status: new Priority: minor | Milestone: Component: Core | Version: 20e Keywords: | --------------------+------------------------------------------------------- -- Ticket URL: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Sat Dec 14 04:12:04 2013 From: cmucl-devel at common-lisp.net (cmucl) Date: Sat, 14 Dec 2013 04:12:04 -0000 Subject: [cmucl] #88: enough-namestring In-Reply-To: <054.fdcbdf49c5a570e87ecff70287ed6985@common-lisp.net> References: <054.fdcbdf49c5a570e87ecff70287ed6985@common-lisp.net> Message-ID: <063.349ad3dd12395639d3bdd81f8c096b4f@common-lisp.net> #88: enough-namestring --------------------+------------------------------------------------------- Reporter: heller | Owner: somebody Type: defect | Status: new Priority: major | Milestone: Component: Core | Version: 20e Keywords: | --------------------+------------------------------------------------------- Comment(by rtoy): This is my expectation too, but comments in the code for unparse-unix- enough says that you can't represent a relative directory relative to an absolute directory, which is what we have here. The comment doesn't explain why, so it must have been obvious at that time. More thinking required. -- Ticket URL: cmucl Cmucl is a high-performance, free Common Lisp implementation. From cmucl-devel at common-lisp.net Tue Dec 24 20:57:59 2013 From: cmucl-devel at common-lisp.net (cmucl) Date: Tue, 24 Dec 2013 20:57:59 -0000 Subject: [cmucl] #90: (atanh -2)? In-Reply-To: <052.8a47b67d82295593ac52640450e9a7e5@common-lisp.net> References: <052.8a47b67d82295593ac52640450e9a7e5@common-lisp.net> Message-ID: <061.46fe5be45c910c954fc9e3a7fffdf01f@common-lisp.net> #90: (atanh -2)? ---------------------+------------------------------------------------------ Reporter: rtoy | Owner: somebody Type: defect | Status: closed Priority: major | Milestone: Component: Core | Version: 2013-12 Resolution: fixed | Keywords: ---------------------+------------------------------------------------------ Changes (by toy.raymond@?): * status: new => closed * resolution: => fixed Comment: commit ca2bf8c29d22aaf44caf31f1d7b6ba77ab418be5 Author: Raymond Toy Date: Tue Dec 24 12:57:45 2013 -0800 Fix ticket:90 src/code/irrat.lisp: src/code/irrat-dd.lisp: * Remove the special case that made atanh continuous with quadrant III for x < -1 on the branch cut. tests/trig.lisp: * Update tests for atanh * Rename rel-or-abs-error to close-to. -- Ticket URL: cmucl Cmucl is a high-performance, free Common Lisp implementation.