如何定义加法或乘法的未指定函数?

How do define an unspecified function that is additive or multiplicative?

如何定义具有某些代数性质的未知函数?

示例:我想用以下属性定义共轭运算符:

bar(a+b) = bar(a) + bar(b) and bar(a*b) = bar(a)*bar(b).

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

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