Advanced Search

Question: Bug of `solve`?

Question:Bug of `solve`?

sursumCorda 1079 Maple 2023
solve inequality
June 17 2023
3

A very easy example: 

solve({a > 0, ln(a) + ln(1 + a) >= 0}, a);
 = 
                        /    2         \ 
                        |---------- < a| 
                       <  (1/2)         >
                        |5      + 1    | 
                        \              /

The output is {2/(5^(1/2)+1) < a}. Clearly, a = 2/(sqrt(5) + 1) is also a solution to this inequality, so the solutions have been lost. But there is no warning message. Why?
Please Wait...