#2593 Problem in solve procedure

None
wont-fix
nobody
solve (10)
9
2013-07-02
2013-06-13
CARON dominique
No

Trying to solve this simple equations :
solve([2 = (1-z)/x,x=0],[x,z]);

Maxima gives this result :
[[z = 1, x = 0 ]]

Which is a wrong result!

Since we multiply by x (x=0) the first equation which is a wrong algorithm.
This bug is in the 5.23.2 release (Scientific Linux) as well in the 5.24.0 (Ubuntu 12).

Discussion

  • Bus still exist in 5.30.0

     
    • labels: --> solve
    • status: open --> wont-fix
     
  • This is a known "misfeature" of the solve command and isn't likely to be fixed any time soon. If you want a less easily confused equation solver, try %solve. (you need to load the to_poly_solve package first)

    (%i4) %solve([2 = (1-z)/x,x=0],[x,z]);
    (%o4)                              %union()