From: SourceForge.net <noreply@so...>  20080222 05:47:19

Bugs item #1899352, was opened at 20080222 00:47 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=1899352&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: Alex Ghitza (aghitza) Assigned to: Nobody/Anonymous (nobody) Summary: integrate asks about (y1)(y+1) after assume(y^2>1) Initial Comment: Here is the problematic session: Maxima 5.13.0 http://maxima.sourceforge.net Using Lisp CLISP 2.41 (20061013) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. This is a development version of Maxima. The function bug_report() provides bug reporting information. (%i1) assume(y^2>1); 2 (%o1) [y > 1] (%i2) integrate(log(x^2+y^2),x,0.0001414,1.); `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 Is (y  1) (y + 1) positive, negative, or zero? positive; 2 2 Is y + x + 2 x + 1 positive or negative? positive; 2 2 1 (%o2)  1.414E4 log(1.0 y + 1.999396E8) + log(y + 1) + 2 atan() y y 1.414E4  2.0 atan() y  1.9997172 y (%i3)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1899352&group_id=4933 
From: SourceForge.net <noreply@so...>  20080222 14:16:41

Bugs item #1899352, was opened at 20080222 00:47 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1899352&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: Alex Ghitza (aghitza) Assigned to: Nobody/Anonymous (nobody) Summary: integrate asks about (y1)(y+1) after assume(y^2>1) Initial Comment: Here is the problematic session: Maxima 5.13.0 http://maxima.sourceforge.net Using Lisp CLISP 2.41 (20061013) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. This is a development version of Maxima. The function bug_report() provides bug reporting information. (%i1) assume(y^2>1); 2 (%o1) [y > 1] (%i2) integrate(log(x^2+y^2),x,0.0001414,1.); `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 Is (y  1) (y + 1) positive, negative, or zero? positive; 2 2 Is y + x + 2 x + 1 positive or negative? positive; 2 2 1 (%o2)  1.414E4 log(1.0 y + 1.999396E8) + log(y + 1) + 2 atan() y y 1.414E4  2.0 atan() y  1.9997172 y (%i3)  >Comment By: Raymond Toy (rtoy) Date: 20080222 09:16 Message: Logged In: YES user_id=28849 Originator: NO Note that is((y1)*(y+1)>0) returns unknown. If you say assume(y>1), integrate doesn't ask about that anymore. But it still asks about y^2+x^2+2*x+1. It should know that x > 0 and y > 0 here.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1899352&group_id=4933 
From: SourceForge.net <noreply@so...>  20080222 14:16:55

Bugs item #1899352, was opened at 20080222 00:47 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1899352&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: Alex Ghitza (aghitza) Assigned to: Nobody/Anonymous (nobody) Summary: integrate asks about (y1)(y+1) after assume(y^2>1) Initial Comment: Here is the problematic session: Maxima 5.13.0 http://maxima.sourceforge.net Using Lisp CLISP 2.41 (20061013) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. This is a development version of Maxima. The function bug_report() provides bug reporting information. (%i1) assume(y^2>1); 2 (%o1) [y > 1] (%i2) integrate(log(x^2+y^2),x,0.0001414,1.); `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 Is (y  1) (y + 1) positive, negative, or zero? positive; 2 2 Is y + x + 2 x + 1 positive or negative? positive; 2 2 1 (%o2)  1.414E4 log(1.0 y + 1.999396E8) + log(y + 1) + 2 atan() y y 1.414E4  2.0 atan() y  1.9997172 y (%i3)  >Comment By: Raymond Toy (rtoy) Date: 20080222 09:16 Message: Logged In: YES user_id=28849 Originator: NO Note that is((y1)*(y+1)>0) returns unknown. If you say assume(y>1), integrate doesn't ask about that anymore. But it still asks about y^2+x^2+2*x+1. It should know that x > 0 and y > 0 here.  Comment By: Raymond Toy (rtoy) Date: 20080222 09:16 Message: Logged In: YES user_id=28849 Originator: NO Note that is((y1)*(y+1)>0) returns unknown. If you say assume(y>1), integrate doesn't ask about that anymore. But it still asks about y^2+x^2+2*x+1. It should know that x > 0 and y > 0 here.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1899352&group_id=4933 
From: SourceForge.net <noreply@so...>  20090602 23:07:30

Bugs item #1899352, was opened at 20080222 06:47 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1899352&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: Alex Ghitza (aghitza) Assigned to: Nobody/Anonymous (nobody) Summary: integrate asks about (y1)(y+1) after assume(y^2>1) Initial Comment: Here is the problematic session: Maxima 5.13.0 http://maxima.sourceforge.net Using Lisp CLISP 2.41 (20061013) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. This is a development version of Maxima. The function bug_report() provides bug reporting information. (%i1) assume(y^2>1); 2 (%o1) [y > 1] (%i2) integrate(log(x^2+y^2),x,0.0001414,1.); `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 `rat' replaced 1.414E4 by 81/572843 = 1.413999996508642E4 `rat' replaced 0.9998586 by 7071/7072 = .9998585972850679 Is (y  1) (y + 1) positive, negative, or zero? positive; 2 2 Is y + x + 2 x + 1 positive or negative? positive; 2 2 1 (%o2)  1.414E4 log(1.0 y + 1.999396E8) + log(y + 1) + 2 atan() y y 1.414E4  2.0 atan() y  1.9997172 y (%i3)  >Comment By: Dieter Kaiser (crategus) Date: 20090603 01:07 Message: After the last changes to the code of rectform and absarg in rpart.lisp we now get: (%i4) integrate(log(x^2+y^2),x,0,1); (%o4) log(y^2+1)+2*atan(1/y)*y2 We no longer get a question for this type of integral. The example above has a different lower value for the integral and works too: (%i5) integrate(log(x^2+y^2),x,0.0001414,1); (%o5) 1.414E4*log(1.0*y^2+1.999396E8)+log(y^2+1)+2*atan(1/y)*y 2.0*atan(1.414E4/y)*y1.9997172 Closing this bug report as fixed. Dieter Kaiser  Comment By: Raymond Toy (rtoy) Date: 20080222 15:16 Message: Logged In: YES user_id=28849 Originator: NO Note that is((y1)*(y+1)>0) returns unknown. If you say assume(y>1), integrate doesn't ask about that anymore. But it still asks about y^2+x^2+2*x+1. It should know that x > 0 and y > 0 here.  Comment By: Raymond Toy (rtoy) Date: 20080222 15:16 Message: Logged In: YES user_id=28849 Originator: NO Note that is((y1)*(y+1)>0) returns unknown. If you say assume(y>1), integrate doesn't ask about that anymore. But it still asks about y^2+x^2+2*x+1. It should know that x > 0 and y > 0 here.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1899352&group_id=4933 