[Maxima] solution of system of quadratic eqns.
willisb at unk.edu
Sat Jun 23 13:32:48 CDT 2012
> Surely the bug is related to the fact that the last call to resultant returns 256*(sqrt(7)^2-7) instead of 0.
I looked at this a bit more. The macro what-the-$ev is involved in checking for spurious roots. And it's
radcan that tries to simplify an expression to zero. But in solving these equations, radcan tries to simplify
to zero, but is unable to crunch it to zero.
More information about the Maxima