Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Close
From: <noreply@so...>  20021021 23:30:50

Bugs item #626607, was opened at 20021021 19:30 You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Defint doesn't clean up asksign db Initial Comment: >> integrate(x^n,x,1,inf); << Is n positive, negative, or zero? >> pos; << Integral is divergent So far, so good. Now: >> asksign(n); << pos; That is, the asksign database still contains the fact that n>0. This should have been removed when defint exited. This problem doesn't happen when the integral is convergent.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&group_id=4933 
From: SourceForge.net <noreply@so...>  20041027 14:14:19

Bugs item #626607, was opened at 20021022 02:30 Message generated for change (Comment added) made by vidybida You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Defint doesn't clean up asksign db Initial Comment: >> integrate(x^n,x,1,inf); << Is n positive, negative, or zero? >> pos; << Integral is divergent So far, so good. Now: >> asksign(n); << pos; That is, the asksign database still contains the fact that n>0. This should have been removed when defint exited. This problem doesn't happen when the integral is convergent.  Comment By: Alexander VIDYBIDA (vidybida) Date: 20041027 17:14 Message: Logged In: YES user_id=927510 The obsolete info, which have to be removed after estimated a divergent integral, can be kicked out by "IS" oporator: (%i1) integrate(EXP(la*t)*la,t,0,INF); Is la positive, negative, or zero? n; Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i2) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i3) is(la<0); MACSYMA was unable to evaluate the predicate: la < 0  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i4) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i5) is(la>0); MACSYMA was unable to evaluate the predicate: la > 0  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i6) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i7) is(la=0); (%o7) FALSE NOW THE INFO IS KICKED OUT (%i8) integrate(EXP(la*t)*la,t,0,INF); Is la positive, negative, or zero? p; (%o8) 1  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&group_id=4933 
From: SourceForge.net <noreply@so...>  20050822 02:03:37

Bugs item #626607, was opened at 20021021 17:30 Message generated for change (Comment added) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&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 Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Defint doesn't clean up asksign db Initial Comment: >> integrate(x^n,x,1,inf); << Is n positive, negative, or zero? >> pos; << Integral is divergent So far, so good. Now: >> asksign(n); << pos; That is, the asksign database still contains the fact that n>0. This should have been removed when defint exited. This problem doesn't happen when the integral is convergent.  >Comment By: Robert Dodier (robert_dodier) Date: 20050821 20:03 Message: Logged In: YES user_id=501686 The problem is one or both of 2 things: (1) defint calls merror instead of returning inf; (2) defint doesn't clean up the assumption in case of an error. I'd rather see defint return inf or und or ind instead of calling merror here. But also defint should trap merror (don't know how to do that) and cleanup. Either one of those changes would fix the particular problem mentioned here, but I think we should fix both.  Comment By: Alexander VIDYBIDA (vidybida) Date: 20041027 08:14 Message: Logged In: YES user_id=927510 The obsolete info, which have to be removed after estimated a divergent integral, can be kicked out by "IS" oporator: (%i1) integrate(EXP(la*t)*la,t,0,INF); Is la positive, negative, or zero? n; Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i2) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i3) is(la<0); MACSYMA was unable to evaluate the predicate: la < 0  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i4) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i5) is(la>0); MACSYMA was unable to evaluate the predicate: la > 0  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i6) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i7) is(la=0); (%o7) FALSE NOW THE INFO IS KICKED OUT (%i8) integrate(EXP(la*t)*la,t,0,INF); Is la positive, negative, or zero? p; (%o8) 1  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&group_id=4933 
From: SourceForge.net <noreply@so...>  20060409 20:34:09

Bugs item #626607, was opened at 20021021 17:30 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&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 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Defint doesn't clean up asksign db Initial Comment: >> integrate(x^n,x,1,inf); << Is n positive, negative, or zero? >> pos; << Integral is divergent So far, so good. Now: >> asksign(n); << pos; That is, the asksign database still contains the fact that n>0. This should have been removed when defint exited. This problem doesn't happen when the integral is convergent.  Comment By: Robert Dodier (robert_dodier) Date: 20050821 20:03 Message: Logged In: YES user_id=501686 The problem is one or both of 2 things: (1) defint calls merror instead of returning inf; (2) defint doesn't clean up the assumption in case of an error. I'd rather see defint return inf or und or ind instead of calling merror here. But also defint should trap merror (don't know how to do that) and cleanup. Either one of those changes would fix the particular problem mentioned here, but I think we should fix both.  Comment By: Alexander VIDYBIDA (vidybida) Date: 20041027 08:14 Message: Logged In: YES user_id=927510 The obsolete info, which have to be removed after estimated a divergent integral, can be kicked out by "IS" oporator: (%i1) integrate(EXP(la*t)*la,t,0,INF); Is la positive, negative, or zero? n; Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i2) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i3) is(la<0); MACSYMA was unable to evaluate the predicate: la < 0  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i4) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i5) is(la>0); MACSYMA was unable to evaluate the predicate: la > 0  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i6) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i7) is(la=0); (%o7) FALSE NOW THE INFO IS KICKED OUT (%i8) integrate(EXP(la*t)*la,t,0,INF); Is la positive, negative, or zero? p; (%o8) 1  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&group_id=4933 