Barton Willis <willisb at unk.edu> writes:
> [1:multipart/alternative Hide]
>
>
> [1/1:text/plain Hide]
>
>
>> ok, it works
>
>> but it seems a bit weird:
>> (%i2) to_poly_solve([-sqrt(x^2+3*x)+sqrt(2*x+2)=0] , [x]);
>> (%o2) %union([x = - 2], [x = 1])
>
>> (%i3) subst(-2, x, sqrt(2*x+2)-sqrt(x^2+3*x)=0);
>> (%o3) 0 = 0
>
> Exactly what seems weird? If it's the %union object, consider:
I think his example is meant to indicate what is weird:
x=-2 => sqrt(-2)-sqrt(-2) which simplifies to 0.
My guess is the OP wants to restrict the domain so that the LHS of his
equation involves only real-valued functions.
--
Leo Butler <l_butler at users.sourceforge.net>
SDF Public Access UNIX System - http://sdf.lonestar.org