Wolfram mathematica 是否可以在$假设中使用模式

我试图使用$ASSUPPATIONS中的模式作为

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

不幸的是，这不起作用

---

我想定义一类假设，因此有可能有上述工作吗？谢谢

Mathematica文档中的示例是

Sqrt[x^2]

，如果您提供了假设

元素[x，Reals]

，它将简化为Abs[x]。这也适用于函数模式：

---

Simplify[Sqrt[f[x]^2]，f[\u]\[Element]Reals]

Mathematica文档中的示例是

Sqrt[x^2]

，如果您提供假设

Element[x，Reals]

，它将简化为Abs[x]。这也适用于函数模式：

---

Simplify[Sqrt[f[x]^2]，f[\u]\[Element]Reals]

在做了一些搜索之后，我发现关于这个问题已经有了一些线索。在我看来，还没有完美的方法，但我们可以在计算之前添加所有需要的规则。看，在做了一些搜索之后，我发现已经有一些关于这个问题的线索了。在我看来，还没有完美的方法，但我们可以在计算之前添加所有需要的规则。请参阅，。值得注意的是，pattern的这种“直接”使用是有效的，因为元素接受一个模式参数。例如，f[]>0不能执行此操作。请看Jens的回答。。值得注意的是，pattern的这种“直接”使用是有效的，因为元素采用模式参数。例如，f[]>0不能执行此操作。请看Jens的回答。。