How to control pre-simplify (Part 1) [duplicate]

For example, if you enter

Reduce [x ^ 2 == x ^ 2 / x, x]


The output is

x == 0 || x == 1

Well, the correct answer is x == 1. Although this is a trivial example, is there no possibility that similar errors will occur in the process of internal calculation?

• Note that entering x ^ 2 == x ^ 2 / x directly automagically performs the cancellation. In any event, read up on the case of "generically correct" solutions. – J. M.'s ennui Jul 30 '17 at 8:23
• The answer Reduce gave you is entirely correct. The quadratic form x(x - 1) has roots at 0 and1. – m_goldberg Jul 30 '17 at 8:50
• I'm voting to close this question as off-topic because the issued raised is not really a problem; it is arises from the OP's misunderstanding of the result returned by Mathematica. – m_goldberg Jul 30 '17 at 8:51
• You could use my RestrictDomain function: Reduce[RestrictDomain[x^2 == x^2/x, x, Complexes], x] (* x == 1 *). – jkuczm Jul 30 '17 at 12:47