maxima-bugs

 [Maxima-bugs] [ maxima-Bugs-3522750 ] assume & integrate From: SourceForge.net - 2012-05-01 12:03:15 ```Bugs item #3522750, was opened at 2012-05-01 05:03 Message generated for change (Tracker Item Submitted) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3522750&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: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: assume & integrate Initial Comment: (%i1) assume(l > 0, 00,y>0,sqrt(l^2-x^2)>y,x>0,l>x] OK: (%i2) integrate(integrate(((-%pi)/2+acos(y/l)+acos(x/l))/(2*%pi),y,0,sqrt(l^2-x^2)),x,0,l); (%o2) l^2/(4*%pi) Both facts & context look OK (%i3) facts(); (%o3) [l>0,y>0,sqrt(l^2-x^2)>y,x>0,l>x] (%i4) context; (%o4) initial Integrate second time--not OK (%i5) integrate(integrate(((-%pi)/2+acos(y/l)+acos(x/l))/(2*%pi),y,0,sqrt(l^2-x^2)),x,0,l); defint: upper limit of integration must be real; found sqrt(l^2-x^2) The facts are intact: (%i6) facts(); (%o6) [l>0,y>0,sqrt(l^2-x^2)>y,x>0,l>x] (%i7) context; (%o7) initial ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3522750&group_id=4933 ```
 [Maxima-bugs] [ maxima-Bugs-3522750 ] assume & integrate From: SourceForge.net - 2012-05-08 14:48:10 ```Bugs item #3522750, was opened at 2012-05-01 05:03 Message generated for change (Comment added) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3522750&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: None Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: assume & integrate Initial Comment: (%i1) assume(l > 0, 00,y>0,sqrt(l^2-x^2)>y,x>0,l>x] OK: (%i2) integrate(integrate(((-%pi)/2+acos(y/l)+acos(x/l))/(2*%pi),y,0,sqrt(l^2-x^2)),x,0,l); (%o2) l^2/(4*%pi) Both facts & context look OK (%i3) facts(); (%o3) [l>0,y>0,sqrt(l^2-x^2)>y,x>0,l>x] (%i4) context; (%o4) initial Integrate second time--not OK (%i5) integrate(integrate(((-%pi)/2+acos(y/l)+acos(x/l))/(2*%pi),y,0,sqrt(l^2-x^2)),x,0,l); defint: upper limit of integration must be real; found sqrt(l^2-x^2) The facts are intact: (%i6) facts(); (%o6) [l>0,y>0,sqrt(l^2-x^2)>y,x>0,l>x] (%i7) context; (%o7) initial ---------------------------------------------------------------------- >Comment By: Dan Gildea (dgildea) Date: 2012-05-08 07:48 Message: Fixed in limit.lisp: remove code to forget assumptions and then reinstate them at end of limit computation. was forgetting from top level context, then reinstating in local context of definite integral. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3522750&group_id=4933 ```
 [Maxima-bugs] [ maxima-Bugs-3522750 ] assume & integrate From: SourceForge.net - 2012-05-15 19:29:06 ```Bugs item #3522750, was opened at 2012-05-01 05:03 Message generated for change (Comment added) made by woollett You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3522750&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: None Group: None Status: Closed Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: assume & integrate Initial Comment: (%i1) assume(l > 0, 00,y>0,sqrt(l^2-x^2)>y,x>0,l>x] OK: (%i2) integrate(integrate(((-%pi)/2+acos(y/l)+acos(x/l))/(2*%pi),y,0,sqrt(l^2-x^2)),x,0,l); (%o2) l^2/(4*%pi) Both facts & context look OK (%i3) facts(); (%o3) [l>0,y>0,sqrt(l^2-x^2)>y,x>0,l>x] (%i4) context; (%o4) initial Integrate second time--not OK (%i5) integrate(integrate(((-%pi)/2+acos(y/l)+acos(x/l))/(2*%pi),y,0,sqrt(l^2-x^2)),x,0,l); defint: upper limit of integration must be real; found sqrt(l^2-x^2) The facts are intact: (%i6) facts(); (%o6) [l>0,y>0,sqrt(l^2-x^2)>y,x>0,l>x] (%i7) context; (%o7) initial ---------------------------------------------------------------------- Comment By: Ted Woollett (woollett) Date: 2012-05-15 12:29 Message: the new limit.lisp gives a compile error. (%i1) :lisp (compile-file, "c:/work2/limit-new.lisp") Maxima encountered a Lisp error: Error in MACSYMA-TOP-LEVEL [or a callee]: A comma has appeared out of a backquote. Automatically continuing. To enable the Lisp debugger set *debugger-hook* to nil. (%i1) build_info(); (%o1) Maxima version: "5.27.0" Maxima build date: "2012-05-08 11:27:57" Host type: "i686-pc-mingw32" Lisp implementation type: "GNU Common Lisp (GCL)" Lisp implementation version: "GCL 2.6.8" Ted Woollett ---------------------------------------------------------------------- Comment By: Dan Gildea (dgildea) Date: 2012-05-08 07:48 Message: Fixed in limit.lisp: remove code to forget assumptions and then reinstate them at end of limit computation. was forgetting from top level context, then reinstating in local context of definite integral. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3522750&group_id=4933 ```