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

Flat

Flat
是一个属性,它可以赋给一个符号f ,指定涉及嵌套函数 f 的所有表达式应当被压平。这个属性在模式匹配中说明。
  • Flat 相应于数学上的结合律。
  • 对一个有属性 Flat的符号 ff[f[a, b], f[c]]自动减小到 f[a, b, c]
  • 对一个 Flat 函数 f,,在模式 f[x_, y_]中变量 xy 相应于任何参数序列。
  • Flat 属性必须在对 Flat 函数定义任何值被分配。
  • Flat 函数在匹配模式中被使用,它们也需要属性 OneIdentity
1 的新功能