From: SourceForge.net <noreply@so...>  20081104 04:40:47

Bugs item #2219974, was opened at 20081103 21:40 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core  Assume Group: None Status: Open Resolution: None Priority: 7 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: is(equal(asinh(1), log(1 + sqrt(2)))); => false Initial Comment: is(equal(asinh(1), log(1 + sqrt(2)))); => false (should be true) Result is due to bigfloat evaluation of asinh(1)  log(1 + sqrt(2)), which yields a small positive residual. signbfloat=false disables bigfloat evaluation: is(equal(asinh(1), log(1 + sqrt(2)))), signbfloat=false; => unknown which is not entirely helpful, but at least it is not incorrect. Not sure what to do here. Certainly we don't want the sign test to be too quick to return true or false, but if we make the numerical test more stringent, we could miss some otherwisesolvable problems.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 
From: SourceForge.net <noreply@so...>  20081104 23:41:07

Bugs item #2219974, was opened at 20081103 22:40 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core  Assume Group: None Status: Open Resolution: None Priority: 7 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: is(equal(asinh(1), log(1 + sqrt(2)))); => false Initial Comment: is(equal(asinh(1), log(1 + sqrt(2)))); => false (should be true) Result is due to bigfloat evaluation of asinh(1)  log(1 + sqrt(2)), which yields a small positive residual. signbfloat=false disables bigfloat evaluation: is(equal(asinh(1), log(1 + sqrt(2)))), signbfloat=false; => unknown which is not entirely helpful, but at least it is not incorrect. Not sure what to do here. Certainly we don't want the sign test to be too quick to return true or false, but if we make the numerical test more stringent, we could miss some otherwisesolvable problems.  >Comment By: Barton Willis (willisbl) Date: 20081104 17:40 Message: I built Maxima using signbfloat : false. The test suite reports two problems in rtest16; here is one problem testsuite problem (the other is similar): OK with signbfloat : true: (%i1) limit((%pi*4^N*N!^2)/(2*2^(2*N)*gamma(N+1/2)*gamma(N+3/2)), N, inf); (%o1) 0 Not OK: (%i2) signbfloat : false$ (%i3) limit((%pi*4^N*N!^2)/(2*2^(2*N)*gamma(N+1/2)*gamma(N+3/2)), N, inf); Is log(4)  2 * log(2) positive, negative, or zero? zero; Is 2 * log(2)  log(4) positive, negative, or zero? zero; (%o3) 0  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 
From: SourceForge.net <noreply@so...>  20081106 04:05:16

Bugs item #2219974, was opened at 20081103 22:40 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core  Assume Group: None Status: Open Resolution: None Priority: 7 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: is(equal(asinh(1), log(1 + sqrt(2)))); => false Initial Comment: is(equal(asinh(1), log(1 + sqrt(2)))); => false (should be true) Result is due to bigfloat evaluation of asinh(1)  log(1 + sqrt(2)), which yields a small positive residual. signbfloat=false disables bigfloat evaluation: is(equal(asinh(1), log(1 + sqrt(2)))), signbfloat=false; => unknown which is not entirely helpful, but at least it is not incorrect. Not sure what to do here. Certainly we don't want the sign test to be too quick to return true or false, but if we make the numerical test more stringent, we could miss some otherwisesolvable problems.  >Comment By: Barton Willis (willisbl) Date: 20081105 22:05 Message: One way to get through the test suite with signbfloat : false is to add a logcontract to the top of sign1: (defun sign1 (x) (let (($logconcoeffp '$integerp)) (setq x (specrepcheck x)) (setq x ($logcontract (infsimp* x))) ....) I tested this with SBCL 1.0.22 + CVS Maxima.  Comment By: Barton Willis (willisbl) Date: 20081104 17:40 Message: I built Maxima using signbfloat : false. The test suite reports two problems in rtest16; here is one problem testsuite problem (the other is similar): OK with signbfloat : true: (%i1) limit((%pi*4^N*N!^2)/(2*2^(2*N)*gamma(N+1/2)*gamma(N+3/2)), N, inf); (%o1) 0 Not OK: (%i2) signbfloat : false$ (%i3) limit((%pi*4^N*N!^2)/(2*2^(2*N)*gamma(N+1/2)*gamma(N+3/2)), N, inf); Is log(4)  2 * log(2) positive, negative, or zero? zero; Is 2 * log(2)  log(4) positive, negative, or zero? zero; (%o3) 0  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 
From: SourceForge.net <noreply@so...>  20100117 01:55:16

Bugs item #2219974, was opened at 20081104 05:40 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core  Assume Group: None >Status: Pending >Resolution: Works For Me Priority: 7 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: is(equal(asinh(1), log(1 + sqrt(2)))); => false Initial Comment: is(equal(asinh(1), log(1 + sqrt(2)))); => false (should be true) Result is due to bigfloat evaluation of asinh(1)  log(1 + sqrt(2)), which yields a small positive residual. signbfloat=false disables bigfloat evaluation: is(equal(asinh(1), log(1 + sqrt(2)))), signbfloat=false; => unknown which is not entirely helpful, but at least it is not incorrect. Not sure what to do here. Certainly we don't want the sign test to be too quick to return true or false, but if we make the numerical test more stringent, we could miss some otherwisesolvable problems.  >Comment By: Dieter Kaiser (crategus) Date: 20100117 02:55 Message: This error seems to be no longer present. We had changes to the implementation of the bigfloat routines. Perhaps because of these changes the example of this bug report works. This is my version: Maxima version: 5.20post Maxima build date: 1:2 1/17/2010 Host type: i686pclinuxgnu Lisp implementation type: SBCL Lisp implementation version: 1.0.29.11.debian At this is the result: (%i1) is(equal(asinh(1), log(1 + sqrt(2)))); (%o1) true Setting the status to pending at the resolution to works for me. Dieter Kaiser  Comment By: Barton Willis (willisbl) Date: 20081106 05:05 Message: One way to get through the test suite with signbfloat : false is to add a logcontract to the top of sign1: (defun sign1 (x) (let (($logconcoeffp '$integerp)) (setq x (specrepcheck x)) (setq x ($logcontract (infsimp* x))) ....) I tested this with SBCL 1.0.22 + CVS Maxima.  Comment By: Barton Willis (willisbl) Date: 20081105 00:40 Message: I built Maxima using signbfloat : false. The test suite reports two problems in rtest16; here is one problem testsuite problem (the other is similar): OK with signbfloat : true: (%i1) limit((%pi*4^N*N!^2)/(2*2^(2*N)*gamma(N+1/2)*gamma(N+3/2)), N, inf); (%o1) 0 Not OK: (%i2) signbfloat : false$ (%i3) limit((%pi*4^N*N!^2)/(2*2^(2*N)*gamma(N+1/2)*gamma(N+3/2)), N, inf); Is log(4)  2 * log(2) positive, negative, or zero? zero; Is 2 * log(2)  log(4) positive, negative, or zero? zero; (%o3) 0  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 
From: SourceForge.net <noreply@so...>  20100131 02:20:19

Bugs item #2219974, was opened at 20081104 04:40 Message generated for change (Comment added) made by sfrobot You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core  Assume Group: None >Status: Closed Resolution: Works For Me Priority: 7 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: is(equal(asinh(1), log(1 + sqrt(2)))); => false Initial Comment: is(equal(asinh(1), log(1 + sqrt(2)))); => false (should be true) Result is due to bigfloat evaluation of asinh(1)  log(1 + sqrt(2)), which yields a small positive residual. signbfloat=false disables bigfloat evaluation: is(equal(asinh(1), log(1 + sqrt(2)))), signbfloat=false; => unknown which is not entirely helpful, but at least it is not incorrect. Not sure what to do here. Certainly we don't want the sign test to be too quick to return true or false, but if we make the numerical test more stringent, we could miss some otherwisesolvable problems.  >Comment By: SourceForge Robot (sfrobot) Date: 20100131 02:20 Message: This Tracker item was closed automatically by the system. It was previously set to a Pending status, and the original submitter did not respond within 14 days (the time period specified by the administrator of this Tracker).  Comment By: Dieter Kaiser (crategus) Date: 20100117 01:55 Message: This error seems to be no longer present. We had changes to the implementation of the bigfloat routines. Perhaps because of these changes the example of this bug report works. This is my version: Maxima version: 5.20post Maxima build date: 1:2 1/17/2010 Host type: i686pclinuxgnu Lisp implementation type: SBCL Lisp implementation version: 1.0.29.11.debian At this is the result: (%i1) is(equal(asinh(1), log(1 + sqrt(2)))); (%o1) true Setting the status to pending at the resolution to works for me. Dieter Kaiser  Comment By: Barton Willis (willisbl) Date: 20081106 04:05 Message: One way to get through the test suite with signbfloat : false is to add a logcontract to the top of sign1: (defun sign1 (x) (let (($logconcoeffp '$integerp)) (setq x (specrepcheck x)) (setq x ($logcontract (infsimp* x))) ....) I tested this with SBCL 1.0.22 + CVS Maxima.  Comment By: Barton Willis (willisbl) Date: 20081104 23:40 Message: I built Maxima using signbfloat : false. The test suite reports two problems in rtest16; here is one problem testsuite problem (the other is similar): OK with signbfloat : true: (%i1) limit((%pi*4^N*N!^2)/(2*2^(2*N)*gamma(N+1/2)*gamma(N+3/2)), N, inf); (%o1) 0 Not OK: (%i2) signbfloat : false$ (%i3) limit((%pi*4^N*N!^2)/(2*2^(2*N)*gamma(N+1/2)*gamma(N+3/2)), N, inf); Is log(4)  2 * log(2) positive, negative, or zero? zero; Is 2 * log(2)  log(4) positive, negative, or zero? zero; (%o3) 0  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2219974&group_id=4933 