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

With

With[{x=x0, y=y0, ...}, expr]
指定在expr中出现的符号 x, y, ... 应当由 x0, y0, ... 替换。
  • With 允许你定义局部常量。
  • 仅当它们在结构体中不作为局部变量出现时,With替换expr中的符号。
  • 可以用 With[{vars}, body/;cond] 作为一个有附加条件的变换规则的右边。
  • With结构可以以任何方式嵌套。
  • With 实现只读词汇变量。
2 的新功能