[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]