Hallo.
I'm still trying to make step-by-step Maxima mode.
1. I noticed that solve does not check roots for tolerance range.
A simple example of this is solve([1/x + 1/y =0 , x*y =0],[x,y]);
Maxima gives the solution x=0,
y=0. How to make Maxima check the roots? Maybe some global flags?
2. When solving biquadratic equations like x^4 - x^2 - 2 = 0, in fact
Maxima makes a variable substition, and then solves a quadratic
equation.
I tried to output the quadratic equation using mtell and it had the
same variable - x. Someting like x^2 - x - 2 =0 (the output was
in prefix form).
Should the variable substitution change the *varlist (global variable in
module solve.lisp)?
How to find out if there was a substitution, when we have the same variable
in equation after substitution?
Excuse me for my bad english. :)
--
Andrew Yeltsin
nigma.ru