Does there exist a method in Sage's symbolic ring that would be able to (automatically) rewrite expressions such as $3^{\log n}$ into $n^{\log 3}$?
Revision history [back]
 | 1 | initial version |
Rewrite log in exponents
Rewrite log in exponents
Does there exist a method in Sage's symbolic ring that would be able to (automatically) rewrite expressions such as
$3^{\log n}$ into $n^{\log 3}$? 3}$?
Here I assume that $n$ is a positive integer.
Remark: I am quite surprised (and therefore pessimistic for my question) by the following:
sage: [bool(3^(log(i)) == i^(log(3))) for i in range(1, 12)]
[True, True, True, True, False, False, True, False, True, False, False]
