Rule

lhs->rhs 或 lhsrhs

表示将 lhs 转换为 rhs 的规则.

更多信息

  • 规则是一种通用的结构，可以表示表达式之间的转换、子代、对应关系和其他关系.
  • 字符 可以输入为 -> 或 ∖[Rule].
  • lhs->rhs 立刻对 rhs 进行计算.
  • 您可以用 Replace 来应用规则.
  • lhs=rhs 赋值指定无论何时都应使用规则 lhs->rhs.
  • 在 StandardForm 中，Rule 输出为 .
  • 以模式名称出现在 lhs 中的符号被看作规则中的局部符号. 当符号出现在 lhs 中 /; 条件的右边以及 lhs 中任意位置上，甚至其它的范围结构内时，这都是成立的.
  • Rule 结构可以以任何方式嵌套. Rule 被视为一个范围结果，因此内部变量在必要时重命名.

背景

  • Rule 表示将一个表达式转换成另一个的规则. 表达式 Rule[lhs,rhs] 通常用简化语法写作并显示为 lhs->rhs 或 lhs->rhs 的形式. 基于规则的编程是一种强大的编程范式，它能让许多程序写得紧凑而明白易懂.
  • 规则常常在左侧 lhs 部分包含模式，用于被替换成由右侧 rhs 部分指定的适当变换后的版本，例如 x_->x^2. 然而，需要注意的是，lhs->rhs 会立刻被求值成 rhs，所以在需要 rhs 只在应用规则后才被求值的场合，应该用 RuleDelayed（简写为 :> 或 ）替代.
  • Rule 的替换操作可以用像 Replace、ReplaceAll、ReplaceRepeated、ReplaceList、ReplacePart 和 StringReplace 这样的函数进行.
  • Wolfram 语言中的许多函数都以规则列表的形式返回它们的结果，包括 Solve、FindInstance 和 FindRoot，例如 Solve[x^2-1==0,x] 返回 {{x-1},{x1}}. 这种形式很有用因为它把解和对应的变量联系了起来（特别是多变量的情形）并可以用 ReplaceAll 或相关函数替换回原来的变量中.

范例

打开所有单元关闭所有单元

基本范例  (1)

用 3 替换 x 的规则：

范围  (1)

任何表达式或模式可以出现在规则中：

属性和关系  (4)

-> 在首次输入时计算；:> 在使用时计算：

-> 从右边分组：

KeyValuePattern 可被用来转换规则列表：

KeyValuePattern 区别对待 Rule 和 RuleDelayed：

Wolfram Research (1988)，Rule，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Rule.html （更新于 1996 年）.

文本

Wolfram Research (1988)，Rule，Wolfram 语言函数，https://reference.wolfram.com/language/ref/Rule.html （更新于 1996 年）.

CMS

Wolfram 语言. 1988. "Rule." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 1996. https://reference.wolfram.com/language/ref/Rule.html.

APA

Wolfram 语言. (1988). Rule. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Rule.html 年

BibTeX

@misc{reference.wolfram_2024_rule, author="Wolfram Research", title="{Rule}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/Rule.html}", note=[Accessed: 24-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_rule, organization={Wolfram Research}, title={Rule}, year={1996}, url={https://reference.wolfram.com/language/ref/Rule.html}, note=[Accessed: 24-November-2024 ]}