#1665 forget(a : 0) does not work

closed
nobody
5
2009-05-26
2009-05-13
Anonymous
No

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.

Discussion

  • Harry Litzroth

    Harry Litzroth - 2009-05-13

    Sender of this problem: ilitzroth

     
  • Žiga Lenarčič

    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.

     
  • Dieter Kaiser

    Dieter Kaiser - 2009-05-26
    • status: open --> closed
     
  • Dieter Kaiser

    Dieter Kaiser - 2009-05-26

    As described in the last post this is not a bug. Closing this report and marking it as invalid.

    Dieter Kaiser

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks