rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

Problem in solve procedure #3149

Open rtoy opened 2 months ago

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-07 14:55:29 Created by caron on 2013-06-13 16:41:41 Original: https://sourceforge.net/p/maxima/bugs/2593


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

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-07 14:55:30 Created by caron on 2013-06-13 16:49:06 Original: https://sourceforge.net/p/maxima/bugs/2593/#76a8


Bus still exist in 5.30.0

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-07 14:55:33 Created by rswarbrick on 2013-07-02 13:46:20 Original: https://sourceforge.net/p/maxima/bugs/2593/#ce77


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)

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