如何定义一个加法或乘法的未指定函数？

Question

如何定义具有某些代数属性的未知函数？

示例：我想用属性定义共轭运算符：

bar（a + b）= bar（a）+ bar（b）和bar（a * b）= bar（a）* bar（b）。

目标是枫树应该使用这些属性来简化涉及条形的多项式表达式。

Answer 1

命令define可能对此有所帮助。但是，这会为您的运营商创建评估规则而不是简化规则。