The simplest case I could find of this bug is:
(%i14) assume(q>r);
(%o14) [q > r]
(%i15) is(q>r);
(%o15) true
(%i16) declare(q,constant);
(%o16) done
(%i17) is(q>r);
(%o17) true
(%i18) declare(r,constant);
(%o18) done
(%i19) is(q>r);
(%o19) unknown
I have filed it as https://sourceforge.net/p/maxima/bugs/2547/
-s
On Fri, Feb 8, 2013 at 6:34 PM, Richard Fateman
<fateman at eecs.berkeley.edu>wrote:
> On 2/8/2013 2:23 PM, Nijso Beishuizen wrote:
>
> Why are you declaring a and b to be constants?
>
> It seems to provoke a bug. Is (a^2-b>0) now returns unknown.
> Interestingly, declaring only a to be a constant does not break it.
>
> The bug, it seems, is not in atan2, but elsewhere.
> *
> *
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
>