Hi list,
Here is the output of the antidiff command
antidiff(f(x)*diff(g(x),x),x,g(x));
=>
f(x)*g(x)-integrate(g(x)*(diff(f(x),x,1)),x)
what I find annoying is that x does not mean the same thing inside and outside the integrate command. In particular, when you assume some properties on x, nothing should force us to assume the same thing inside and outside the integral.
Is there a trick to deal with this problem ?
TIA