Advanced Search

Question: Can this be considered a bug?

Question:Can this be considered a bug?

Kitonum 21308 Maple 2018
assuming false real
February 10 2025
2 
is(cos(x)=sqrt(1-sin(x)^2) or cos(x)=-sqrt(1-sin(x)^2)) assuming real;

                                          false  

In a simpler situation the result is correct

is(x=0 or x<>0) assuming real;

                                           true         
Please Wait...