Menu
▾
▴
[Maxima-bugs] [ maxima-Bugs-2791106 ] forget(a : 0) does not work
|
From: SourceForge.net <no...@so...> - 2009-05-26 07:04:07
|
Bugs item #2791106, was opened at 2009-05-13 12:37 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2791106&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: Invalid Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: forget(a : 0) does not work Initial Comment: I did use wxMaxima 0.8.2 with Maxima version: 5.18.1. The interactions with (wx)Maxima given in the attached file ProblemWithforget.wxm show that "forget(a > 0)" after "assume(a > 0)" works well, but "forget(a : 0)" after "assume(a : 0)" does not work, and that in such case we have to use "kill(a)" in order to make Maxima forget about the predicate "a : 0". I do not know if that is a bug, but at first sight it is not very elegant. ---------------------------------------------------------------------- >Comment By: Dieter Kaiser (crategus) Date: 2009-05-26 09:03 Message: As described in the last post this is not a bug. Closing this report and marking it as invalid. Dieter Kaiser ---------------------------------------------------------------------- Comment By: Žiga Lenarčič (zigalenarcic) Date: 2009-05-14 13:42 Message: This is not a bug, it's normal behaviour. assume doesn't work with a:0. You can do this: block([a:0], integrate(...) ). Then, a will have the value 0 (only) inside the block. ---------------------------------------------------------------------- Comment By: Harry Litzroth (hlitzroth) Date: 2009-05-13 22:58 Message: Sender of this problem: ilitzroth ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2791106&group_id=4933 |