此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

Condition (/;)

patt/;test
仅当 testTrue 时匹配的模式。
lhs:>rhs/;test
仅当 testTrue 时使用的规则。
lhs:=rhs/;test
仅当 testTrue 时使用的定义。
  • test 中使用所有模式变量必须出现在 patt 中。
  • lhs:=Module[{vars}, rhs/;test] 允许在 testrhs 之间共享局部变量,您可以用 BlockWith 相同的结构。  »
1 的新功能