Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.
Close
From: SourceForge.net <noreply@so...>  20040115 18:07:12

Bugs item #877719, was opened at 20040115 12:07 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=877719&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: integrate and assume Initial Comment: This is okay: (C1) integrate(exp(a*x),x,0,inf); Is a positive, negative, or zero? pos; Integral is divergent The assumption on "a" is local  (C2) is(a > 0); MACSYMA was unable to evaluate the predicate: But integrate remembers the assumption on "a." I think this is a bad feature: (C3) integrate(exp(a*x),x,0,inf); Integral is divergent Wait! Look what happends if we trace ?assume. It seems that integrate forgets the assumption on "a" and once again asks for the sign of "a." (C4) trace(?assume)$ (C5) integrate(exp(a*x),x,0,inf); 1 Enter ?ASSUME [*Z* > 0] 1 Exit ?ASSUME *Z* > 0 ... (stuff deleted) Is a positive, negative, or zero? neg; 1 Enter ?ASSUME [x > 0] 1 Exit ?ASSUME x > 0 1 Enter ?ASSUME [x > 0] 1 Exit ?ASSUME x > 0 1 Enter ?ASSUME [INF > x] ...(stuff deleted) (D5) 1/a Is this a bug with gcl's trace? (C8) build_info(); Maxima version: 5.9.0 Maxima build date: 19:10 2/9/2003 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL25.0 Barton  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=877719&group_id=4933 
From: SourceForge.net <noreply@so...>  20040129 23:20:23

Bugs item #877719, was opened at 20040115 13:07 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=877719&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: integrate and assume Initial Comment: This is okay: (C1) integrate(exp(a*x),x,0,inf); Is a positive, negative, or zero? pos; Integral is divergent The assumption on "a" is local  (C2) is(a > 0); MACSYMA was unable to evaluate the predicate: But integrate remembers the assumption on "a." I think this is a bad feature: (C3) integrate(exp(a*x),x,0,inf); Integral is divergent Wait! Look what happends if we trace ?assume. It seems that integrate forgets the assumption on "a" and once again asks for the sign of "a." (C4) trace(?assume)$ (C5) integrate(exp(a*x),x,0,inf); 1 Enter ?ASSUME [*Z* > 0] 1 Exit ?ASSUME *Z* > 0 ... (stuff deleted) Is a positive, negative, or zero? neg; 1 Enter ?ASSUME [x > 0] 1 Exit ?ASSUME x > 0 1 Enter ?ASSUME [x > 0] 1 Exit ?ASSUME x > 0 1 Enter ?ASSUME [INF > x] ...(stuff deleted) (D5) 1/a Is this a bug with gcl's trace? (C8) build_info(); Maxima version: 5.9.0 Maxima build date: 19:10 2/9/2003 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL25.0 Barton  >Comment By: Stavros Macrakis (macrakis) Date: 20040125 14:14 Message: Logged In: YES user_id=588346 Same bug as 626607.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=877719&group_id=4933 
From: SourceForge.net <noreply@so...>  20050822 01:58:03

Bugs item #877719, was opened at 20040115 11:07 Message generated for change (Comment added) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=877719&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: Closed >Resolution: Duplicate Priority: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: integrate and assume Initial Comment: This is okay: (C1) integrate(exp(a*x),x,0,inf); Is a positive, negative, or zero? pos; Integral is divergent The assumption on "a" is local  (C2) is(a > 0); MACSYMA was unable to evaluate the predicate: But integrate remembers the assumption on "a." I think this is a bad feature: (C3) integrate(exp(a*x),x,0,inf); Integral is divergent Wait! Look what happends if we trace ?assume. It seems that integrate forgets the assumption on "a" and once again asks for the sign of "a." (C4) trace(?assume)$ (C5) integrate(exp(a*x),x,0,inf); 1 Enter ?ASSUME [*Z* > 0] 1 Exit ?ASSUME *Z* > 0 ... (stuff deleted) Is a positive, negative, or zero? neg; 1 Enter ?ASSUME [x > 0] 1 Exit ?ASSUME x > 0 1 Enter ?ASSUME [x > 0] 1 Exit ?ASSUME x > 0 1 Enter ?ASSUME [INF > x] ...(stuff deleted) (D5) 1/a Is this a bug with gcl's trace? (C8) build_info(); Maxima version: 5.9.0 Maxima build date: 19:10 2/9/2003 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL25.0 Barton  >Comment By: Robert Dodier (robert_dodier) Date: 20050821 19:58 Message: Logged In: YES user_id=501686 Closing this bug report as a duplicate of 626607 (as noted below). No need to have both reports open.  Comment By: Stavros Macrakis (macrakis) Date: 20040125 12:14 Message: Logged In: YES user_id=588346 Same bug as 626607.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=877719&group_id=4933 