Bug in a solve function

[rombva]

(11-07-2019 10:13 AM)parisse Wrote:  This is for the same reason as for your other posts, the expressions are considered like polynomials, therefore simplification happens.
And this is in my opinion much better, because excluding these values just because they are roots of the denominator, without taking care of the numerator, is artificial.

Let's substitute point x=0 to the equation x/x=1. We'll get undef=1, but if x=0 is the solution of this equation, then the left side must be equal to the right side.

Simplifying (Reducing) fractions: Dividing the numerator and denominator of a fraction by the same non-zero number will also yield an equivalent fraction.

In these cases (my examples) simplification cancels this rule. Why?