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...>  20060811 05:06:38

Bugs item #1122736, was opened at 20050214 15:19 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1122736&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 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: askinteger involving %pi wrong/FIX Initial Comment: askinteger((1+%i)*(1%i)) => false (!!) declare(i1,integer) askinteger(exp(%i*%pi*i1)) => false (!!) askinteger(%pi^(sin(x)^2+cos(x)^21) => false (!!) The problem is that askinteger assumes that if the expression *syntactically* includes %pi or %i (why not % e, %gamma, ...?), then it cannot be integral. Fix is simple: remove the special case. Of course, there is room to be cleverer here if someone wants to go to the trouble, but I'd think that it would be more important to start with cases like sqrt(2), which currently doesn't know. BEFORE: (cond ((or (not (free x '$%pi)) (not (free x '$%i)) (ratnump x)) '$no) ...) AFTER: (cond ((ratnump x) '$no) ...)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1122736&group_id=4933 
From: SourceForge.net <noreply@so...>  20060909 15:10:59

Bugs item #1122736, was opened at 20050214 15:19 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1122736&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: Includes proposed fix Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: askinteger involving %pi wrong/FIX Initial Comment: askinteger((1+%i)*(1%i)) => false (!!) declare(i1,integer) askinteger(exp(%i*%pi*i1)) => false (!!) askinteger(%pi^(sin(x)^2+cos(x)^21) => false (!!) The problem is that askinteger assumes that if the expression *syntactically* includes %pi or %i (why not % e, %gamma, ...?), then it cannot be integral. Fix is simple: remove the special case. Of course, there is room to be cleverer here if someone wants to go to the trouble, but I'd think that it would be more important to start with cases like sqrt(2), which currently doesn't know. BEFORE: (cond ((or (not (free x '$%pi)) (not (free x '$%i)) (ratnump x)) '$no) ...) AFTER: (cond ((ratnump x) '$no) ...)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1122736&group_id=4933 
From: SourceForge.net <noreply@so...>  20070126 16:59:36

Bugs item #1122736, was opened at 20050214 16:19 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1122736&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: Includes proposed fix Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: askinteger involving %pi wrong/FIX Initial Comment: askinteger((1+%i)*(1%i)) => false (!!) declare(i1,integer) askinteger(exp(%i*%pi*i1)) => false (!!) askinteger(%pi^(sin(x)^2+cos(x)^21) => false (!!) The problem is that askinteger assumes that if the expression *syntactically* includes %pi or %i (why not % e, %gamma, ...?), then it cannot be integral. Fix is simple: remove the special case. Of course, there is room to be cleverer here if someone wants to go to the trouble, but I'd think that it would be more important to start with cases like sqrt(2), which currently doesn't know. BEFORE: (cond ((or (not (free x '$%pi)) (not (free x '$%i)) (ratnump x)) '$no) ...) AFTER: (cond ((ratnump x) '$no) ...)  >Comment By: Barton Willis (willisbl) Date: 20070126 10:48 Message: Logged In: YES user_id=895922 Originator: NO I applied the suggested fix. But askinteger has lots of ofther problems: (%i1) load("askp.lisp"); (%i2) askinteger(%i); Is %i an integer ? yes; (%o2) yes (%i3) facts(); (%o3) [kind(%i,integer)] < Yikes! (%i4) askinteger(sqrt(5)); Is sqrt(5) an integer ? yes; (%o4) yes (%i5) facts(); (%o5) [kind(%i,integer)] < funny kind(sqrt(5),integer) rejected. Maybe this bug should be closed and another one filed.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1122736&group_id=4933 
From: SourceForge.net <noreply@so...>  20080309 12:06:01

Bugs item #1122736, was opened at 20050214 16:19 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1122736&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: Includes proposed fix >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: askinteger involving %pi wrong/FIX Initial Comment: askinteger((1+%i)*(1%i)) => false (!!) declare(i1,integer) askinteger(exp(%i*%pi*i1)) => false (!!) askinteger(%pi^(sin(x)^2+cos(x)^21) => false (!!) The problem is that askinteger assumes that if the expression *syntactically* includes %pi or %i (why not % e, %gamma, ...?), then it cannot be integral. Fix is simple: remove the special case. Of course, there is room to be cleverer here if someone wants to go to the trouble, but I'd think that it would be more important to start with cases like sqrt(2), which currently doesn't know. BEFORE: (cond ((or (not (free x '$%pi)) (not (free x '$%i)) (ratnump x)) '$no) ...) AFTER: (cond ((ratnump x) '$no) ...)  >Comment By: Barton Willis (willisbl) Date: 20080309 07:05 Message: Logged In: YES user_id=895922 Originator: NO fixed by askp.lisp cvs revision 1.9.  Comment By: Barton Willis (willisbl) Date: 20070126 10:48 Message: Logged In: YES user_id=895922 Originator: NO I applied the suggested fix. But askinteger has lots of ofther problems: (%i1) load("askp.lisp"); (%i2) askinteger(%i); Is %i an integer ? yes; (%o2) yes (%i3) facts(); (%o3) [kind(%i,integer)] < Yikes! (%i4) askinteger(sqrt(5)); Is sqrt(5) an integer ? yes; (%o4) yes (%i5) facts(); (%o5) [kind(%i,integer)] < funny kind(sqrt(5),integer) rejected. Maybe this bug should be closed and another one filed.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1122736&group_id=4933 
Sign up for the SourceForge newsletter:
No, thanks