simplify - 简化具有给定规则的表达式，这些规则是函数关系

Question

在 maple 中，可以使用自定义规则简化表达式，例如

> simplify(x*y,{x=y+1})
y^2+y

相比之下，我需要的是能够通过函数形式的规则，即类似

> wantedcommand(f(a)*f(b), f(x)=g(x+3))
g(a+3)*g(b+3)

有人知道如何实现这一目标吗？

Answer 1

applyrule(f(x::anything)= g(x+3), f(a)*f(b));

Answer 2

ee := f(a)*f(b):

applyrule(f(x::anything)=g(x+3), ee);

                           g(a + 3) g(b + 3)

subsindets(ee,specfunc(anything,f),t->g(op(t)+3));

                           g(a + 3) g(b + 3)