 |
OneIdentity
OneIdentity
是一个属性，可用于赋给一个符号 f 来指定 
, 
等，对模式匹配的目的来说，它们都等价于 x.
更多信息
- 类似 Plus 和 Times 的函数有属性 OneIdentity.
- Times 有属性 OneIdentity，这允许类似
模式匹配 
.
版本 1 的新功能 | 版本 5 修改功能
|
OneIdentity
是一个属性，可用于赋给一个符号 f 来指定 , 等，对模式匹配的目的来说，它们都等价于 x.
模式匹配 .