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