Limit and assumptions



On Thu, Oct 1, 2009 at 1:49 PM, Karl-Dieter Crisman <kcrisman at gmail.com>wrote:

> (%i1) assume(x<-2);
> (%i4) limit(floor(x),x,0);
> (%o4)                           limit  floor(x)
>                               x -> 0
>

The limit here means that -1 < x < 1.  But your assumption was x<-2.  Faced
with this contradiction in user input, Maxima returns a noun form, meaning
that it can't calculate a result.  So it is in some sense a "correct"
result.

I suppose it would be more helpful for it to signal an error.

           -s