With

With[{x=x0, y=y0, ...}, expr]
指定在 expr 中出现的符号 xy、... 应当由 、... 替换.

更多信息更多信息

  • With 允许用户定义局部常量.
  • 仅当它们在结构体中不作为局部变量出现时,With 替换 expr 中的符号.
  • 可以用 With[{vars}, body/;cond] 作为一个有附加条件的变换规则的右边.
  • With 有属性 HoldAll.
  • With 结构可以以任何方式嵌套,其中内部变量在必要时可以重新命名.
  • With 实现只读词汇变量.
版本 2 的新功能
New to Mathematica? Find your learning path »
Have a question? Ask support »