[Axiom-developer] [#103 solve(z=z, z) ] solve(z=z, z) should return [z=z]

[Bill Page]

Someone wrote:

  This should return <code>[ ]</code> as in (1)

but I disagree. The (trivial) solution of 'z=z' for the variable 'z'
is obviously <code>[z=z]</code> just as the solution of 'w=z' for 'z'
is <code>[z=w]</code>
\begin{axiom}
solve(w=z,z)
\end{axiom}

Similarly, I think the only reasonable result of 'solve(0=0,z)'
is also <code>[z=z]</code>. So I agree that the result should be
that same as (1) except that the result of (1) is also wrong!

Note: These are the same as the results returned by Maple.
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden