solve and the facts database

--===============8922918461050428575==
Content-Type: multipart/alternative; boundary="0000000000008b757706567de261"

--0000000000008b757706567de261
Content-Type: text/plain; charset="UTF-8"

Dear all,

I noticed that solve doesn't seem to use the facts database to filter
solutions.

For example:

(%i1) assume(x > 0)$
(%i2) solve(x^2 = 4);
(%o2) [x = -2, x = 2]

Should this be considered a bug?

Should solve be modified so that it rejects all solutions that contradict
the facts database?
Maybe make it optional to not break existing code?

Best regards
David Scherfgen

--0000000000008b757706567de261
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"auto">Dear all,<div dir=3D"auto"><br></div><div dir=3D"auto">I =
noticed that solve doesn&#39;t seem to use the facts database to filter sol=
utions.</div><div dir=3D"auto"><br></div><div dir=3D"auto">For example:</di=
v><div dir=3D"auto"><br></div><div dir=3D"auto">(%i1) assume(x &gt; 0)$</di=
v><div dir=3D"auto">(%i2) solve(x^2 =3D 4);</div><div dir=3D"auto">(%o2) [x=
 =3D -2, x =3D 2]</div><div dir=3D"auto"><br></div><div dir=3D"auto">Should=
 this be considered a bug?</div><div dir=3D"auto"><br></div><div dir=3D"aut=
o">Should solve be modified so that it rejects all solutions that contradic=
t the facts database?</div><div dir=3D"auto">Maybe make it optional to not =
break existing code?</div><div dir=3D"auto"><br></div><div dir=3D"auto">Bes=
t regards</div><div dir=3D"auto">David Scherfgen</div><div dir=3D"auto"><br=
></div></div>

--0000000000008b757706567de261--


--===============8922918461050428575==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============8922918461050428575==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Maxima-discuss mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/maxima-discuss

--===============8922918461050428575==--