Partial solution for bug 1452341: solve(x^(5/2)+1,x)



The cheap idea is to notice that gcd(1/2,2/3,1/3)=1/6, so the expression
looks like a^3*(a^4+a^2) where a=5^(1/6).

Whether this is valid depends on your interpretation of fractional
exponents, I suppose.  (domain:real vs. complex)

On 5/25/06, Richard Fateman <fateman at cs.berkeley.edu> wrote:
>
> ratsimp basically renames 5^(1/2)*(5^(2/3)+5^(1/3))    to  be  a*(b^2+b),
> where a=sqrt(5), b= 5^(1/3), rationally simplifies.
> ...
> If you have some ideas that are cheap and effective, go to it!