This has been discussed earlier, but I was again asked about this:
sage: solve(x*abs(x)==1, x) [x == (1/abs(x))] sage: solve([x*abs(x)==1, x==x], x) [[x == 1]]And yes, to_poly_solve=True can be used. But this is annoying to teach and gives bad impression of Sage. Is there any plans to make this better?
-- Jori Mäntysalo