With

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

更多信息更多信息

  • With 允许用户定义局部常量.
  • 仅当它们在结构体中不作为局部变量出现时,With 替换 expr 中的符号.
  • 可以用 With[{vars},body/;cond] 作为一个有附加条件的变换规则的右边.
  • With 有属性 HoldAll.
  • With 结构可以以任何方式嵌套,其中内部变量在必要时可以重新命名.
  • With 实现只读词汇变量.
1991年引入
(2.0)