From: SourceForge.net <noreply@so...>  20070220 23:00:23

Bugs item #1664729, was opened at 20070220 18:00 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=1664729&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(sin(x)cos(x),x,0,inf) wrong Initial Comment: integrate(sin(x)cos(x),x,0,inf) => 0 (!!!) This seems to be caused by: integrate(sin(x),x,0,inf) => IND I suppose this could be interpreted as correct, but integrate is supposed to give an "Integral is divergent" error, as it still does in other cases, e.g. integrate(1/x,x,0,inf). And then, IND doesn't simplify properly, so you get nonsense like integrate(sin(x)cos(x),x,0,inf) => 0 (from INDIND) Along the same lines, integrate(sin(x^2)*x,x,0,inf) charmingly gives ind+1/2, which is sort of right, but didn't simplify to ind. 5.11.0 GCL 2.6.8 Windows 2k  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&group_id=4933 
From: SourceForge.net <noreply@so...>  20070222 17:26:42

Bugs item #1664729, was opened at 20070220 18:00 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(sin(x)cos(x),x,0,inf) wrong Initial Comment: integrate(sin(x)cos(x),x,0,inf) => 0 (!!!) This seems to be caused by: integrate(sin(x),x,0,inf) => IND I suppose this could be interpreted as correct, but integrate is supposed to give an "Integral is divergent" error, as it still does in other cases, e.g. integrate(1/x,x,0,inf). And then, IND doesn't simplify properly, so you get nonsense like integrate(sin(x)cos(x),x,0,inf) => 0 (from INDIND) Along the same lines, integrate(sin(x^2)*x,x,0,inf) charmingly gives ind+1/2, which is sort of right, but didn't simplify to ind. 5.11.0 GCL 2.6.8 Windows 2k  >Comment By: Raymond Toy (rtoy) Date: 20070222 12:26 Message: Logged In: YES user_id=28849 Originator: NO integrate(sin(x),x,0,inf) returns ind because scaxn returns ind.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&group_id=4933 
From: SourceForge.net <noreply@so...>  20070222 18:45:33

Bugs item #1664729, was opened at 20070220 18:00 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(sin(x)cos(x),x,0,inf) wrong Initial Comment: integrate(sin(x)cos(x),x,0,inf) => 0 (!!!) This seems to be caused by: integrate(sin(x),x,0,inf) => IND I suppose this could be interpreted as correct, but integrate is supposed to give an "Integral is divergent" error, as it still does in other cases, e.g. integrate(1/x,x,0,inf). And then, IND doesn't simplify properly, so you get nonsense like integrate(sin(x)cos(x),x,0,inf) => 0 (from INDIND) Along the same lines, integrate(sin(x^2)*x,x,0,inf) charmingly gives ind+1/2, which is sort of right, but didn't simplify to ind. 5.11.0 GCL 2.6.8 Windows 2k  >Comment By: Stavros Macrakis (macrakis) Date: 20070222 13:45 Message: Logged In: YES user_id=588346 Originator: YES Re > integrate(sin(x),x,0,inf) returns ind because scaxn returns ind. A quick look at the code seems to show that it's prepared to handle IND when returned by LIMIT (takeprincipal etc.), but it doesn't generate it internally. Perhaps this is new code that doesn't follow defint's conventions?  Comment By: Raymond Toy (rtoy) Date: 20070222 12:26 Message: Logged In: YES user_id=28849 Originator: NO integrate(sin(x),x,0,inf) returns ind because scaxn returns ind.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&group_id=4933 
From: SourceForge.net <noreply@so...>  20070222 19:26:39

