Advanced Search

Question: strange result from solve vs. RealDomain:-solve

Question:strange result from solve vs. RealDomain:-solve

nm 8552 Maple 2018
solve realdomain
July 23 2018
1

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. 
Please Wait...