email@example.com schrieb: > > Albert, > > I'm getting different answers than you for some of the problems. > In Axiom, if I do > > t0:=1/((1-x)^(9/2)*(1+x)^(5/2)) > t1:=integrate(t0,x) > t2:=D(t1,x) > t3:=t0-t2 > > I get 0 as a result. However, when I take the derivative of your > result and difference it from your initial equation I get a > non-constant result dependent on x. > > Perhaps you could check your answer in other systems and let me > know if you agree. > > I will be posting the first set of results shortly. >
This integrand appears on page 1102 of rich1b.input.pdf. Its antiderivative
is simply an algebraic function, so should be behave the same on all systems. Indeed your expression d000 at the bottom of page 1103 simplifies to zero for arbitrary complex x.
You are having more serious problems with the integrands on pages 994, 996, 998, 1000, 1004, 1008, 1017, 1019, 1020, 1021, 1022, 1107, 1109, and maybe elsewhere. Can FriCAS handle these (correctly) already?