Partial solution for bug 1452341: solve(x^(5/2)+1,x)
Subject: Partial solution for bug 1452341: solve(x^(5/2)+1,x)
From: Stavros Macrakis
Date: Thu, 25 May 2006 11:32:36 -0400
On 5/25/06, Richard Fateman <fateman at cs.berkeley.edu> wrote:
>
> I'm pretty sure that you will not be able to confirm all the roots
> that are produced by solve, by using ratsimp.
>
Here's an example where ratsimp fails.
eq: (x^5-1)^5-1$
sols: solve(eq,x)$
ratsimp(subst(sols[6],eq));
In this case, expand, radcan, and factor all do simplify it to 0, and it's
unfortunate that ratsimp does not. Perhaps ratsimp should be improved....
-s