Bug in a solve function

[parisse]

When you type x/x and run a simplification, x is a polynomial. This is implicit when you run most of the commands of a CAS, like solve. This is an algebraic process, but is also true if you consider the limit as x->0 or look at the graph of 'x/x'. That's the reason why I say that excluding x=0 is artificial (0 is a removable singularity).