ключевое слово, которое в основном делает для вас такие предположения без необходимости объявлять переменные как реальные. Но будьте осторожны с результатом - вы не захотите использовать его, когда эти предположения не оправданы.
я печатаю
import sympy as sp
x = sp.Symbol('x')
sp.simplify(sp.log(sp.exp(x)))
Я получаю
log(e^x)
Вместоx, Я знаю, что "нет никаких гарантий" по этой функции.
Вопрос. Есть ли какое-то конкретное упрощение (через последовательное расширение или что-то еще) для преобразования логарифма показателя степени в тождественную функцию?