Why are the following 2 commands produce different result?
restart;
RealDomain:-solve({y=y,y<>0},y);
solve({y=y,y<>0},y);
[y = 0]
{y <> 0}
Should not the result be the same?
solve({y=y,y<>0},y) assuming y::real;
{y <> 0}
Maple 2018.1.
