On Mar 29, 5:39 am, Kunonin <congruentambkmodul7pertotkr...@gmail.com>
wrote:
> Hello, i was working with real functions in real coefficients. I was
> doing some test to be sure it was all always real (without imaginary
> part), and i ask Sage to solve this:
>
> var('x',domain=RR);
> solve([imag(x)==0,imag(sqrt(-x^2-1))==0],x);
>
> and it answered me:
>
> [[x == -I], [x == I]]
>
> I would understand if he can solve it (find a real solution is
> difficult), but i expected an error more than an incorrect answer.

Maxima's solve explicitly does not take assumptions into account, nor
do I think it would take this domain thing into account.  I think they
see that as a feature, because their variables are to be considered
dummy variables in something like this.

- kcrisman

-- 
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to