[Maxima] assume and solve?

[Stavros Macrakis]

------=_Part_19461_21017431.1137600713051
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

I do not believe Solve uses the Assume database at all.

If Assume has any effect on Solve, it would be through simplification, but =
I
can't think of any examples of this off the top of my head.

         assume(x>0)$
         solve(abs(x)=3D2);

works, but only because abs(x) simplifies to x before solve even sees it!

------=_Part_19461_21017431.1137600713051
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

I do not believe Solve uses the Assume database at all.<br><br>If Assume ha=
s any effect on Solve, it would be through simplification, but I can't thin=
k of any examples of this off the top of my head.<br><br>&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; assume(x&gt;0)$
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; solve(abs(x)=3D2);<br>=
<br>works, but only because abs(x) simplifies to x before solve even sees i=
t!<br>

------=_Part_19461_21017431.1137600713051--