On Sun, Dec 8, 2013 at 8:26 AM, Ricardo JF <rcrdjf at hotmail.com> wrote:
> why this doesn't give only real roots:
>
> f(x):=x^3-x^2+x+1;
> declare(x,real);
> solve(f(x));
>
> i just want [x=(sqrt(11)/...)]
>
It doesn't give only real roots because the "solve" command ignores the
"real" declaration. In fact, the "solve" command ignores most
declarations, e.g. assume(x>3)$ solve(x=0,x) will return [x=0].
Should this be changed? Arguably yes, but I don't know if anyone is
interested in working on that....
-s