axiom-developer
[Top][All Lists]

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

 From: Bill Page Subject: [Axiom-developer] [#103 solve(z=z, z) ] solve(z=z, z) should return [z=z] Date: Thu, 17 Feb 2005 17:09:17 -0600

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.
--