From: SourceForge.net <no...@so...> - 2006-07-31 02:56:35
|
Bugs item #1020711, was opened at 2004-09-01 14:38 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1020711&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 Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) >Summary: another subres bug (gcd problem) Initial Comment: (%i1) integrate(sqrt(4*x^2 + 4),x,0,1); QUOTIENT by ZERO With gcd == spmod, okay (%i2) gcd : spmod; (%o2) SPMOD (%i3) integrate(sqrt(4*x^2 + 4),x,0,1); (%o3) ASINH(1) + SQRT(2) (%i4) build_info(); Maxima version: 5.9.0.9beta2 Maxima build date: 7:39 9/1/2004 host type: i686-pc-mingw32 lisp-implementation-type: Kyoto Common Lisp lisp-implementation-version: GCL 2.6.5 Barton ---------------------------------------------------------------------- >Comment By: Robert Dodier (robert_dodier) Date: 2006-07-30 20:56 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs. ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2004-09-15 10:05 Message: Logged In: YES user_id=895922 Here is another subres bug (%i1) gcd : subres$ (%i2) algebraic : false$ (%i3) ratsimp(diff(integrate(1/(1+x^5),x),x)); This is wrong: (%o3) ((30*SQRT(5)+150)*x^3-60*SQRT(5)*x^2-60*SQRT (5)*x+30*SQRT(5)+350)/(800*x^5+800) (%i4) algebraic : true$ (%i5) ratsimp(diff(integrate(1/(1+x^5),x),x)); So is this (%o5) ((SQRT(5)+5)*x^3-2*SQRT(5)*x^2-2*SQRT(5) *x+SQRT(5)+25)/(40*x^5+40) Setting gcd == spmod cleans up these bugs (%i6) gcd : spmod$ (%i7) algebraic : false$ (%i8) ratsimp(diff(integrate(1/(1+x^5),x),x)); (%o8) 1/(x^5+1) (%i9) algebraic : true$ (%i10) ratsimp(diff(integrate(1/(1+x^5),x),x)); (%o10) 1/(x^5+1) (%i11) (%i11) build_info(); Maxima version: 5.9.0.9beta2 Maxima build date: 14:13 9/9/2004 host type: i686-pc-mingw32 lisp-implementation-type: Kyoto Common Lisp lisp-implementation-version: GCL 2.6.5 Barton ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1020711&group_id=4933 |
From: SourceForge.net <no...@so...> - 2006-09-09 05:26:34
|
Bugs item #1020711, was opened at 2004-09-01 14:38 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1020711&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 - Polynomials Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: another subres bug (gcd problem) Initial Comment: (%i1) integrate(sqrt(4*x^2 + 4),x,0,1); QUOTIENT by ZERO With gcd == spmod, okay (%i2) gcd : spmod; (%o2) SPMOD (%i3) integrate(sqrt(4*x^2 + 4),x,0,1); (%o3) ASINH(1) + SQRT(2) (%i4) build_info(); Maxima version: 5.9.0.9beta2 Maxima build date: 7:39 9/1/2004 host type: i686-pc-mingw32 lisp-implementation-type: Kyoto Common Lisp lisp-implementation-version: GCL 2.6.5 Barton ---------------------------------------------------------------------- Comment By: Robert Dodier (robert_dodier) Date: 2006-07-30 20:56 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs. ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2004-09-15 10:05 Message: Logged In: YES user_id=895922 Here is another subres bug (%i1) gcd : subres$ (%i2) algebraic : false$ (%i3) ratsimp(diff(integrate(1/(1+x^5),x),x)); This is wrong: (%o3) ((30*SQRT(5)+150)*x^3-60*SQRT(5)*x^2-60*SQRT (5)*x+30*SQRT(5)+350)/(800*x^5+800) (%i4) algebraic : true$ (%i5) ratsimp(diff(integrate(1/(1+x^5),x),x)); So is this (%o5) ((SQRT(5)+5)*x^3-2*SQRT(5)*x^2-2*SQRT(5) *x+SQRT(5)+25)/(40*x^5+40) Setting gcd == spmod cleans up these bugs (%i6) gcd : spmod$ (%i7) algebraic : false$ (%i8) ratsimp(diff(integrate(1/(1+x^5),x),x)); (%o8) 1/(x^5+1) (%i9) algebraic : true$ (%i10) ratsimp(diff(integrate(1/(1+x^5),x),x)); (%o10) 1/(x^5+1) (%i11) (%i11) build_info(); Maxima version: 5.9.0.9beta2 Maxima build date: 14:13 9/9/2004 host type: i686-pc-mingw32 lisp-implementation-type: Kyoto Common Lisp lisp-implementation-version: GCL 2.6.5 Barton ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1020711&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-07-19 16:06:16
|
Bugs item #1020711, was opened at 2004-09-01 16:38 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1020711&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 - Polynomials Group: None >Status: Pending >Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: another subres bug (gcd problem) Initial Comment: (%i1) integrate(sqrt(4*x^2 + 4),x,0,1); QUOTIENT by ZERO With gcd == spmod, okay (%i2) gcd : spmod; (%o2) SPMOD (%i3) integrate(sqrt(4*x^2 + 4),x,0,1); (%o3) ASINH(1) + SQRT(2) (%i4) build_info(); Maxima version: 5.9.0.9beta2 Maxima build date: 7:39 9/1/2004 host type: i686-pc-mingw32 lisp-implementation-type: Kyoto Common Lisp lisp-implementation-version: GCL 2.6.5 Barton ---------------------------------------------------------------------- >Comment By: Raymond Toy (rtoy) Date: 2007-07-19 12:06 Message: Logged In: YES user_id=28849 Originator: NO The fix for Bug 1490397 also fixes this issue. Marking as fixed and pending. ---------------------------------------------------------------------- Comment By: Robert Dodier (robert_dodier) Date: 2006-07-30 22:56 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs. ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2004-09-15 12:05 Message: Logged In: YES user_id=895922 Here is another subres bug (%i1) gcd : subres$ (%i2) algebraic : false$ (%i3) ratsimp(diff(integrate(1/(1+x^5),x),x)); This is wrong: (%o3) ((30*SQRT(5)+150)*x^3-60*SQRT(5)*x^2-60*SQRT (5)*x+30*SQRT(5)+350)/(800*x^5+800) (%i4) algebraic : true$ (%i5) ratsimp(diff(integrate(1/(1+x^5),x),x)); So is this (%o5) ((SQRT(5)+5)*x^3-2*SQRT(5)*x^2-2*SQRT(5) *x+SQRT(5)+25)/(40*x^5+40) Setting gcd == spmod cleans up these bugs (%i6) gcd : spmod$ (%i7) algebraic : false$ (%i8) ratsimp(diff(integrate(1/(1+x^5),x),x)); (%o8) 1/(x^5+1) (%i9) algebraic : true$ (%i10) ratsimp(diff(integrate(1/(1+x^5),x),x)); (%o10) 1/(x^5+1) (%i11) (%i11) build_info(); Maxima version: 5.9.0.9beta2 Maxima build date: 14:13 9/9/2004 host type: i686-pc-mingw32 lisp-implementation-type: Kyoto Common Lisp lisp-implementation-version: GCL 2.6.5 Barton ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1020711&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-07-19 16:51:09
|
Bugs item #1020711, was opened at 2004-09-01 16:38 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1020711&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 - Polynomials Group: None >Status: Closed Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: another subres bug (gcd problem) Initial Comment: (%i1) integrate(sqrt(4*x^2 + 4),x,0,1); QUOTIENT by ZERO With gcd == spmod, okay (%i2) gcd : spmod; (%o2) SPMOD (%i3) integrate(sqrt(4*x^2 + 4),x,0,1); (%o3) ASINH(1) + SQRT(2) (%i4) build_info(); Maxima version: 5.9.0.9beta2 Maxima build date: 7:39 9/1/2004 host type: i686-pc-mingw32 lisp-implementation-type: Kyoto Common Lisp lisp-implementation-version: GCL 2.6.5 Barton ---------------------------------------------------------------------- >Comment By: Raymond Toy (rtoy) Date: 2007-07-19 12:51 Message: Logged In: YES user_id=28849 Originator: NO Closing report as fixed. ---------------------------------------------------------------------- Comment By: Raymond Toy (rtoy) Date: 2007-07-19 12:06 Message: Logged In: YES user_id=28849 Originator: NO The fix for Bug 1490397 also fixes this issue. Marking as fixed and pending. ---------------------------------------------------------------------- Comment By: Robert Dodier (robert_dodier) Date: 2006-07-30 22:56 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs. ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2004-09-15 12:05 Message: Logged In: YES user_id=895922 Here is another subres bug (%i1) gcd : subres$ (%i2) algebraic : false$ (%i3) ratsimp(diff(integrate(1/(1+x^5),x),x)); This is wrong: (%o3) ((30*SQRT(5)+150)*x^3-60*SQRT(5)*x^2-60*SQRT (5)*x+30*SQRT(5)+350)/(800*x^5+800) (%i4) algebraic : true$ (%i5) ratsimp(diff(integrate(1/(1+x^5),x),x)); So is this (%o5) ((SQRT(5)+5)*x^3-2*SQRT(5)*x^2-2*SQRT(5) *x+SQRT(5)+25)/(40*x^5+40) Setting gcd == spmod cleans up these bugs (%i6) gcd : spmod$ (%i7) algebraic : false$ (%i8) ratsimp(diff(integrate(1/(1+x^5),x),x)); (%o8) 1/(x^5+1) (%i9) algebraic : true$ (%i10) ratsimp(diff(integrate(1/(1+x^5),x),x)); (%o10) 1/(x^5+1) (%i11) (%i11) build_info(); Maxima version: 5.9.0.9beta2 Maxima build date: 14:13 9/9/2004 host type: i686-pc-mingw32 lisp-implementation-type: Kyoto Common Lisp lisp-implementation-version: GCL 2.6.5 Barton ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1020711&group_id=4933 |