Question: something weird of the function is()

I am very confused about function is():

 

1. is(a-b=0) assuming a::real,b::real,a^2=b^2,a>0,b>0;

2. is(a-b=0) assuming a::real,b::real,a^2=b^2,a>=0,b>=0;

 

the first command gives me false, and the second command gives me true...

 

any thoughts?

Please Wait...