Я пытался использовать шаблоны в $предположениях как
$Assumptions = f[x_] > 0
Simplify[Sqrt[f[y]^2]]
К сожалению, это не работает.
Я хочу определить класс предположений, поэтому возможно ли, чтобы что-то, как указано выше, работало? Спасибо!
Можно ли использовать шаблоны в $предположениях
comment
Проведя некоторый поиск, я обнаружил, что по этому вопросу уже есть несколько тем. Мне кажется, идеального метода пока нет, но мы можем добавить все необходимые правила перед расчетом. См., 1, 2.
- person Yi Wang schedule 02.05.2013
Ответы (1)
Пример в документах Mathematica — Sqrt[x^2], и он упрощается до Abs[x], если вы указываете предположение Element[x,Reals]. Это хорошо работает и для шаблонов функций:
Simplify[Sqrt[f[x]^2], f[_] \[Element] Reals]
person
SEngstrom
schedule
08.05.2013
Стоит отметить, что это прямое использование шаблона работает, потому что Element принимает аргумент шаблона. Вы не можете сделать, например, f[_]›0 . См. ответ Йенса здесь. /вопросы/14984/
- person agentp; 10.06.2013
