On 15 March 2014 04:42, Jori Mantysalo wrote:
> Solving equations:
>
> solve(e^x==e^3, x) --> [x == 3]
> solve(2^x==2^3, x) --> [x == log(8)/log(2)]
>
> So it does not simplify. But (log(8)/log(2)).full_simplify() returns
> log(8)/log(2), not 3. OK, I can do .simplify_radical(), but why
> full
Solving equations:
solve(e^x==e^3, x) --> [x == 3]
solve(2^x==2^3, x) --> [x == log(8)/log(2)]
So it does not simplify. But (log(8)/log(2)).full_simplify() returns
log(8)/log(2), not 3. OK, I can do .simplify_radical(), but why
full_simplify() doesn't try it?
I also tried
solve(2^x+3^x=