Strange results from assume (maybe a bug?) ad asksign
Subject: Strange results from assume (maybe a bug?) ad asksign
From: Alexey Beshenov
Date: Sat, 27 Dec 2008 22:48:48 +0300
On Saturday 27 December 2008 17:27:11 ferriste at libero.it wrote:
> Hi, I am developing a software running within Maxima and I need to
> define angles within the four region of the Cartesion plane
> (0<alpha<%pi/2, % pi/2<alpha<%pi,...). In example, if the angle
> alpha belongs to the region 0<alpha<%pi/2, I write:
>
> (%i1) assume(alpha>0,alpha<%pi/2);
>
> but...
>
> (%i2) is
> (alpha>%pi);
> (%o2) unknown
"assume(x>a and x<b)" will just make "is(x>y)" return "true" for y<=a,
return "false" for y>=b, and return "unknown" otherwise (I'm not sure
it was intended). I guess now there is no way to declare bounds for a
variable correctly through the "assume" mechanism.
--
Sweetmorn, Aftermath 69 YOLD 3174
Alexey Beshenov http://beshenov.ru/