Screenshot instructions:
Windows
Mac
Red Hat Linux
Ubuntu
Click URL instructions:
Rightclick on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)
From: SourceForge.net <noreply@so...>  20091004 12:58:02

Bugs item #2872553, was opened at 20091004 14:58 Message generated for change (Tracker Item Submitted) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2872553&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: 5 Private: No Submitted By: Dieter Kaiser (crategus) Assigned to: Nobody/Anonymous (nobody) Summary: Assume database inconsistent after integration Initial Comment: This is an integral from rtestint.mac. All works as expected: (%i2) assume(x>0,l>x); (%o2) [x > 0,l > x] (%i3) integrate(integrate((acos(x/l)+acos(y/l)%pi/2)/(2*%pi),y,0,sqrt(l^2x^2)),x,0,l); (%o3) l^2/(4*%pi) After the integration the inferences are no longer known to Maxima: (%i4) is(x>0); (%o4) unknown (%i5) is(l>0); (%o5) unknown (%i6) is(l>x); (%o6) unknown But the facts are still present: (%i7) facts(); (%o7) [x > 0,l > x] Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2872553&group_id=4933 
From: SourceForge.net <noreply@so...>  20120508 17:19:37

Bugs item #2872553, was opened at 20091004 05:58 Message generated for change (Comment added) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2872553&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: Fixed Priority: 5 Private: No Submitted By: Dieter Kaiser (crategus) Assigned to: Nobody/Anonymous (nobody) Summary: Assume database inconsistent after integration Initial Comment: This is an integral from rtestint.mac. All works as expected: (%i2) assume(x>0,l>x); (%o2) [x > 0,l > x] (%i3) integrate(integrate((acos(x/l)+acos(y/l)%pi/2)/(2*%pi),y,0,sqrt(l^2x^2)),x,0,l); (%o3) l^2/(4*%pi) After the integration the inferences are no longer known to Maxima: (%i4) is(x>0); (%o4) unknown (%i5) is(l>0); (%o5) unknown (%i6) is(l>x); (%o6) unknown But the facts are still present: (%i7) facts(); (%o7) [x > 0,l > x] Dieter Kaiser  >Comment By: Dan Gildea (dgildea) Date: 20120508 10:19 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=2872553&group_id=4933 
Sign up for the SourceForge newsletter:
No, thanks