Eric's post shows me how to get that particular example solved.  But my 
real 
concern is,  when my code (inside some deep loop) calls solve,  I want to 
know 
(a)  if it returns an answer,  that answer really is a solution, and (b) if 
it 
returns an empty list,  there really is no solution.   

So  this example shows that (a) is sometimes false.  And when is (b) true?


On Monday, February 18, 2019 at 12:56:56 PM UTC-8, Michael Beeson wrote:
>
> sage: solve(*2**(x+sqrt(*1*-x^*2*))-*7*,x)
>
> [x == -sqrt(-x^2 + 1) + 7/2]
>
>
> sage: version()
>
> 'SageMath version 8.0, Release Date: 2017-07-21'
>
>
> That doesn't look like a solution to me because x still appears on the 
> right. 
>
> Is this the intended behavior?
>
>
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Reply via email to