1

$Assumptions でパターンを使用しようとしていました

$Assumptions = f[x_] > 0
Simplify[Sqrt[f[y]^2]]

残念ながら、これは機能しません。

仮定のクラスを定義したいので、上記のようなものを機能させることは可能ですか? ありがとう！

4

1 に答える 1

1

Mathematica ドキュメントの例はSqrt[x^2]、仮定を指定すると、Abs[x] に単純化されますElement[x,Reals]。これは、関数パターンでもうまく機能します。

Simplify[Sqrt[f[x]^2], f[_] \[Element] Reals]

于 2013-05-08T03:30:26.500 に答える