Bugs item #1664729, was opened at 20070220 18:00 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(sin(x)cos(x),x,0,inf) wrong Initial Comment: integrate(sin(x)cos(x),x,0,inf) => 0 (!!!) This seems to be caused by: integrate(sin(x),x,0,inf) => IND I suppose this could be interpreted as correct, but integrate is supposed to give an "Integral is divergent" error, as it still does in other cases, e.g. integrate(1/x,x,0,inf). And then, IND doesn't simplify properly, so you get nonsense like integrate(sin(x)cos(x),x,0,inf) => 0 (from INDIND) Along the same lines, integrate(sin(x^2)*x,x,0,inf) charmingly gives ind+1/2, which is sort of right, but didn't simplify to ind. 5.11.0 GCL 2.6.8 Windows 2k  >Comment By: Raymond Toy (rtoy) Date: 20070222 14:26 Message: Logged In: YES user_id=28849 Originator: NO Don't know about the conventions, but rev 1.1 of defint.lisp shows that scaxn returns ind. However, I don't know if the original version computes this integral via scaxn. I assume it did. (We really need to make ind, inf, minf, und, and friends contagious.)  Comment By: Stavros Macrakis (macrakis) Date: 20070222 13:45 Message: Logged In: YES user_id=588346 Originator: YES Re > integrate(sin(x),x,0,inf) returns ind because scaxn returns ind. A quick look at the code seems to show that it's prepared to handle IND when returned by LIMIT (takeprincipal etc.), but it doesn't generate it internally. Perhaps this is new code that doesn't follow defint's conventions?  Comment By: Raymond Toy (rtoy) Date: 20070222 12:26 Message: Logged In: YES user_id=28849 Originator: NO integrate(sin(x),x,0,inf) returns ind because scaxn returns ind.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&group_id=4933 
From: SourceForge.net <noreply@so...>  20110609 19:55:11

Bugs item #1664729, was opened at 20070220 18:00 Message generated for change (Comment added) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&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  Integration Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(sin(x)cos(x),x,0,inf) wrong Initial Comment: integrate(sin(x)cos(x),x,0,inf) => 0 (!!!) This seems to be caused by: integrate(sin(x),x,0,inf) => IND I suppose this could be interpreted as correct, but integrate is supposed to give an "Integral is divergent" error, as it still does in other cases, e.g. integrate(1/x,x,0,inf). And then, IND doesn't simplify properly, so you get nonsense like integrate(sin(x)cos(x),x,0,inf) => 0 (from INDIND) Along the same lines, integrate(sin(x^2)*x,x,0,inf) charmingly gives ind+1/2, which is sort of right, but didn't simplify to ind. 5.11.0 GCL 2.6.8 Windows 2k  >Comment By: Dan Gildea (dgildea) Date: 20110609 15:55 Message: Fixed in defint.lisp master branch. Now: (%i2) integrate(sin(x), x, 0, inf); (%o2) 'integrate(sin(x),x,0,inf) (%i3) integrate(cos(x), x, 0, inf); (%o3) 'integrate(cos(x),x,0,inf) (%i4) integrate(sin(x)cos(x), x, 0, inf); defint: integral is divergent.  an error. To debug this try: debugmode(true);  Comment By: Raymond Toy (rtoy) Date: 20070222 14:26 Message: Logged In: YES user_id=28849 Originator: NO Don't know about the conventions, but rev 1.1 of defint.lisp shows that scaxn returns ind. However, I don't know if the original version computes this integral via scaxn. I assume it did. (We really need to make ind, inf, minf, und, and friends contagious.)  Comment By: Stavros Macrakis (macrakis) Date: 20070222 13:45 Message: Logged In: YES user_id=588346 Originator: YES Re > integrate(sin(x),x,0,inf) returns ind because scaxn returns ind. A quick look at the code seems to show that it's prepared to handle IND when returned by LIMIT (takeprincipal etc.), but it doesn't generate it internally. Perhaps this is new code that doesn't follow defint's conventions?  Comment By: Raymond Toy (rtoy) Date: 20070222 12:26 Message: Logged In: YES user_id=28849 Originator: NO integrate(sin(x),x,0,inf) returns ind because scaxn returns ind.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1664729&group_id=4933 